Trace number 4250100

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 NameAnswerCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT 32.816 4.68669

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-17.xml
MD5SUM946d300933e85b0b5e5d11b6e9e445b0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.0790401
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":375},{"degree":2,"count":525}]
Minimum constraint arity525
Maximum constraint arity900
Distribution of constraint arities[{"arity":525,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250100-1500696067.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4250100-1500696067.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.72	c solve instance...
32.27/4.67	s SATISFIABLE
32.27/4.67	v <instantiation>
32.27/4.67	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] </list>
32.27/4.67	v 	<values>23 8 21 0 18 29 28 27 3 6 22 7 13 25 14 16 24 1 11 12 4 20 26 15 10 19 9 5 2 17 27 6 26 23 10 9 5 28 25 20 29 17 24 2 18 11 7 16 0 4 12 19 14 3 1 13 21 8 15 22 26 13 14 2 24 16 3 29 1 4 20 11 18 22 7 15 19 17 12 27 8 9 25 10 6 21 5 28 23 0 17 26 16 20 12 24 2 18 15 29 9 14 7 27 13 4 3 22 10 11 0 28 6 5 8 1 23 25 19 21 19 28 29 22 27 8 7 25 2 23 6 15 5 12 3 0 17 21 24 1 14 4 9 18 26 11 20 16 13 10 9 4 24 7 1 20 21 14 13 8 26 16 17 29 12 25 23 11 27 2 10 5 28 6 15 0 3 18 22 19 0 25 23 15 5 26 8 20 21 22 28 29 11 17 16 13 14 2 1 24 19 12 3 9 18 6 10 7 27 4 5 7 9 29 22 23 26 12 27 13 1 24 0 3 11 2 16 4 14 8 15 10 20 17 21 25 18 19 28 6 13 0 20 4 16 1 23 9 8 26 7 18 3 11 5 17 2 14 28 29 25 21 19 27 22 24 6 12 10 15 1 20 17 5 28 14 10 21 11 7 3 12 23 26 15 19 9 13 6 22 27 0 24 8 2 16 4 29 18 25 20 14 12 24 26 3 19 17 28 5 10 23 6 1 2 29 4 27 18 16 22 15 11 25 7 8 13 0 21 9 12 29 22 28 9 21 17 4 14 3 15 1 26 20 8 10 27 25 2 6 24 13 0 16 11 5 19 23 7 18 8 18 5 1 15 2 16 10 17 9 12 22 27 28 21 7 26 29 25 19 11 24 13 23 0 3 14 4 6 20 7 10 2 25 4 15 12 26 20 11 18 5 9 14 24 21 6 8 19 13 28 29 1 22 16 23 0 17 3 27 2 21 3 27 11 13 14 23 24 10 25 0 28 18 1 8 12 26 4 9 16 22 7 19 5 17 15 6 20 29 15 17 7 6 25 18 27 5 22 16 11 19 21 8 28 3 10 20 13 26 1 23 12 4 29 9 24 2 0 14 28 1 6 21 29 7 24 19 4 17 16 13 25 23 22 26 20 15 3 0 5 18 10 11 9 14 2 27 8 12 18 3 15 9 21 12 6 22 29 28 27 26 8 7 19 5 0 10 16 25 13 11 23 24 14 2 17 20 4 1 21 24 1 16 17 19 18 3 12 25 23 20 29 0 10 28 22 7 9 14 6 26 15 2 4 27 8 13 11 5 10 5 27 19 2 0 22 6 9 18 8 4 1 24 25 23 15 3 7 17 20 16 21 12 13 26 11 14 29 28 3 22 13 18 0 4 1 16 10 12 2 27 20 15 6 14 11 19 17 23 21 25 5 29 24 28 7 9 26 8 14 2 4 12 13 10 11 1 5 15 0 25 22 19 17 9 8 23 21 20 29 6 18 26 28 7 27 3 24 16 11 23 0 13 19 25 29 24 26 27 14 8 4 10 9 1 21 6 5 18 17 3 2 28 20 15 16 22 12 7 4 12 8 3 7 22 0 11 16 19 17 28 15 6 29 20 5 9 23 21 18 2 27 13 25 10 1 26 14 24 25 19 28 17 8 27 15 13 23 21 5 9 14 4 20 6 18 24 29 10 2 7 16 0 12 22 26 11 1 3 6 16 10 14 3 11 25 0 18 24 4 2 19 13 27 12 28 5 22 7 26 1 8 21 17 20 29 15 9 23 16 9 18 11 14 28 13 7 6 2 21 10 12 5 23 27 29 0 20 15 3 8 22 1 19 4 25 24 17 26 24 11 25 26 20 17 4 8 7 1 19 6 10 9 0 22 13 12 15 5 23 27 29 14 3 18 28 21 16 2 29 15 19 10 23 6 9 2 0 14 13 3 16 21 26 24 25 18 8 28 7 17 4 20 27 12 22 1 5 11 22 27 11 8 6 5 20 15 19 0 24 21 2 16 4 18 1 28 26 3 9 14 17 7 23 29 12 10 25 13 </values>
32.27/4.67	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4250100-1500696067/watcher-4250100-1500696067 -o /tmp/evaluation-result-4250100-1500696067/solver-4250100-1500696067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 429796232 HOME/instance-4250100-1500696067.xml 

pid=24398
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 13.34 14.69 14.84 10/275 24401
/proc/meminfo: memFree=30483836/32770624 swapFree=5900/313208
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0

[startup+0.100074 s]
/proc/loadavg: 13.34 14.69 14.84 10/275 24401
/proc/meminfo: memFree=30483836/32770624 swapFree=5900/313208
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20041 s]
/proc/loadavg: 13.34 14.69 14.84 10/275 24401
/proc/meminfo: memFree=30483836/32770624 swapFree=5900/313208
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300348 s]
/proc/loadavg: 13.34 14.69 14.84 10/275 24401
/proc/meminfo: memFree=30483836/32770624 swapFree=5900/313208
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700224 s]
/proc/loadavg: 13.34 14.69 14.84 10/275 24401
/proc/meminfo: memFree=30483836/32770624 swapFree=5900/313208
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50138 s]
/proc/loadavg: 13.34 14.69 14.84 20/304 24430
/proc/meminfo: memFree=30339268/32770624 swapFree=5900/313244
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
[pid=24402] ppid=24401 vsize=13801768 CPUtime=7.95 cores=0,2,4,6,8,10,12,14
/proc/24402/stat : 24402 (java) S 24401 24401 16913 0 -1 1077944320 18363 0 0 0 786 9 0 0 20 0 28 0 4873636 14133010432 34546 33554432000 4194304 4196468 140733484210784 140733484193328 140284356202231 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
/proc/24402/statm: 3450442 34546 3225 1 0 3437675 0
[pid=24402/tid=24403] ppid=24401 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24403/stat : 24403 (java) S 24401 24401 16913 0 -1 1077944384 6688 0 0 0 67 4 0 0 20 0 28 0 4873637 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284360443008 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24405] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24405/stat : 24405 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284308822928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24406] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24406/stat : 24406 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284307770128 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24407] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24407/stat : 24407 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284306717840 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24408] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24408/stat : 24408 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284305665040 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24409] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24409/stat : 24409 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284304611728 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24410] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24410/stat : 24410 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140284303558928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24411] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24411/stat : 24411 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283949283984 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24412] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24412/stat : 24412 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283948231184 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24413] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24413/stat : 24413 (java) S 24401 24401 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4873640 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283617147504 140284356213378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24414] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24414/stat : 24414 (java) S 24401 24401 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283616093472 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24415] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24415/stat : 24415 (java) S 24401 24401 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283615041136 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24416] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24416/stat : 24416 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873645 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283613989456 140284356220827 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24417] ppid=24401 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24417/stat : 24417 (java) R 24401 24401 16913 0 -1 4202560 2514 0 0 0 85 0 0 0 20 0 28 0 4873645 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283612928320 140284339589136 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24418] ppid=24401 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24418/stat : 24418 (java) R 24401 24401 16913 0 -1 4202560 2743 0 0 0 88 0 0 0 20 0 28 0 4873645 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283611869264 140284341121533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24419] ppid=24401 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24419/stat : 24419 (java) R 24401 24401 16913 0 -1 4202560 1931 0 0 0 86 0 0 0 20 0 28 0 4873645 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283610812232 140284339688231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24420] ppid=24401 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24420/stat : 24420 (java) S 24401 24401 16913 0 -1 1077944384 2796 0 0 0 57 1 0 0 20 0 28 0 4873645 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283609778416 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24421] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24421/stat : 24421 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283608726368 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24422] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24422/stat : 24422 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283607673648 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24423] ppid=24401 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24423/stat : 24423 (java) R 24401 24401 16913 0 -1 4202560 56 0 0 0 45 0 0 0 20 0 28 0 4873709 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283599661256 140283987778948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24424] ppid=24401 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24424/stat : 24424 (java) R 24401 24401 16913 0 -1 4202560 51 0 0 0 56 0 0 0 20 0 28 0 4873709 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283598604048 140283988148371 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24425] ppid=24401 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24425/stat : 24425 (java) R 24401 24401 16913 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 28 0 4873709 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283597556016 140283987771125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24426] ppid=24401 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24426/stat : 24426 (java) R 24401 24401 16913 0 -1 4202560 65 0 0 0 44 0 0 0 20 0 28 0 4873710 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283596496688 140283988806275 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24427] ppid=24401 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24427/stat : 24427 (java) R 24401 24401 16913 0 -1 4202560 40 0 0 0 46 0 0 0 20 0 28 0 4873710 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283595447120 140283987933989 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24428] ppid=24401 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24428/stat : 24428 (java) R 24401 24401 16913 0 -1 4202560 46 0 0 0 49 0 0 0 20 0 28 0 4873710 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283594391600 140283988037755 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24429] ppid=24401 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24429/stat : 24429 (java) R 24401 24401 16913 0 -1 4202560 35 0 0 0 51 0 0 0 20 0 28 0 4873710 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283593343424 140283988266843 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24430] ppid=24401 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24430/stat : 24430 (java) R 24401 24401 16913 0 -1 4202560 38 0 0 0 57 0 0 0 20 0 28 0 4873710 14133010432 34546 33554432000 4194304 4196468 140733484210784 140283592289232 140283988049159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 13811280

[startup+3.10161 s]
/proc/loadavg: 13.34 14.69 14.84 20/304 24430
/proc/meminfo: memFree=30292876/32770624 swapFree=5900/313244
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
[pid=24402] ppid=24401 vsize=13801768 CPUtime=20.69 cores=0,2,4,6,8,10,12,14
/proc/24402/stat : 24402 (java) S 24401 24401 16913 0 -1 1077944320 27080 0 0 0 2058 11 0 0 20 0 28 0 4873636 14133010432 42907 33554432000 4194304 4196468 140733484210784 140733484193328 140284356202231 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
/proc/24402/statm: 3450442 42907 3249 1 0 3437675 0
[pid=24402/tid=24403] ppid=24401 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24403/stat : 24403 (java) S 24401 24401 16913 0 -1 1077944384 6688 0 0 0 67 4 0 0 20 0 28 0 4873637 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284360443008 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24405] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24405/stat : 24405 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284308822928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24406] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24406/stat : 24406 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284307770128 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24407] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24407/stat : 24407 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284306717840 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24408] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24408/stat : 24408 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284305665040 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24409] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24409/stat : 24409 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284304611728 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24410] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24410/stat : 24410 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140284303558928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24411] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24411/stat : 24411 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283949283984 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24412] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24412/stat : 24412 (java) S 24401 24401 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283948231184 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24413] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24413/stat : 24413 (java) S 24401 24401 16913 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4873640 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283617147504 140284356213378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24414] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24414/stat : 24414 (java) S 24401 24401 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283616093472 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24415] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24415/stat : 24415 (java) S 24401 24401 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283615041136 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24416] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24416/stat : 24416 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873645 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283613989456 140284356220827 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24417] ppid=24401 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24417/stat : 24417 (java) R 24401 24401 16913 0 -1 4202560 4169 0 0 0 180 0 0 0 20 0 28 0 4873645 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283612928792 140284340600598 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24418] ppid=24401 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24418/stat : 24418 (java) S 24401 24401 16913 0 -1 1077944384 4475 0 0 0 193 1 0 0 20 0 28 0 4873645 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283611883504 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24419] ppid=24401 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24419/stat : 24419 (java) R 24401 24401 16913 0 -1 4202560 6219 0 0 0 190 1 0 0 20 0 28 0 4873645 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283610831512 140284341326266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24420] ppid=24401 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24420/stat : 24420 (java) S 24401 24401 16913 0 -1 1077944384 3273 0 0 0 72 1 0 0 20 0 28 0 4873645 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283609778416 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24421] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24421/stat : 24421 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283608726368 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24422] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24422/stat : 24422 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283607673648 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24423] ppid=24401 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24423/stat : 24423 (java) R 24401 24401 16913 0 -1 4202560 106 0 0 0 178 0 0 0 20 0 28 0 4873709 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283599657688 140283989164042 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24424] ppid=24401 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24424/stat : 24424 (java) R 24401 24401 16913 0 -1 4202560 115 0 0 0 163 0 0 0 20 0 28 0 4873709 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283598607480 140283989025774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24425] ppid=24401 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24425/stat : 24425 (java) R 24401 24401 16913 0 -1 4202560 139 0 0 0 179 0 0 0 20 0 28 0 4873709 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283597553984 140283988925831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24426] ppid=24401 vsize=13801768 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24426/stat : 24426 (java) R 24401 24401 16913 0 -1 4202560 162 0 0 0 152 0 0 0 20 0 28 0 4873710 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283596500560 140283988462150 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24427] ppid=24401 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24427/stat : 24427 (java) R 24401 24401 16913 0 -1 4202560 104 0 0 0 170 0 0 0 20 0 28 0 4873710 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283595448616 140283988857907 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24428] ppid=24401 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24428/stat : 24428 (java) R 24401 24401 16913 0 -1 4202560 92 0 0 0 161 0 0 0 20 0 28 0 4873710 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283594396128 140283989357110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24429] ppid=24401 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24429/stat : 24429 (java) R 24401 24401 16913 0 -1 4202560 106 0 0 0 182 0 0 0 20 0 28 0 4873710 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283593342920 140283989046267 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24430] ppid=24401 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24430/stat : 24430 (java) R 24401 24401 16913 0 -1 4202560 93 0 0 0 163 0 0 0 20 0 28 0 4873710 14133010432 42907 33554432000 4194304 4196468 140733484210784 140283592292288 140283989163669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 13811280

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop

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

/proc/24402/task/24414/stat : 24414 (java) S 24401 24401 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283616093472 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24415] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24415/stat : 24415 (java) S 24401 24401 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283615041136 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24416] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24416/stat : 24416 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873645 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283613989456 140284356220827 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24417] ppid=24401 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24417/stat : 24417 (java) R 24401 24401 16913 0 -1 1077944384 4354 0 0 0 196 0 0 0 20 0 28 0 4873645 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283612936304 140284356213378 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24418] ppid=24401 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24418/stat : 24418 (java) S 24401 24401 16913 0 -1 1077944384 4666 0 0 0 211 1 0 0 20 0 28 0 4873645 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283611883504 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24419] ppid=24401 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24419/stat : 24419 (java) R 24401 24401 16913 0 -1 4202560 6436 0 0 0 210 1 0 0 20 0 28 0 4873645 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283610831512 140284341130362 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24420] ppid=24401 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24420/stat : 24420 (java) S 24401 24401 16913 0 -1 1077944384 3441 0 0 0 74 1 0 0 20 0 28 0 4873645 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283609778416 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24421] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24421/stat : 24421 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283608726368 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24422] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24422/stat : 24422 (java) S 24401 24401 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283607673648 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24423] ppid=24401 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24423/stat : 24423 (java) R 24401 24401 16913 0 -1 4202560 167 0 0 0 256 0 0 0 20 0 28 0 4873709 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283599658648 140283989494201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24424] ppid=24401 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24424/stat : 24424 (java) R 24401 24401 16913 0 -1 4202560 135 0 0 0 249 0 0 0 20 0 28 0 4873709 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283598606360 140283989493511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24425] ppid=24401 vsize=13801768 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24425/stat : 24425 (java) R 24401 24401 16913 0 -1 4202560 171 0 0 0 265 0 0 0 20 0 28 0 4873709 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283597554136 140283989493598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24426] ppid=24401 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24426/stat : 24426 (java) R 24401 24401 16913 0 -1 4202560 301 0 0 0 228 1 0 0 20 0 28 0 4873710 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283596502792 140283990114719 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24427] ppid=24401 vsize=13801768 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24427/stat : 24427 (java) R 24401 24401 16913 0 -1 4202560 159 0 0 0 260 0 0 0 20 0 28 0 4873710 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283595448280 140284356214166 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24428] ppid=24401 vsize=13801768 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24428/stat : 24428 (java) R 24401 24401 16913 0 -1 4202560 119 0 0 0 243 0 0 0 20 0 28 0 4873710 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283594395288 140283988462362 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24429] ppid=24401 vsize=13801768 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24429/stat : 24429 (java) R 24401 24401 16913 0 -1 4202560 136 0 0 0 268 0 0 0 20 0 28 0 4873710 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283593343000 140283989007354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24430] ppid=24401 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24430/stat : 24430 (java) R 24401 24401 16913 0 -1 4202560 140 0 0 0 240 0 0 0 20 0 28 0 4873710 14133010432 49669 33554432000 4194304 4196468 140733484210784 140283592292576 140283983767343 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
Current children cumulated CPU time (s) 27.84
Current children cumulated vsize (KiB) 13811280

[startup+4.40149 s]
/proc/loadavg: 13.55 14.72 14.84 15/304 24430
/proc/meminfo: memFree=30162160/32770624 swapFree=5900/313244
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
[pid=24402] ppid=24401 vsize=13801768 CPUtime=31.06 cores=0,2,4,6,8,10,12,14
/proc/24402/stat : 24402 (java) S 24401 24401 16913 0 -1 1077944320 30692 0 0 0 3083 23 0 0 20 0 28 0 4873636 14133010432 56399 33554432000 4194304 4196468 140733484210784 140733484193328 140284356202231 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
/proc/24402/statm: 3450442 56399 3272 1 0 3437675 0
[pid=24402/tid=24403] ppid=24401 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24403/stat : 24403 (java) S 24401 24401 16913 0 -1 1077944384 6688 0 0 0 67 4 0 0 20 0 28 0 4873637 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284360443008 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24405] ppid=24401 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24405/stat : 24405 (java) S 24401 24401 16913 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284308822928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24406] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24406/stat : 24406 (java) S 24401 24401 16913 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284307770128 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24407] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24407/stat : 24407 (java) S 24401 24401 16913 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284306717840 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24408] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24408/stat : 24408 (java) S 24401 24401 16913 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284305665040 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24409] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24409/stat : 24409 (java) S 24401 24401 16913 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284304611728 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24410] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24410/stat : 24410 (java) S 24401 24401 16913 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140284303558928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24411] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24411/stat : 24411 (java) S 24401 24401 16913 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283949283984 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24412] ppid=24401 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24412/stat : 24412 (java) S 24401 24401 16913 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 28 0 4873638 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283948231184 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24413] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24413/stat : 24413 (java) S 24401 24401 16913 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 4873640 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283617147504 140284356213378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24414] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24414/stat : 24414 (java) S 24401 24401 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283616093472 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24415] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24415/stat : 24415 (java) S 24401 24401 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283615041136 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24416] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24416/stat : 24416 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873645 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283613989456 140284356220827 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24417] ppid=24401 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24417/stat : 24417 (java) D 24401 24401 16913 0 -1 4202560 4376 0 0 0 211 0 0 0 20 0 28 0 4873645 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283612928792 140284336109367 0 4 0 16800975 18446744072100961413 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24418] ppid=24401 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24418/stat : 24418 (java) D 24401 24401 16913 0 -1 4202560 4671 0 0 0 222 1 0 0 20 0 28 0 4873645 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283611870072 140284348919194 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24419] ppid=24401 vsize=13801768 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24419/stat : 24419 (java) S 24401 24401 16913 0 -1 1077944384 6460 0 0 0 225 1 0 0 20 0 28 0 4873645 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283610818000 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24420] ppid=24401 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24420/stat : 24420 (java) S 24401 24401 16913 0 -1 1077944384 4250 0 0 0 76 1 0 0 20 0 28 0 4873645 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283609778416 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24421] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24421/stat : 24421 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283608726368 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24422] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24422/stat : 24422 (java) D 24401 24401 16913 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283607673568 140284341058318 0 4 0 16800975 18446744072100961413 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24423] ppid=24401 vsize=13801768 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24423/stat : 24423 (java) R 24401 24401 16913 0 -1 4202560 167 0 0 0 282 0 0 0 20 0 28 0 4873709 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283599658456 140283989494201 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24424] ppid=24401 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24424/stat : 24424 (java) R 24401 24401 16913 0 -1 4202560 139 0 0 0 287 0 0 0 20 0 28 0 4873709 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283598607968 140283989164027 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24425] ppid=24401 vsize=13801768 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24425/stat : 24425 (java) D 24401 24401 16913 0 -1 4202560 173 0 0 0 299 0 0 0 20 0 28 0 4873709 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283597554840 140283990638372 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24426] ppid=24401 vsize=13801768 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24426/stat : 24426 (java) R 24401 24401 16913 0 -1 4202560 369 0 0 0 263 1 0 0 20 0 28 0 4873710 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283596500816 140283989357066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24427] ppid=24401 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24427/stat : 24427 (java) R 24401 24401 16913 0 -1 4202560 159 0 0 0 293 0 0 0 20 0 28 0 4873710 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283595447960 140283989356684 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24428] ppid=24401 vsize=13801768 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24428/stat : 24428 (java) D 24401 24401 16913 0 -1 4202560 119 0 0 0 270 0 0 0 20 0 28 0 4873710 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283594397664 140284341904867 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24429] ppid=24401 vsize=13801768 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24429/stat : 24429 (java) R 24401 24401 16913 0 -1 4202560 136 0 0 0 295 0 0 0 20 0 28 0 4873710 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283593343144 140283988899855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24430] ppid=24401 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24430/stat : 24430 (java) R 24401 24401 16913 0 -1 4202560 141 0 0 0 278 0 0 0 20 0 28 0 4873710 14133010432 56399 33554432000 4194304 4196468 140733484210784 140283592289936 140283988805466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
Current children cumulated CPU time (s) 31.06
Current children cumulated vsize (KiB) 13811280

[startup+4.60154 s]
/proc/loadavg: 13.55 14.72 14.84 15/304 24430
/proc/meminfo: memFree=30162160/32770624 swapFree=5900/313244
[pid=24401] ppid=24398 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24401/stat : 24401 (xcsp3-exec) S 24398 24401 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4873636 9740288 346 33554432000 4194304 5098028 140732440918208 140732440916312 140203868197500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14221312 140732440921231 140732440921440 140732440921440 140732440924139 0
/proc/24401/statm: 2378 346 289 221 0 87 0
[pid=24402] ppid=24401 vsize=13801768 CPUtime=32.27 cores=0,2,4,6,8,10,12,14
/proc/24402/stat : 24402 (java) S 24401 24401 16913 0 -1 1077944320 30715 0 0 0 3204 23 0 0 20 0 28 0 4873636 14133010432 56407 33554432000 4194304 4196468 140733484210784 140733484193328 140284356202231 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
/proc/24402/statm: 3450442 56407 3272 1 0 3437675 0
[pid=24402/tid=24403] ppid=24401 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24403/stat : 24403 (java) S 24401 24401 16913 0 -1 1077944384 6688 0 0 0 67 4 0 0 20 0 28 0 4873637 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284360443008 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24405] ppid=24401 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24405/stat : 24405 (java) S 24401 24401 16913 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284308822928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24406] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24406/stat : 24406 (java) S 24401 24401 16913 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284307770128 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24407] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24407/stat : 24407 (java) S 24401 24401 16913 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284306717840 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24408] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24408/stat : 24408 (java) S 24401 24401 16913 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284305665040 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24409] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24409/stat : 24409 (java) S 24401 24401 16913 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284304611728 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24410] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24410/stat : 24410 (java) S 24401 24401 16913 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140284303558928 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24411] ppid=24401 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24411/stat : 24411 (java) S 24401 24401 16913 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283949283984 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24412] ppid=24401 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24412/stat : 24412 (java) S 24401 24401 16913 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 28 0 4873638 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283948231184 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24413] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24413/stat : 24413 (java) S 24401 24401 16913 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 4873640 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283617147504 140284356213378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24414] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24414/stat : 24414 (java) S 24401 24401 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283616093472 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24415] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24415/stat : 24415 (java) S 24401 24401 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4873641 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283615041136 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24416] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24416/stat : 24416 (java) S 24401 24401 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4873645 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283613989456 140284356220827 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24417] ppid=24401 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24417/stat : 24417 (java) S 24401 24401 16913 0 -1 1077944384 4380 0 0 0 217 0 0 0 20 0 28 0 4873645 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283612936304 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 14 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24418] ppid=24401 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24418/stat : 24418 (java) S 24401 24401 16913 0 -1 1077944384 4682 0 0 0 223 1 0 0 20 0 28 0 4873645 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283611883504 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24419] ppid=24401 vsize=13801768 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24419/stat : 24419 (java) S 24401 24401 16913 0 -1 1077944384 6461 0 0 0 225 1 0 0 20 0 28 0 4873645 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283610831216 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24420] ppid=24401 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24420/stat : 24420 (java) S 24401 24401 16913 0 -1 1077944384 4250 0 0 0 76 1 0 0 20 0 28 0 4873645 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283609778416 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24421] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24421/stat : 24421 (java) S 24401 24401 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283608726368 140284356212437 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24422] ppid=24401 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24422/stat : 24422 (java) S 24401 24401 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4873646 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283607673648 140284356213378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24423] ppid=24401 vsize=13801768 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24423/stat : 24423 (java) R 24401 24401 16913 0 -1 4202560 168 0 0 0 297 0 0 0 20 0 28 0 4873709 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283599659016 140283988898395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24424] ppid=24401 vsize=13801768 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24424/stat : 24424 (java) R 24401 24401 16913 0 -1 4202560 139 0 0 0 306 0 0 0 20 0 28 0 4873709 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283598607968 140283989494312 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24425] ppid=24401 vsize=13801768 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24425/stat : 24425 (java) R 24401 24401 16913 0 -1 4202560 174 0 0 0 308 0 0 0 20 0 28 0 4873709 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283597554840 140283989179872 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24426] ppid=24401 vsize=13801768 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24426/stat : 24426 (java) R 24401 24401 16913 0 -1 4202560 369 0 0 0 282 1 0 0 20 0 28 0 4873710 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283596500704 140283989356483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24427] ppid=24401 vsize=13801768 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24427/stat : 24427 (java) R 24401 24401 16913 0 -1 4202560 160 0 0 0 304 0 0 0 20 0 28 0 4873710 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283595447656 140283983768342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24428] ppid=24401 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24428/stat : 24428 (java) R 24401 24401 16913 0 -1 4202560 120 0 0 0 279 0 0 0 20 0 28 0 4873710 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283594397664 140283989156132 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24429] ppid=24401 vsize=13801768 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24429/stat : 24429 (java) R 24401 24401 16913 0 -1 4202560 137 0 0 0 309 0 0 0 20 0 28 0 4873710 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283593343144 140283983768304 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
[pid=24402/tid=24430] ppid=24401 vsize=13801768 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/24402/task/24430/stat : 24430 (java) R 24401 24401 16913 0 -1 4202560 141 0 0 0 297 0 0 0 20 0 28 0 4873710 14133010432 56407 33554432000 4194304 4196468 140733484210784 140283592289936 140283988373537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32980992 140733484213436 140733484213612 140733484213612 140733484216271 0
Current children cumulated CPU time (s) 32.27
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 4.68669
CPU time (s): 32.816
CPU user time (s): 32.5713
CPU system time (s): 0.244668
CPU usage (%): 700.194
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.5713
system time used= 0.244668
maximum resident set size= 225980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3368
involuntary context switches= 3028

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

The end

Launcher Data 

Begin job on node133 at 2017-07-22 06:01:07
IDJOB=4250100
IDBENCH=138962
IDSOLVER=2625
FILE ID=node133/4250100-1500696067
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-17.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4250100-1500696067/watcher-4250100-1500696067 -o /tmp/evaluation-result-4250100-1500696067/solver-4250100-1500696067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 429796232 HOME/instance-4250100-1500696067.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 946d300933e85b0b5e5d11b6e9e445b0
RANDOM SEED=429796232

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30483912 kB
MemAvailable:   30705660 kB
Buffers:          121316 kB
Cached:           379900 kB
SwapCached:            0 kB
Active:          1526428 kB
Inactive:         321964 kB
Active(anon):    1350108 kB
Inactive(anon):     8756 kB
Active(file):     176320 kB
Inactive(file):   313208 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7868 kB
Writeback:             0 kB
AnonPages:       1383412 kB
Mapped:            43340 kB
Shmem:              8872 kB
Slab:             130196 kB
SReclaimable:      96108 kB
SUnreclaim:        34088 kB
KernelStack:        5072 kB
PageTables:         8404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2910560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1257472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 06:01:12