Trace number 4285732

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22OPT2 13.7578 4.1131501

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff06.xml
MD5SUMb572fc31f3d20084dff13bb9f397ec56
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.185831
Satisfiable
(Un)Satisfiability was proved
Number of variables1187
Number of constraints1162
Number of domains29
Minimum domain size26
Maximum domain size28
Distribution of domain sizes[{"size":26,"count":27},{"size":27,"count":378},{"size":28,"count":782}]
Minimum variable degree2
Maximum variable degree44
Distribution of variable degrees[{"degree":2,"count":1161},{"degree":44,"count":26}]
Minimum constraint arity2
Maximum constraint arity27
Distribution of constraint arities[{"arity":2,"count":1118},{"arity":26,"count":1},{"arity":27,"count":43}]
Number of extensional constraints1118
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1118},{"type":"ordered","count":1},{"type":"minimum","count":43}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.27/0.37	c version: 2017-08-22
0.27/0.38	c seed: 1364267256
0.27/0.38	c timeout: 2016
0.27/0.38	c memlimit: 22000
0.27/0.38	c nbcore: 8
0.27/0.40	c Parsing instance...
1.87/0.92	c Parsing done, starting search...
7.51/3.60	o 23
7.51/3.69	o 22
7.51/3.69	o 9
7.51/3.69	o 7
7.51/3.69	o 6
7.51/3.69	o 2
13.26/4.08	s OPTIMUM FOUND
13.26/4.08	v <instantiation>
13.26/4.08	v 	<list>
13.26/4.08	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] drd[0][21] drd[0][22] drd[0][23] drd[0][24] drd[0][25] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] drd[1][21] drd[1][22] drd[1][23] drd[1][24] drd[1][25] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] drd[2][21] drd[2][22] drd[2][23] drd[2][24] drd[2][25] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] drd[3][21] drd[3][22] drd[3][23] drd[3][24] drd[3][25] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] drd[4][21] drd[4][22] drd[4][23] drd[4][24] drd[4][25] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] drd[5][21] drd[5][22] drd[5][23] drd[5][24] drd[5][25] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] drd[6][21] drd[6][22] drd[6][23] drd[6][24] drd[6][25] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] drd[7][21] drd[7][22] drd[7][23] drd[7][24] drd[7][25] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] drd[8][21] drd[8][22] drd[8][23] drd[8][24] drd[8][25] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] drd[9][21] drd[9][22] drd[9][23] drd[9][24] drd[9][25] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] drd[10][21] drd[10][22] drd[10][23] drd[10][24] drd[10][25] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] drd[11][21] drd[11][22] drd[11][23] drd[11][24] drd[11][25] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] drd[12][21] drd[12][22] drd[12][23] drd[12][24] drd[12][25] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] drd[13][21] drd[13][22] drd[13][23] drd[13][24] drd[13][25] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] drd[14][21] drd[14][22] drd[14][23] drd[14][24] drd[14][25] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] drd[15][21] drd[15][22] drd[15][23] drd[15][24] drd[15][25] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] drd[16][21] drd[16][22] drd[16][23] drd[16][24] drd[16][25] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] drd[17][21] drd[17][22] drd[17][23] drd[17][24] drd[17][25] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] drd[18][21] drd[18][22] drd[18][23] drd[18][24] drd[18][25] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] drd[19][21] drd[19][22] drd[19][23] drd[19][24] drd[19][25] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] drd[20][21] drd[20][22] drd[20][23] drd[20][24] drd[20][25] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] drd[21][21] drd[21][22] drd[21][23] drd[21][24] drd[21][25] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] drd[22][21] drd[22][22] drd[22][23] drd[22][24] drd[22][25] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] drd[23][21] drd[23][22] drd[23][23] drd[23][24] drd[23][25] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] drd[24][21] drd[24][22] drd[24][23] drd[24][24] drd[24][25] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] drd[25][21] drd[25][22] drd[25][23] drd[25][24] drd[25][25] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] drd[26][21] drd[26][22] drd[26][23] drd[26][24] drd[26][25] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] drd[27][21] drd[27][22] drd[27][23] drd[27][24] drd[27][25] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] drd[28][21] drd[28][22] drd[28][23] drd[28][24] drd[28][25] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] drd[29][21] drd[29][22] drd[29][23] drd[29][24] drd[29][25] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] drd[30][21] drd[30][22] drd[30][23] drd[30][24] drd[30][25] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[31][19] drd[31][20] drd[31][21] drd[31][22] drd[31][23] drd[31][24] drd[31][25] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[32][19] drd[32][20] drd[32][21] drd[32][22] drd[32][23] drd[32][24] drd[32][25] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[33][19] drd[33][20] drd[33][21] drd[33][22] drd[33][23] drd[33][24] drd[33][25] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[34][19] drd[34][20] drd[34][21] drd[34][22] drd[34][23] drd[34][24] drd[34][25] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[35][19] drd[35][20] drd[35][21] drd[35][22] drd[35][23] drd[35][24] drd[35][25] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[36][19] drd[36][20] drd[36][21] drd[36][22] drd[36][23] drd[36][24] drd[36][25] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[37][19] drd[37][20] drd[37][21] drd[37][22] drd[37][23] drd[37][24] drd[37][25] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] drd[38][19] drd[38][20] drd[38][21] drd[38][22] drd[38][23] drd[38][24] drd[38][25] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[39][6] drd[39][7] drd[39][8] drd[39][9] drd[39][10] drd[39][11] drd[39][12] drd[39][13] drd[39][14] drd[39][15] drd[39][16] drd[39][17] drd[39][18] drd[39][19] drd[39][20] drd[39][21] drd[39][22] drd[39][23] drd[39][24] drd[39][25] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[40][6] drd[40][7] drd[40][8] drd[40][9] drd[40][10] drd[40][11] drd[40][12] drd[40][13] drd[40][14] drd[40][15] drd[40][16] drd[40][17] drd[40][18] drd[40][19] drd[40][20] drd[40][21] drd[40][22] drd[40][23] drd[40][24] drd[40][25] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[41][6] drd[41][7] drd[41][8] drd[41][9] drd[41][10] drd[41][11] drd[41][12] drd[41][13] drd[41][14] drd[41][15] drd[41][16] drd[41][17] drd[41][18] drd[41][19] drd[41][20] drd[41][21] drd[41][22] drd[41][23] drd[41][24] drd[41][25] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[42][6] drd[42][7] drd[42][8] drd[42][9] drd[42][10] drd[42][11] drd[42][12] drd[42][13] drd[42][14] drd[42][15] drd[42][16] drd[42][17] drd[42][18] drd[42][19] drd[42][20] drd[42][21] drd[42][22] drd[42][23] drd[42][24] drd[42][25] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42]
13.26/4.08	v 	</list>
13.26/4.08	v 	<values>
13.26/4.08	v 		23 40 41 50 54 61 100 105 116 124 129 131 175 180 198 205 225 237 263 270 313 337 352 373 397 469 247 230 229 220 216 209 170 165 154 146 141 139 95 90 72 65 45 33 7 0 43 67 82 103 127 199 247 230 229 220 216 209 170 165 154 146 141 139 95 90 72 65 45 33 7 0 43 67 82 103 127 199 77 60 59 50 46 39 0 5 16 24 29 31 75 80 98 105 125 137 163 170 213 237 252 273 297 369 78 61 60 51 47 40 1 4 15 23 28 30 74 79 97 104 124 136 162 169 212 236 251 272 296 368 446 429 428 419 415 408 369 364 353 345 340 338 294 289 271 264 244 232 206 199 156 132 117 96 72 0 17 0 1 10 14 21 60 65 76 84 89 91 135 140 158 165 185 197 223 230 273 297 312 333 357 429 17 0 1 10 14 21 60 65 76 84 89 91 135 140 158 165 185 197 223 230 273 297 312 333 357 429 214 197 196 187 183 176 137 132 121 113 108 106 62 57 39 32 12 0 26 33 76 100 115 136 160 232 214 197 196 187 183 176 137 132 121 113 108 106 62 57 39 32 12 0 26 33 76 100 115 136 160 232 27 10 9 0 4 11 50 55 66 74 79 81 125 130 148 155 175 187 213 220 263 287 302 323 347 419 27 10 9 0 4 11 50 55 66 74 79 81 125 130 148 155 175 187 213 220 263 287 302 323 347 419 329 312 311 302 298 291 252 247 236 228 223 221 177 172 154 147 127 115 89 82 39 15 0 21 45 117 329 312 311 302 298 291 252 247 236 228 223 221 177 172 154 147 127 115 89 82 39 15 0 21 45 117 82 65 64 55 51 44 5 0 11 19 24 26 70 75 93 100 120 132 158 165 208 232 247 268 292 364 82 65 64 55 51 44 5 0 11 19 24 26 70 75 93 100 120 132 158 165 208 232 247 268 292 364 108 91 90 81 77 70 31 26 15 7 2 0 44 49 67 74 94 106 132 139 182 206 221 242 266 338 290 273 272 263 259 252 213 208 197 189 184 182 138 133 115 108 88 76 50 43 0 24 39 60 84 156 290 273 272 263 259 252 213 208 197 189 184 182 138 133 115 108 88 76 50 43 0 24 39 60 84 156 0 17 18 27 31 38 77 82 93 101 106 108 152 157 175 182 202 214 240 247 290 314 329 350 374 446 0 17 18 27 31 38 77 82 93 101 106 108 152 157 175 182 202 214 240 247 290 314 329 350 374 446 18 1 0 9 13 20 59 64 75 83 88 90 134 139 157 164 184 196 222 229 272 296 311 332 356 428 18 1 0 9 13 20 59 64 75 83 88 90 134 139 157 164 184 196 222 229 272 296 311 332 356 428 106 89 88 79 75 68 29 24 13 5 0 2 46 51 69 76 96 108 134 141 184 208 223 244 268 340 183 166 165 156 152 145 106 101 90 82 77 75 31 26 8 1 19 31 57 64 107 131 146 167 191 263 182 165 164 155 151 144 105 100 89 81 76 74 30 25 7 0 20 32 58 65 108 132 147 168 192 264 202 185 184 175 171 164 125 120 109 101 96 94 50 45 27 20 0 12 38 45 88 112 127 148 172 244 202 185 184 175 171 164 125 120 109 101 96 94 50 45 27 20 0 12 38 45 88 112 127 148 172 244 101 84 83 74 70 63 24 19 8 0 5 7 51 56 74 81 101 113 139 146 189 213 228 249 273 345 314 297 296 287 283 276 237 232 221 213 208 206 162 157 139 132 112 100 74 67 24 0 15 36 60 132 314 297 296 287 283 276 237 232 221 213 208 206 162 157 139 132 112 100 74 67 24 0 15 36 60 132 38 21 20 11 7 0 39 44 55 63 68 70 114 119 137 144 164 176 202 209 252 276 291 312 336 408 152 135 134 125 121 114 75 70 59 51 46 44 0 5 23 30 50 62 88 95 138 162 177 198 222 294 374 357 356 347 343 336 297 292 281 273 268 266 222 217 199 192 172 160 134 127 84 60 45 24 0 72 374 357 356 347 343 336 297 292 281 273 268 266 222 217 199 192 172 160 134 127 84 60 45 24 0 72 31 14 13 4 0 7 46 51 62 70 75 77 121 126 144 151 171 183 209 216 259 283 298 319 343 415 240 223 222 213 209 202 163 158 147 139 134 132 88 83 65 58 38 26 0 7 50 74 89 110 134 206 93 76 75 66 62 55 16 11 0 8 13 15 59 64 82 89 109 121 147 154 197 221 236 257 281 353 93 76 75 66 62 55 16 11 0 8 13 15 59 64 82 89 109 121 147 154 197 221 236 257 281 353 350 333 332 323 319 312 273 268 257 249 244 242 198 193 175 168 148 136 110 103 60 36 21 0 24 96 175 158 157 148 144 137 98 93 82 74 69 67 23 18 0 7 27 39 65 72 115 139 154 175 199 271 175 158 157 148 144 137 98 93 82 74 69 67 23 18 0 7 27 39 65 72 115 139 154 175 199 271 157 140 139 130 126 119 80 75 64 56 51 49 5 0 18 25 45 57 83 90 133 157 172 193 217 289 157 140 139 130 126 119 80 75 64 56 51 49 5 0 18 25 45 57 83 90 133 157 172 193 217 289 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
13.26/4.08	v 	</values>
13.26/4.08	v </instantiation>

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14913 MiB free)
  memory of node 1: 16384 MiB (15338 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285732-1503469162/watcher-4285732-1503469162 -o /tmp/evaluation-result-4285732-1503469162/solver-4285732-1503469162 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1364267256 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285732-1503469162.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6455, runsolver pid=6452


[startup+0.100154 s]*
/proc/loadavg: 3.29 3.78 5.73 1/184 6467
/proc/meminfo: memFree=30971108/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=25527784 memory=17092 CPUtime=0.02 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 4168 0 0 0 2 0 0 0 20 0 13 0 149109071 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6381946 4273 2100 1 0 6371443 0
[pid=6455/tid=6457] ppid=6452 vsize=25527784 memory=140095133082065 CPUtime=0.02 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 2807 0 0 0 2 0 0 0 20 0 13 0 149109078 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675457208776 140675437053278 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=25527784 memory=140095133075072 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=25527784 memory=-1 CPUtime=0 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 149109079 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 149109080 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 149109081 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140674178372512 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 149109081 26140450816 4273 18446744073709551615 4194304 4196468 140734681272672 140674177319984 140675452982997 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 25527784 KiB
Current children cumulated memory: 17092 KiB

[startup+0.210538 s]*
/proc/loadavg: 3.29 3.78 5.73 3/192 6475
/proc/meminfo: memFree=30963132/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=25998592 memory=32140 CPUtime=0.11 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 7888 0 0 0 10 1 0 0 20 0 20 0 149109071 26622558208 8035 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6499648 8035 3365 1 0 6488426 0
[pid=6455/tid=6457] ppid=6452 vsize=26000220 memory=4026532046 CPUtime=0.08 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 6175 0 0 0 7 1 0 0 20 0 20 0 149109078 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675457189472 140675445652509 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=26000220 memory=14042 CPUtime=0 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=26000220 memory=140095133081781 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=26000220 memory=-1 CPUtime=0 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=26000220 memory=-1 CPUtime=0 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109080 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149109081 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674178372512 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149109081 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674177319920 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109083 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) S 6452 6455 28956 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 149109083 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674175216112 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) S 6452 6455 28956 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 149109083 26624225280 8431 18446744073709551615 4194304 4196468 140734681272672 140674174163568 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109083 26624225280 8368 18446744073709551615 4194304 4196468 140734681272672 140674173111024 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=26000220 memory=-1 CPUtime=0.01 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) S 6452 6455 28956 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 149109083 26624225280 8081 18446744073709551615 4194304 4196468 140734681272672 140674172058480 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6474] ppid=6452 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6474/stat : 6474 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109083 26624225280 8081 18446744073709551615 4194304 4196468 140734681272672 140674171005152 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6475] ppid=6452 vsize=25998592 memory=-1 CPUtime=0 cores=0-7
/proc/6455/task/6475/stat : 6475 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109088 26622558208 8081 18446744073709551615 4194304 4196468 140734681272672 140674169952688 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 25998592 KiB
Current children cumulated memory: 32140 KiB

[startup+0.309808 s]*
/proc/loadavg: 3.29 3.78 5.73 3/192 6475
/proc/meminfo: memFree=30953108/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=25996608 memory=38968 CPUtime=0.27 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 11072 0 0 0 24 3 0 0 20 0 20 0 149109071 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6499152 9742 3485 1 0 6487930 0
[pid=6455/tid=6457] ppid=6452 vsize=25996608 memory=-7677926825137650786 CPUtime=0.17 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 8753 0 0 0 15 2 0 0 20 0 20 0 149109078 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675457178096 140675437053278 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=25996608 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=25996608 memory=2611 CPUtime=0 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=25996608 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=25996608 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=25996608 memory=-2895008908443675764 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=25996608 memory=7451313680956220258 CPUtime=0 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 149109080 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=25996608 memory=6944656592452807326 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149109081 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674178372512 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149109081 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674177319920 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109083 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) S 6452 6455 28956 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 149109083 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674175216112 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) S 6452 6455 28956 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 20 0 149109083 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674174163568 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) R 6452 6455 28956 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 20 0 149109083 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674173111024 140675445214181 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=25996608 memory=0 CPUtime=0.05 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) S 6452 6455 28956 0 -1 1077944384 386 0 0 0 5 0 0 0 20 0 20 0 149109083 26620526592 9742 18446744073709551615 4194304 4196468 140734681272672 140674172058480 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6474] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6474/stat : 6474 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109083 26620526592 9807 18446744073709551615 4194304 4196468 140734681272672 140674171005152 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6475] ppid=6452 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6475/stat : 6475 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109088 26620526592 9807 18446744073709551615 4194304 4196468 140734681272672 140674169952688 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 38968 KiB

[startup+0.700916 s]
/proc/loadavg: 3.29 3.78 5.73 2/192 6475
/proc/meminfo: memFree=30937884/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=25998676 memory=72184 CPUtime=1.12 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 14810 0 0 0 107 5 0 0 20 0 20 0 149109071 26622644224 18010 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6499669 18010 3729 1 0 6488442 0
[pid=6455/tid=6457] ppid=6452 vsize=25998676 memory=55 CPUtime=0.56 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 10529 0 0 0 52 4 0 0 20 0 20 0 149109078 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675457209776 140675437053278 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=25998676 memory=1204 CPUtime=0 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=25998676 memory=1000 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=25998676 memory=796 CPUtime=0 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=25998676 memory=11204 CPUtime=0 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=25998676 memory=15880 CPUtime=0 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=25998676 memory=4048 CPUtime=0 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=25998676 memory=45272 CPUtime=0 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=25998676 memory=1788 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149109079 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=25998676 memory=640 CPUtime=0 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 149109080 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=25998676 memory=960 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149109081 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674178372512 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=25998676 memory=1232 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149109081 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674177319920 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=25998676 memory=2248 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109083 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=25998676 memory=0 CPUtime=0.08 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) R 6452 6455 28956 0 -1 4202560 387 0 0 0 8 0 0 0 20 0 20 0 149109083 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674175216112 140675434516944 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) R 6452 6455 28956 0 -1 4202560 789 0 0 0 9 0 0 0 20 0 20 0 149109083 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674174138496 140675436504270 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=25998676 memory=0 CPUtime=0.11 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) R 6452 6455 28956 0 -1 4202560 719 0 0 0 11 0 0 0 20 0 20 0 149109083 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674173097296 140675434516880 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=25998676 memory=0 CPUtime=0.24 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) R 6452 6455 28956 0 -1 4202560 998 0 0 0 24 0 0 0 20 0 20 0 149109083 26622644224 18046 18446744073709551615 4194304 4196468 140734681272672 140674172054824 140675438113760 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0

################
# More data... #
################

[pid=6455] ppid=6452 vsize=26002772 memory=244772 CPUtime=3.65 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 31605 0 0 0 349 16 0 0 20 0 20 0 149109071 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6500693 61193 3780 1 0 6489466 0
[pid=6455/tid=6457] ppid=6452 vsize=26002772 memory=140099428042367 CPUtime=1.33 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 14799 0 0 0 126 7 0 0 20 0 20 0 149109078 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675457199968 140675101728513 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=26002772 memory=190300 CPUtime=0 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=26002772 memory=-6152040626102124693 CPUtime=0 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=26002772 memory=280189976648384 CPUtime=0 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=26002772 memory=140094988237696 CPUtime=0 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=26002772 memory=2110445595303076 CPUtime=0 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 149109079 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 149109080 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 149109081 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674178372512 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 149109081 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674177319920 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=26002772 memory=8027221473400411242 CPUtime=0.49 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) R 6452 6455 28956 0 -1 4202560 2828 0 0 0 48 1 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674175201992 140675434492105 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=26002772 memory=8027221473400411242 CPUtime=0.5 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) R 6452 6455 28956 0 -1 4202560 2774 0 0 0 50 0 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674174149648 140675438994974 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=26002772 memory=8027221473400411242 CPUtime=0.53 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) R 6452 6455 28956 0 -1 4202560 2423 0 0 0 53 0 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674173097048 140675432235200 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=26002772 memory=8027221473400411242 CPUtime=0.66 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) S 6452 6455 28956 0 -1 1077944384 6685 0 0 0 64 2 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674172058480 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6474] ppid=6452 vsize=26002772 memory=8027221473400411242 CPUtime=0 cores=0-7
/proc/6455/task/6474/stat : 6474 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109083 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674171005152 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6475] ppid=6452 vsize=26002772 memory=4028 CPUtime=0 cores=0-7
/proc/6455/task/6475/stat : 6475 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149109088 26626838528 61193 18446744073709551615 4194304 4196468 140734681272672 140674169952688 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 26002772 KiB
Current children cumulated memory: 244772 KiB

[startup+3.10994 s]
/proc/loadavg: 3.10 3.73 5.70 6/193 6476
/proc/meminfo: memFree=30680660/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=26137948 memory=292724 CPUtime=7.51 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 41229 0 0 0 727 24 0 0 20 0 22 0 149109071 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6534487 73181 3807 1 0 6523260 0
[pid=6455/tid=6457] ppid=6452 vsize=26137948 memory=0 CPUtime=2.92 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) R 6452 6455 28956 0 -1 4202560 16800 0 0 0 284 8 0 0 20 0 22 0 149109078 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675457208048 140675438652913 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=26137948 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 80 0 0 0 0 1 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=26137948 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 60 0 0 0 0 1 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=26137948 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=26137948 memory=7680170660397595203 CPUtime=0.01 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 52 0 0 0 0 1 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=26137948 memory=0 CPUtime=0.02 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 99 0 0 0 1 1 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=26137948 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 22 0 149109079 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=26137948 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) S 6452 6455 28956 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 22 0 149109080 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674179426288 140675452983938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=26137948 memory=4028 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 22 0 149109081 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674178372576 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=26137948 memory=85812 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 22 0 149109081 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674177319936 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=26137948 memory=0 CPUtime=1.11 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) S 6452 6455 28956 0 -1 1077944384 4917 0 0 0 110 1 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674175216112 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=26137948 memory=0 CPUtime=1.25 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) R 6452 6455 28956 0 -1 4202560 4280 0 0 0 124 1 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674174163568 140675434495337 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=26137948 memory=0 CPUtime=1.19 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) S 6452 6455 28956 0 -1 1077944384 4019 0 0 0 118 1 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674173111024 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=26137948 memory=0 CPUtime=0.81 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) S 6452 6455 28956 0 -1 1077944384 7744 0 0 0 78 3 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674172058480 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6474] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6474/stat : 6474 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 149109083 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674171005152 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6475] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6475/stat : 6475 (java) S 6452 6455 28956 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 22 0 149109088 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674169952688 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6476] ppid=6452 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6476/stat : 6476 (java) S 6452 6455 28956 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 149109369 26765258752 73181 18446744073709551615 4194304 4196468 140734681272672 140674159661824 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 7.51 s
Current children cumulated vsize: 26137948 KiB
Current children cumulated memory: 292724 KiB

[startup+4.11308 s]
# the end of solver process 6455 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.7085 s, system=1.04931 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.79116 s]
/proc/loadavg: 3.10 3.73 5.70 6/193 6476
/proc/meminfo: memFree=30680660/32770624 swapFree=67108860/67108860
[pid=6455] ppid=6452 vsize=27739616 memory=876580 CPUtime=11.7 cores=0-7
/proc/6455/stat : 6455 (java) S 6452 6455 28956 0 -1 1077944320 46187 0 0 0 1070 100 0 0 20 0 46 0 149109071 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140734681255216 140675452972791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
/proc/6455/statm: 6934904 219145 3814 1 0 6923156 0
[pid=6455/tid=6457] ppid=6452 vsize=27739616 memory=0 CPUtime=3.05 cores=0-7
/proc/6455/task/6457/stat : 6457 (java) S 6452 6455 28956 0 -1 1077944384 17600 0 0 0 296 9 0 0 20 0 46 0 149109078 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675457210496 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6458] ppid=6452 vsize=27739616 memory=0 CPUtime=0.14 cores=0-7
/proc/6455/task/6458/stat : 6458 (java) S 6452 6455 28956 0 -1 1077944384 298 0 0 0 5 9 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675413870864 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6459] ppid=6452 vsize=27739616 memory=0 CPUtime=0.13 cores=0-7
/proc/6455/task/6459/stat : 6459 (java) S 6452 6455 28956 0 -1 1077944384 232 0 0 0 5 8 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675014850960 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6460] ppid=6452 vsize=27739616 memory=0 CPUtime=0.15 cores=0-7
/proc/6455/task/6460/stat : 6460 (java) S 6452 6455 28956 0 -1 1077944384 238 0 0 0 5 10 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675013798416 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6461] ppid=6452 vsize=27739616 memory=16 CPUtime=0.16 cores=0-7
/proc/6455/task/6461/stat : 6461 (java) S 6452 6455 28956 0 -1 1077944384 323 0 0 0 7 9 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675012745872 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6462] ppid=6452 vsize=27739616 memory=17 CPUtime=0.13 cores=0-7
/proc/6455/task/6462/stat : 6462 (java) S 6452 6455 28956 0 -1 1077944384 230 0 0 0 4 9 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675011693328 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6463] ppid=6452 vsize=27739616 memory=19 CPUtime=0.14 cores=0-7
/proc/6455/task/6463/stat : 6463 (java) S 6452 6455 28956 0 -1 1077944384 272 0 0 0 5 9 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675010640784 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6464] ppid=6452 vsize=27739616 memory=30 CPUtime=0.14 cores=0-7
/proc/6455/task/6464/stat : 6464 (java) S 6452 6455 28956 0 -1 1077944384 1325 0 0 0 6 8 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675009588240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6465] ppid=6452 vsize=27739616 memory=0 CPUtime=0.12 cores=0-7
/proc/6455/task/6465/stat : 6465 (java) S 6452 6455 28956 0 -1 1077944384 220 0 0 0 5 7 0 0 20 0 46 0 149109079 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140675008535696 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6466] ppid=6452 vsize=27739616 memory=0 CPUtime=0.01 cores=0-7
/proc/6455/task/6466/stat : 6466 (java) R 6452 6455 28956 0 -1 4202560 472 0 0 0 1 0 0 0 20 0 46 0 149109080 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674179424800 140675437332184 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6467] ppid=6452 vsize=27739616 memory=290144 CPUtime=0 cores=0-7
/proc/6455/task/6467/stat : 6467 (java) S 6452 6455 28956 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 149109081 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674178372576 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6468] ppid=6452 vsize=27739616 memory=290080 CPUtime=0 cores=0-7
/proc/6455/task/6468/stat : 6468 (java) S 6452 6455 28956 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 149109081 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674177319936 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6469] ppid=6452 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6469/stat : 6469 (java) S 6452 6455 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674176268496 140675452991387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6470] ppid=6452 vsize=27739616 memory=280189976494544 CPUtime=1.45 cores=0-7
/proc/6455/task/6470/stat : 6470 (java) S 6452 6455 28956 0 -1 1077944384 4995 0 0 0 143 2 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674175201104 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6471] ppid=6452 vsize=27739616 memory=0 CPUtime=1.64 cores=0-7
/proc/6455/task/6471/stat : 6471 (java) S 6452 6455 28956 0 -1 1077944384 4369 0 0 0 163 1 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674174148560 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6472] ppid=6452 vsize=27739616 memory=0 CPUtime=1.49 cores=0-7
/proc/6455/task/6472/stat : 6472 (java) S 6452 6455 28956 0 -1 1077944384 4117 0 0 0 147 2 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674173096016 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6473] ppid=6452 vsize=27739616 memory=0 CPUtime=0.98 cores=0-7
/proc/6455/task/6473/stat : 6473 (java) S 6452 6455 28956 0 -1 1077944384 8717 0 0 0 95 3 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674172058240 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6474] ppid=6452 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6474/stat : 6474 (java) S 6452 6455 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 149109083 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674171005152 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6475] ppid=6452 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6475/stat : 6475 (java) S 6452 6455 28956 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 46 0 149109088 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674169952688 140675452983938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
[pid=6455/tid=6476] ppid=6452 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/6455/task/6476/stat : 6476 (java) S 6452 6455 28956 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 149109369 28405366784 219145 18446744073709551615 4194304 4196468 140734681272672 140674159661824 140675452982997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39292928 140734681276785 140734681276970 140734681276970 140734681280463 0
Current children cumulated CPU time: 11.7 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 876580 KiB

[startup+4.10091 s]*
/proc/loadavg: 3.10 3.73 5.70 2/174 6502
/proc/meminfo: memFree=30070672/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.11315
CPU time (s): 13.7578
CPU user time (s): 12.7085
CPU system time (s): 1.04931
CPU usage (%): 334.483
Max. virtual memory (cumulated for all children) (KiB): 27739616
Max. memory (cumulated for all children) (KiB): 917916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7085
system time used= 1.04931
maximum resident set size= 923132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7168
involuntary context switches= 293


# summary of solver processes directly reported to runsolver:
#   pid: 6455
#   total CPU time (s): 13.7578
#   total CPU user time (s): 12.7085
#   total CPU system time (s): 1.04931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042503 second user time and 0.079075 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-23 08:05:09
IDJOB=4285732
IDBENCH=138331
IDSOLVER=2682
FILE ID=node127/4285732-1503469162
RUNJOBID= node127-1503398602-29012
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff06.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285732-1503469162/watcher-4285732-1503469162 -o /tmp/evaluation-result-4285732-1503469162/solver-4285732-1503469162 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1364267256 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285732-1503469162.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= b572fc31f3d20084dff13bb9f397ec56
RANDOM SEED=1364267256

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30978616 kB
MemAvailable:   31950316 kB
Buffers:          320860 kB
Cached:           961408 kB
SwapCached:            0 kB
Active:           930204 kB
Inactive:         410036 kB
Active(anon):       8668 kB
Inactive(anon):   107320 kB
Active(file):     921536 kB
Inactive(file):   302716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42492 kB
Writeback:             4 kB
AnonPages:         75692 kB
Mapped:            69528 kB
Shmem:             58020 kB
Slab:             153312 kB
SReclaimable:     126564 kB
SUnreclaim:        26748 kB
KernelStack:        3232 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61988 MiB
End job on node127 at 2017-08-23 08:05:13