Trace number 4270032

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)OPT63 16.280001 12.8076

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t13-1.xml
MD5SUM9acff8c1638c47395189d2d1cc8c1f0d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.60888898
Satisfiable
(Un)Satisfiability was proved
Number of variables869
Number of constraints91
Number of domains7
Minimum domain size2
Maximum domain size23
Distribution of domain sizes[{"size":2,"count":237},{"size":5,"count":79},{"size":6,"count":158},{"size":11,"count":79},{"size":18,"count":158},{"size":19,"count":79},{"size":23,"count":79}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":869}]
Minimum constraint arity11
Maximum constraint arity790
Distribution of constraint arities[{"arity":11,"count":79},{"arity":79,"count":11},{"arity":790,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":89}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270032-1502621320.xml"  -tl '264s' -p 1 -x 0
0.13/0.14	c [HOME/instance-4270032-1502621320.xml, -tl, 264s, -p, 1, -x, 0]
0.13/0.19	c simple solver
0.34/0.26	c parse instance...
0.73/0.49	c solve instance...
1.61/0.78	o 73 
1.61/0.79	o 72 
1.92/0.82	o 71 
1.92/0.84	o 70 
1.92/0.84	o 69 
5.25/2.47	o 68 
5.97/3.03	o 67 
6.10/3.16	o 65 
6.10/3.21	o 64 
12.63/9.26	o 63 
16.16/12.80	s OPTIMUM FOUND
16.16/12.80	v <instantiation>
16.16/12.80	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] </list>
16.26/12.80	v 	<values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
16.26/12.80	v </instantiation>

Verifier Data 

OK	63

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270032-1502621320/watcher-4270032-1502621320 -o /tmp/evaluation-result-4270032-1502621320/solver-4270032-1502621320 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1995278858 HOME/instance-4270032-1502621320.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8804, runsolver pid=8801


[startup+0.101893 s]*
/proc/loadavg: 2.00 1.58 1.60 4/217 8820
/proc/meminfo: memFree=28810868/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13978596 memory=28316 CPUtime=0.13 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 5462 0 0 0 11 2 0 0 20 0 15 0 95213074 14314082304 7079 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3494649 7079 2864 1 0 3482966 0
[pid=8806/tid=8807] ppid=8804 vsize=13978596 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 3390 0 0 0 8 0 0 0 20 0 15 0 95213075 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869626392064 139869622178973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13978596 memory=3472468392502236368 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13978596 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213077 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13978596 memory=140263607084672 CPUtime=0.01 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) R 8804 8804 6338 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869089122672 139869607322686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13978596 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213080 14314082304 7079 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29700 KiB

[startup+0.210695 s]*
/proc/loadavg: 2.00 1.58 1.60 3/217 8820
/proc/meminfo: memFree=28800256/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13982852 memory=40348 CPUtime=0.34 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 8195 0 0 0 31 3 0 0 20 0 15 0 95213074 14318440448 10087 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3495713 10087 3033 1 0 3482966 0
[pid=8806/tid=8807] ppid=8804 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) D 8804 8804 6338 0 -1 1077944384 5335 0 0 0 18 1 0 0 20 0 15 0 95213075 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869626358736 139869614836269 0 4 0 16800975 18446744072101662244 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13982852 memory=3472468392502236368 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13982884 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14318473216 10087 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318473216 10087 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13982852 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213077 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 95213080 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 95213080 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13982884 memory=140263607084672 CPUtime=0.08 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 95213080 14318473216 10087 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13982852 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213080 14318440448 10087 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41732 KiB

[startup+0.313925 s]*
/proc/loadavg: 2.00 1.58 1.60 5/217 8820
/proc/meminfo: memFree=28793308/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13982928 memory=47764 CPUtime=0.51 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 9083 0 0 0 47 4 0 0 20 0 15 0 95213074 14318518272 11941 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3495732 11941 3123 1 0 3482966 0
[pid=8806/tid=8807] ppid=8804 vsize=13982928 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 6029 0 0 0 28 2 0 0 20 0 15 0 95213075 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869626389376 139869622178973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13982928 memory=3472468392502236368 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13982928 memory=140263607084672 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13982928 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13982928 memory=140263498590239 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13982928 memory=280526997159712 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213077 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13982928 memory=140263498567183 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13982928 memory=280527105661024 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13982928 memory=140263498571791 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13982928 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13982928 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213080 14318518272 11941 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49148 KiB

[startup+0.700961 s]
/proc/loadavg: 2.00 1.58 1.60 6/217 8820
/proc/meminfo: memFree=28777428/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13984976 memory=75096 CPUtime=1.61 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 13946 0 0 0 155 6 0 0 20 0 15 0 95213074 14320615424 18774 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3496244 18774 3204 1 0 3483478 0
[pid=8806/tid=8807] ppid=8804 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 6593 0 0 0 64 3 0 0 20 0 15 0 95213075 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869626396192 139869622168982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13984976 memory=7588935152971043413 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13984976 memory=28000 CPUtime=0.31 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) R 8804 8804 6338 0 -1 4202560 1827 0 0 0 31 0 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869091213600 139869607038276 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13984976 memory=2428 CPUtime=0.29 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) R 8804 8804 6338 0 -1 4202560 2349 0 0 0 29 0 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869090161624 139869607265891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13984976 memory=1292 CPUtime=0.31 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) R 8804 8804 6338 0 -1 4202560 1882 0 0 0 30 1 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869089122672 139869601098494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 18774 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76480 KiB

[startup+1.50073 s]
/proc/loadavg: 2.00 1.58 1.60 5/217 8820
/proc/meminfo: memFree=28754488/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0

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

/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13984976 memory=3 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13984976 memory=5928 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13984976 memory=288 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13984976 memory=280526997139280 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13984976 memory=7156897598482836582 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13984976 memory=6435751896229695568 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13984976 memory=-7665536046109432865 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13984976 memory=280526997218512 CPUtime=1.22 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 7022 0 0 0 121 1 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13984976 memory=39997486926314 CPUtime=1.35 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 8830 0 0 0 134 1 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13984976 memory=39997486926314 CPUtime=0.42 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 2959 0 0 0 41 1 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13984976 memory=39997486926058 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13984976 memory=70 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 24481 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 99308 KiB

[startup+6.30073 s]
/proc/loadavg: 2.00 1.59 1.60 3/217 8820
/proc/meminfo: memFree=28731600/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13984976 memory=106532 CPUtime=9.67 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 31995 0 0 0 958 9 0 0 20 0 15 0 95213074 14320615424 26633 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3496244 26633 3223 1 0 3483478 0
[pid=8806/tid=8807] ppid=8804 vsize=13984976 memory=1384 CPUtime=6.27 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 7934 0 0 0 624 3 0 0 20 0 15 0 95213075 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869626393584 139869255057436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13984976 memory=104460 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13984976 memory=176 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13984976 memory=104464 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13984976 memory=14691902842735606 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13984976 memory=106512 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13984976 memory=12064 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13984976 memory=1004 CPUtime=1.41 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 8434 0 0 0 140 1 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13984976 memory=1228 CPUtime=1.51 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 10410 0 0 0 150 1 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13984976 memory=4096 CPUtime=0.44 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 3164 0 0 0 43 1 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13984976 memory=28000 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 26633 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 107916 KiB

[startup+12.7007 s]
/proc/loadavg: 2.00 1.60 1.60 3/217 8820
/proc/meminfo: memFree=28716892/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13984976 memory=120924 CPUtime=16.16 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 35112 0 0 0 1607 9 0 0 20 0 15 0 95213074 14320615424 30231 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3496244 30231 3223 1 0 3483478 0
[pid=8806/tid=8807] ppid=8804 vsize=13984976 memory=164 CPUtime=12.68 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 8952 0 0 0 1264 4 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869626393504 139869254630282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13984976 memory=6993 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13984976 memory=14131164780693604 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13984976 memory=12352325946124 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13984976 memory=1292 CPUtime=1.46 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 9634 0 0 0 145 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13984976 memory=1728 CPUtime=1.54 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 11144 0 0 0 153 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13984976 memory=12064 CPUtime=0.44 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 3208 0 0 0 43 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 122308 KiB

[startup+12.8075 s]
# the end of solver process 8804 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.1772 s, system=0.102786 s

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

[startup+12.8009 s]
/proc/loadavg: 2.00 1.60 1.60 3/217 8820
/proc/meminfo: memFree=28716892/32770624 swapFree=67108860/67108860
[pid=8804] ppid=8801 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8804/stat : 8804 (xcsp3-exec) S 8801 8804 6338 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95213074 9740288 346 33554432000 4194304 5098028 140731124678560 140731124676664 140257484526204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36945920 140731124683892 140731124684096 140731124684096 140731124686827 0
/proc/8804/statm: 2378 346 289 221 0 87 0
[pid=8806] ppid=8804 vsize=13984976 memory=120924 CPUtime=16.26 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8804 8804 6338 0 -1 1077944320 35402 0 0 0 1617 9 0 0 20 0 15 0 95213074 14320615424 30231 33554432000 4194304 4196468 140731030240880 140731030223424 139869622157047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
/proc/8806/statm: 3496244 30231 3223 1 0 3483478 0
[pid=8806/tid=8807] ppid=8804 vsize=13984976 memory=6944652177228980320 CPUtime=12.77 cores=0,2,4,6
/proc/8806/task/8807/stat : 8807 (java) R 8804 8804 6338 0 -1 4202560 9278 0 0 0 1273 4 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869626393504 139869256110464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8808] ppid=8804 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869574777232 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8809] ppid=8804 vsize=13984976 memory=3472468558918056194 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8804 8804 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869573724432 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8810] ppid=8804 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869572672144 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8811] ppid=8804 vsize=13984976 memory=28000 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8804 8804 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95213075 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869571619344 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8812] ppid=8804 vsize=13984976 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8804 8804 6338 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869095438960 139869622168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8813] ppid=8804 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8804 8804 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869094384928 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8814] ppid=8804 vsize=13984976 memory=280526997330608 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8804 8804 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95213077 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869093332592 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8815] ppid=8804 vsize=13984976 memory=2110614105728804 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869092280912 139869622175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8816] ppid=8804 vsize=13984976 memory=1384 CPUtime=1.46 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8804 8804 6338 0 -1 1077944384 9634 0 0 0 145 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869091227760 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8817] ppid=8804 vsize=13984976 memory=1384 CPUtime=1.54 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8804 8804 6338 0 -1 1077944384 11144 0 0 0 153 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869090174960 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8818] ppid=8804 vsize=13984976 memory=116828 CPUtime=0.44 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8804 8804 6338 0 -1 1077944384 3208 0 0 0 43 1 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869089122672 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8819] ppid=8804 vsize=13984976 memory=140263498612667 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8804 8804 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869088070112 139869622167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
[pid=8806/tid=8820] ppid=8804 vsize=13984976 memory=6371556132234302886 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8804 8804 6338 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 95213080 14320615424 30231 33554432000 4194304 4196468 140731030240880 139869087017904 139869622168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140731030246557 140731030246732 140731030246732 140731030249423 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 122308 KiB

Child status: 0
Real time (s): 12.8076
CPU time (s): 16.28
CPU user time (s): 16.1772
CPU system time (s): 0.102786
CPU usage (%): 127.112
Max. virtual memory (cumulated for all children) (KiB): 13996568
Max. memory (cumulated for all children) (KiB): 122308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1772
system time used= 0.102786
maximum resident set size= 121312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2546
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 8804
#   total CPU time (s): 16.28
#   total CPU user time (s): 16.1772
#   total CPU system time (s): 0.102786

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

The end

Launcher Data 

Begin job on node148 at 2017-08-13 12:34:22
IDJOB=4270032
IDBENCH=124209
IDSOLVER=2661
FILE ID=node148/4270032-1502621320
RUNJOBID= node148-1502619919-8346
PBS_JOBID= 20628305
Free space on /tmp= 61608 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270032-1502621320/watcher-4270032-1502621320 -o /tmp/evaluation-result-4270032-1502621320/solver-4270032-1502621320 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1995278858 HOME/instance-4270032-1502621320.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9acff8c1638c47395189d2d1cc8c1f0d
RANDOM SEED=1995278858

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28828060 kB
MemAvailable:   31905980 kB
Buffers:          188668 kB
Cached:          3179216 kB
SwapCached:            0 kB
Active:           833028 kB
Inactive:        2675384 kB
Active(anon):      91532 kB
Inactive(anon):    76924 kB
Active(file):     741496 kB
Inactive(file):  2598460 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:        146808 kB
Mapped:            55692 kB
Shmem:             25224 kB
Slab:             134036 kB
SReclaimable:     107600 kB
SUnreclaim:        26436 kB
KernelStack:        3552 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1292168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61600 MiB
End job on node148 at 2017-08-13 12:34:35