Trace number 4403025

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
Concrete 3.12.3OPT88 50.8961 41.141

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t13-3.xml
MD5SUM0fab81179fd404e9cd210665e915a325
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark88
Best CPU time to get the best result obtained on this benchmark3.15519
Satisfiable
(Un)Satisfiability was proved
Number of variables1111
Number of constraints113
Number of domains9
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":101},{"size":6,"count":101},{"size":7,"count":101},{"size":10,"count":303},{"size":11,"count":101},{"size":12,"count":101},{"size":13,"count":101},{"size":14,"count":101},{"size":17,"count":101}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":1111}]
Minimum constraint arity11
Maximum constraint arity1010
Distribution of constraint arities[{"arity":11,"count":101},{"arity":101,"count":11},{"arity":1010,"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":111}]
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.80/0.55	c Concrete v3.12.3.1568965526260 running
9.29/4.07	o 89
9.29/4.09	o 88
50.86/41.11	v <instantiation
50.86/41.11	v         cost = '88'>
50.86/41.11	v       <list>
50.86/41.11	v         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] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] 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] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9]
50.86/41.11	v       </list>
50.86/41.11	v       <values>
50.86/41.11	v         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 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 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 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 0 0 1 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 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 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 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 1 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 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 2 0 0 0 0 0 0 0 0 0 1 2 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
50.86/41.11	v       </values>
50.86/41.11	v     </instantiation>
50.86/41.11	s OPTIMUM FOUND

Verifier Data 

OK	88

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 (1878 MiB free)
  memory of node 1: 16384 MiB (2380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403025-1568972376/watcher-4403025-1568972376 -o /var/tmp/evaluation-result-4403025-1568972376/solver-4403025-1568972376 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568967596-13935 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4403025-1568972376.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15167, runsolver pid=15164

[startup+0.100062 s]*
/proc/loadavg: 1.26 1.46 1.45 3/199 15237
/proc/meminfo: memFree=4390704/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=9972712 memory=17072 CPUtime=0.1 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 4526 13265 0 0 1 1 5 3 20 0 6 0 473174026 10212057088 4268 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2493178 4268 1934 1 0 2481616 0
[pid=15167/tid=15233] ppid=15164 vsize=9972712 memory=-7024592270288534718 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 2347 13265 0 0 0 0 5 3 20 0 6 0 473174035 10212057088 4334 33554432000 4194304 4196468 140734350368464 140566117237328 140566130712569 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=9972712 memory=-5738297875903123798 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 473174036 10212057088 4334 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=9972712 memory=140273948518016 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 6 0 473174036 10212057088 4334 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 473174036 10212057088 4334 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 6 0 473174036 10212057088 4334 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB

[startup+0.209802 s]*
/proc/loadavg: 1.26 1.46 1.45 4/208 15252
/proc/meminfo: memFree=4347952/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10820196 memory=40084 CPUtime=0.27 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 7496 13265 0 0 17 2 5 3 20 0 15 0 473174026 11079880704 10021 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2705049 10021 3293 1 0 2667149 0
[pid=15167/tid=15233] ppid=15164 vsize=10820196 memory=8318255677412212789 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 3988 13265 0 0 10 2 5 3 20 0 15 0 473174035 11079880704 10021 33554432000 4194304 4196468 140734350368464 140566117211600 140566129481054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10820196 memory=329 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 10021 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10820196 memory=140273952001411 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 10021 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 10021 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 10021 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10820196 memory=140273948518016 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174037 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 473174038 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565603767712 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11079880704 10021 33554432000 4194304 4196468 140734350368464 140564951459312 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 485 13265 0 0 1 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 164 13265 0 0 1 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10820196 memory=140273948518016 CPUtime=0.11 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 606 13265 0 0 3 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10820196 memory=140273948518016 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 10021 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40084 KiB

[startup+0.310553 s]*
/proc/loadavg: 1.26 1.46 1.45 3/213 15262
/proc/meminfo: memFree=4329832/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10820196 memory=48568 CPUtime=0.41 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 10479 13265 0 0 29 4 5 3 20 0 15 0 473174026 11079880704 12142 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2705049 12142 3318 1 0 2667149 0
[pid=15167/tid=15233] ppid=15164 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 6960 13265 0 0 18 3 5 3 20 0 15 0 473174035 11079880704 12142 33554432000 4194304 4196468 140734350368464 140566117210504 140566145422493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 12142 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 12142 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 12142 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11079880704 12142 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174037 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 473174038 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565603767712 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11079880704 12142 33554432000 4194304 4196468 140734350368464 140564951459312 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 486 13265 0 0 2 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 164 13265 0 0 1 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10820196 memory=140273948518016 CPUtime=0.13 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 615 13265 0 0 5 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10820196 memory=140273948518016 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174041 11079880704 12142 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48568 KiB

[startup+0.701245 s]
/proc/loadavg: 1.26 1.46 1.45 5/227 15327
/proc/meminfo: memFree=4287208/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10824364 memory=81888 CPUtime=1.16 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 15169 13265 0 0 101 7 5 3 20 0 15 0 473174026 11084148736 20472 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2706091 20472 3514 1 0 2668173 0
[pid=15167/tid=15233] ppid=15164 vsize=10824364 memory=17131 CPUtime=0.67 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) D 15164 15167 13903 0 -1 1077944384 10538 13265 0 0 54 5 5 3 20 0 15 0 473174035 11084148736 20472 33554432000 4194304 4196468 140734350368464 140566117227728 140566145424445 0 4 0 16800975 18446744072101580324 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10824364 memory=14 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11084148736 20472 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10824364 memory=2298 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11084148736 20472 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10824364 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174036 11084148736 20472 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10824364 memory=54396 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 473174036 11084148736 20472 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 5 13265 0 0 0 0 5 3 20 0 15 0 473174037 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10824364 memory=288230600312357161 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 473174038 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565603767712 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10824364 memory=15536314871186917 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11084148736 20472 33554432000 4194304 4196468 140734350368464 140564951459312 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) R 15164 15167 13903 0 -1 4202560 980 13265 0 0 17 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565570191344 140566126944785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 599 13265 0 0 11 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 793 13265 0 0 17 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174041 11084148736 20472 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81888 KiB

[startup+1.50067 s]
/proc/loadavg: 1.32 1.47 1.45 4/227 15327
/proc/meminfo: memFree=4202724/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10834680 memory=169208 CPUtime=2.52 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 21968 13265 0 0 232 12 5 3 20 0 15 0 473174026 11094712320 42302 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2708670 42302 3582 1 0 2670733 0
[pid=15167/tid=15233] ppid=15164 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 15404 13265 0 0 128 7 5 3 20 0 15 0 473174035 11094712320 42302 33554432000 4194304 4196468 140734350368464 140566117206512 140566145412502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10834680 memory=280547666524928 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 76 13265 0 0 1 0 5 3 20 0 15 0 473174036 11094712320 42302 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10834680 memory=140273833268572 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 36 13265 0 0 1 0 5 3 20 0 15 0 473174036 11094712320 42302 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 51 13265 0 0 1 0 5 3 20 0 15 0 473174036 11094712320 42302 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10834680 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 379 13265 0 0 1 0 5 3 20 0 15 0 473174036 11094712320 42302 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 386 13265 0 0 1 0 5 3 20 0 15 0 473174037 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10834680 memory=4121973573284999474 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 34 13265 0 0 0 0 5 3 20 0 15 0 473174038 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565603767776 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11094712320 42302 33554432000 4194304 4196468 140734350368464 140564951459312 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10834680 memory=280547666499520 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10834680 memory=280547666503936 CPUtime=0.39 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 1176 13265 0 0 30 1 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10834680 memory=14066017897321 CPUtime=0.31 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 695 13265 0 0 23 0 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10834680 memory=8978309880714912101 CPUtime=0.5 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) R 15164 15167 13903 0 -1 4202560 1517 13265 0 0 42 0 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565568104688 140566129481054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10834680 memory=6720696446780543624 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10834680 memory=-6664040342815623621 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174041 11094712320 42302 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834680 KiB

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

[pid=15167/tid=15251] ppid=15164 vsize=10846988 memory=8025788818473374768 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 221094 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10846988 memory=7157735280196868384 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 419 13265 0 0 1 0 5 3 20 0 15 0 473174041 11107315712 221094 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 48.14 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 884376 KiB

[startup+40.0007 s]*
/proc/loadavg: 1.36 1.46 1.45 3/227 15329
/proc/meminfo: memFree=1278604/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10846988 memory=896700 CPUtime=49.75 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 71501 13265 0 0 4922 45 5 3 20 0 15 0 473174026 11107315712 224175 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2711747 224175 3628 1 0 2673805 0
[pid=15167/tid=15233] ppid=15164 vsize=10846988 memory=1398722017469774279 CPUtime=39.74 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 26580 13265 0 0 3947 19 5 3 20 0 15 0 473174035 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566117232504 140565725700097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10846988 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 744 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10846988 memory=6009864931971721297 CPUtime=0.19 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 1084 13265 0 0 8 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10846988 memory=7666089082574951788 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1202 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10846988 memory=3491184 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 1693 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10846988 memory=297237786749305165 CPUtime=0.15 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 3496 13265 0 0 7 0 5 3 20 0 15 0 473174037 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10846988 memory=13568189191696326 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 38 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565603767776 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10846988 memory=4427205132082312746 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564951459328 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10846988 memory=-8486080722631693414 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10846988 memory=-8412652152092201843 CPUtime=3.96 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 11299 13265 0 0 386 2 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10846988 memory=-7023579799431922829 CPUtime=3.65 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 9035 13265 0 0 355 2 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10846988 memory=4426639978525455914 CPUtime=1.96 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 13697 13265 0 0 184 4 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10846988 memory=3047711553219693942 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10846988 memory=-7521736447810188379 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 419 13265 0 0 1 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 896700 KiB

[startup+40.8007 s]
/proc/loadavg: 1.36 1.46 1.45 3/227 15329
/proc/meminfo: memFree=1278604/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10846988 memory=896700 CPUtime=50.55 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 71502 13265 0 0 5002 45 5 3 20 0 15 0 473174026 11107315712 224175 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2711747 224175 3628 1 0 2673805 0
[pid=15167/tid=15233] ppid=15164 vsize=10846988 memory=30068 CPUtime=40.53 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 26580 13265 0 0 4026 19 5 3 20 0 15 0 473174035 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566117232504 140565722546793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10846988 memory=2120 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 744 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10846988 memory=508 CPUtime=0.19 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 1084 13265 0 0 8 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10846988 memory=896700 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1202 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10846988 memory=7100839878645619564 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 1693 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224175 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10846988 memory=7085120250607452264 CPUtime=0.15 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 3496 13265 0 0 7 0 5 3 20 0 15 0 473174037 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10846988 memory=6009864931971721297 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 38 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565603767776 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10846988 memory=7085715000720336790 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564951459328 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10846988 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10846988 memory=288230617509003574 CPUtime=3.96 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 11299 13265 0 0 386 2 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10846988 memory=15815620889413968 CPUtime=3.65 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 9035 13265 0 0 355 2 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10846988 memory=150547193673295 CPUtime=1.96 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 13697 13265 0 0 184 4 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10846988 memory=199986562217551 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10846988 memory=200098231367247 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 420 13265 0 0 1 0 5 3 20 0 15 0 473174041 11107315712 224175 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 896700 KiB

[startup+41.0007 s]*
/proc/loadavg: 1.41 1.47 1.46 3/227 15329
/proc/meminfo: memFree=1277436/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10846988 memory=897740 CPUtime=50.76 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 71506 13265 0 0 5023 45 5 3 20 0 15 0 473174026 11107315712 224435 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2711747 224435 3628 1 0 2673805 0
[pid=15167/tid=15233] ppid=15164 vsize=10846988 memory=7022364594140610616 CPUtime=40.74 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 26581 13265 0 0 4047 19 5 3 20 0 15 0 473174035 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566117236784 140565722228726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10846988 memory=342 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 744 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10846988 memory=140273951996380 CPUtime=0.19 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 1085 13265 0 0 8 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10846988 memory=3502554 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1202 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10846988 memory=3461361909912654601 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 1693 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10846988 memory=7801051480570042032 CPUtime=0.15 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 3498 13265 0 0 7 0 5 3 20 0 15 0 473174037 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10846988 memory=3472328296227670329 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 38 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565603767776 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10846988 memory=-9001734013606258791 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564951459328 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10846988 memory=-7233780906022726864 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10846988 memory=0 CPUtime=3.96 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 11299 13265 0 0 386 2 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10846988 memory=3472329395739308079 CPUtime=3.65 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 9035 13265 0 0 355 2 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10846988 memory=4830873404851853232 CPUtime=1.96 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 13697 13265 0 0 184 4 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10846988 memory=7311435031524761458 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10846988 memory=3471342670269355696 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 420 13265 0 0 1 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 897740 KiB

[startup+41.11 s]
/proc/loadavg: 1.41 1.47 1.46 3/227 15329
/proc/meminfo: memFree=1277436/32770624 swapFree=66966844/67108860
[pid=15167] ppid=15164 vsize=10846988 memory=897740 CPUtime=50.86 cores=1,3,5,7
/proc/15167/stat : 15167 (java) S 15164 15167 13903 0 -1 1077944320 71506 13265 0 0 5033 45 5 3 20 0 15 0 473174026 11107315712 224435 33554432000 4194304 4196468 140734350368464 140734350351008 140566145400567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
/proc/15167/statm: 2711747 224435 3628 1 0 2673805 0
[pid=15167/tid=15233] ppid=15164 vsize=10846988 memory=884376 CPUtime=40.84 cores=1,3,5,7
/proc/15167/task/15233/stat : 15233 (java) R 15164 15167 13903 0 -1 4202560 26581 13265 0 0 4057 19 5 3 20 0 15 0 473174035 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566117236784 140565721898695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15234] ppid=15164 vsize=10846988 memory=884376 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15234/stat : 15234 (java) S 15164 15167 13903 0 -1 1077944384 744 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566149642512 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15235] ppid=15164 vsize=10846988 memory=884376 CPUtime=0.19 cores=1,3,5,7
/proc/15167/task/15235/stat : 15235 (java) S 15164 15167 13903 0 -1 1077944384 1085 13265 0 0 8 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566037916048 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15236] ppid=15164 vsize=10846988 memory=896700 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15236/stat : 15236 (java) S 15164 15167 13903 0 -1 1077944384 1202 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566036863504 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15237] ppid=15164 vsize=10846988 memory=896700 CPUtime=0.2 cores=1,3,5,7
/proc/15167/task/15237/stat : 15237 (java) S 15164 15167 13903 0 -1 1077944384 1693 13265 0 0 9 3 5 3 20 0 15 0 473174036 11107315712 224435 33554432000 4194304 4196468 140734350368464 140566035810960 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15238] ppid=15164 vsize=10846988 memory=884376 CPUtime=0.15 cores=1,3,5,7
/proc/15167/task/15238/stat : 15238 (java) S 15164 15167 13903 0 -1 1077944384 3498 13265 0 0 7 0 5 3 20 0 15 0 473174037 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565604821488 140566145411714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15240] ppid=15164 vsize=10846988 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15240/stat : 15240 (java) S 15164 15167 13903 0 -1 1077944384 38 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565603767776 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15241] ppid=15164 vsize=10846988 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15241/stat : 15241 (java) S 15164 15167 13903 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 473174038 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564951459328 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15246] ppid=15164 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15246/stat : 15246 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564711168720 140566145419163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15247] ppid=15164 vsize=10846988 memory=280547666858600 CPUtime=3.96 cores=1,3,5,7
/proc/15167/task/15247/stat : 15247 (java) S 15164 15167 13903 0 -1 1077944384 11299 13265 0 0 386 2 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565570209776 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15248] ppid=15164 vsize=10846988 memory=849504 CPUtime=3.65 cores=1,3,5,7
/proc/15167/task/15248/stat : 15248 (java) S 15164 15167 13903 0 -1 1077944384 9035 13265 0 0 355 2 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565569157232 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15249] ppid=15164 vsize=10846988 memory=849504 CPUtime=1.96 cores=1,3,5,7
/proc/15167/task/15249/stat : 15249 (java) S 15164 15167 13903 0 -1 1077944384 13697 13265 0 0 184 4 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565568104688 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15251] ppid=15164 vsize=10846988 memory=833092 CPUtime=0.08 cores=1,3,5,7
/proc/15167/task/15251/stat : 15251 (java) S 15164 15167 13903 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140564677610080 140566145410773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
[pid=15167/tid=15252] ppid=15164 vsize=10846988 memory=3612 CPUtime=0.09 cores=1,3,5,7
/proc/15167/task/15252/stat : 15252 (java) S 15164 15167 13903 0 -1 1077944384 420 13265 0 0 1 0 5 3 20 0 15 0 473174041 11107315712 224435 33554432000 4194304 4196468 140734350368464 140565567052592 140566145411714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39243776 140734350371428 140734350374069 140734350374069 140734350376911 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 897740 KiB

Child status: 0
Real time (s): 41.141
CPU time (s): 50.8961
CPU user time (s): 50.3976
CPU system time (s): 0.498512
CPU usage (%): 123.711
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 897740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.3976
system time used= 0.498512
maximum resident set size= 899824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9534
involuntary context switches= 128


# summary of solver processes directly reported to runsolver:
#   pid: 15167
#   total CPU time (s): 50.8961
#   total CPU user time (s): 50.3976
#   total CPU system time (s): 0.498512

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

The end

Launcher Data 

Begin job on node145 at 2019-09-20 11:38:53
IDJOB=4403025
IDBENCH=124158
IDSOLVER=2862
FILE ID=node145/4403025-1568972376
RUNJOBID= node145-1568967596-13935
PBS_JOBID= 21704615
Free space on /var/tmp= 13476 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-3.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403025-1568972376/watcher-4403025-1568972376 -o /var/tmp/evaluation-result-4403025-1568972376/solver-4403025-1568972376 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568967596-13935 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4403025-1568972376.xml

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

MD5SUM BENCH= 0fab81179fd404e9cd210665e915a325
RANDOM SEED=799927705

node145.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.59
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.59
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.59
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.59
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:         4366972 kB
MemAvailable:   31825920 kB
Buffers:          135312 kB
Cached:         27276420 kB
SwapCached:        32484 kB
Active:         13654512 kB
Inactive:       13791784 kB
Active(anon):        676 kB
Inactive(anon):    83016 kB
Active(file):   13653836 kB
Inactive(file): 13708768 kB
Unevictable:      110664 kB
Mlocked:          110664 kB
SwapTotal:      67108860 kB
SwapFree:       66966844 kB
Dirty:             35520 kB
Writeback:             0 kB
AnonPages:        274612 kB
Mapped:            51932 kB
Shmem:             40640 kB
Slab:             553256 kB
SReclaimable:     524804 kB
SUnreclaim:        28452 kB
KernelStack:        3968 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     510128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13444 MiB
End job on node145 at 2019-09-20 11:39:35