#include <stdio.h>
#include <stdbool.h>
#include <unistd.h>
#include <fcntl.h>
#include <stdlib.h>
#define MAX_CORES 128
#define MAX_OPTION 4096

int extract_numbers(char* str, int* res);
int get_isolated_cores(int** res);