Trace number 4387102

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.10OPT88 54.3899 34.5162

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.4001
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.74/0.54	c Concrete v3.10.1560635388952 running
14.75/6.20	o 101
15.00/6.21	o 100
15.00/6.23	o 99
15.00/6.24	o 98
15.00/6.24	o 97
15.00/6.25	o 96
15.00/6.26	o 95
15.00/6.27	o 94
15.00/6.27	o 93
15.00/6.28	o 92
15.00/6.28	o 91
15.00/6.29	o 90
15.00/6.29	o 89
15.30/6.33	o 88
54.18/34.50	v <instantiation
54.18/34.50	v         cost = '88'>
54.18/34.50	v       <list>
54.18/34.50	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]
54.18/34.50	v       </list>
54.18/34.50	v       <values>
54.18/34.50	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 1 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 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 1 0 0 0 0 0 1 0 0 0 1 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 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
54.18/34.50	v       </values>
54.18/34.50	v     </instantiation>
54.18/34.50	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 (2717 MiB free)
  memory of node 1: 16384 MiB (9721 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387102-1568291016/watcher-4387102-1568291016 -o /tmp/evaluation-result-4387102-1568291016/solver-4387102-1568291016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1487419803 HOME/instance-4387102-1568291016.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Starting watchdog thread
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

solver pid=7195, runsolver pid=7192

[startup+0.100114 s]*
/proc/loadavg: 1.67 1.64 1.56 3/220 7252
/proc/meminfo: memFree=12729132/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 4469 13365 0 0 1 0 5 3 20 0 6 0 405366527 10212057088 4204 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2493178 4204 1935 1 0 2481616 0
[pid=7195/tid=7248] ppid=7192 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 2293 13365 0 0 0 0 5 3 20 0 6 0 405366536 10212057088 4270 33554432000 4194304 4196468 140737209222752 140214385132112 140214397375838 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 6 0 405366537 10212057088 4270 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=9972712 memory=15965198194771608 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 6 0 405366537 10212057088 4270 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 6 0 405366537 10212057088 4270 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 6 0 405366537 10212057088 4270 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.20998 s]*
/proc/loadavg: 1.67 1.64 1.56 4/229 7261
/proc/meminfo: memFree=12711044/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10818940 memory=38676 CPUtime=0.26 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 7040 13365 0 0 16 2 5 3 20 0 15 0 405366527 11078594560 9669 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2704735 9669 2966 1 0 2667149 0
[pid=7195/tid=7248] ppid=7192 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 3568 13365 0 0 10 1 5 3 20 0 15 0 405366536 11078594560 9669 33554432000 4194304 4196468 140737209222752 140214385128560 140214397375838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10818940 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11078594560 9669 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10818940 memory=139720254759775 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11078594560 9669 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11078594560 9669 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 15 0 405366537 11078594560 9669 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10818940 memory=139720254752384 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 15 0 405366538 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213435229088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366539 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213166793712 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 560 13365 0 0 1 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 58 13365 0 0 0 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10818940 memory=139720254752384 CPUtime=0.11 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) R 7192 7195 3654 0 -1 4202560 627 13365 0 0 3 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213869099760 140214394858833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10818940 memory=139720254752384 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366542 11078594560 9669 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38676 KiB

[startup+0.310529 s]*
/proc/loadavg: 1.53 1.61 1.55 3/229 7261
/proc/meminfo: memFree=12700692/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10820096 memory=50048 CPUtime=0.4 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 10784 13365 0 0 28 4 5 3 20 0 15 0 405366527 11079778304 12512 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2705024 12512 3220 1 0 2667149 0
[pid=7195/tid=7248] ppid=7192 vsize=10820096 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 7293 13365 0 0 19 3 5 3 20 0 15 0 405366536 11079778304 12512 33554432000 4194304 4196468 140737209222752 140214385107792 140214413307286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11079778304 12512 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11079778304 12512 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11079778304 12512 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 15 0 405366537 11079778304 12512 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10820096 memory=139720254752383 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 15 0 405366538 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213435229088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366539 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213166793712 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 562 13365 0 0 2 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10820096 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 58 13365 0 0 1 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10820096 memory=139720254752384 CPUtime=0.13 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 641 13365 0 0 5 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10820096 memory=139720254752384 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366542 11079778304 12512 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50048 KiB

[startup+0.700685 s]
/proc/loadavg: 1.53 1.61 1.55 5/229 7261
/proc/meminfo: memFree=12685332/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10825364 memory=80816 CPUtime=1.15 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 14934 13365 0 0 101 6 5 3 20 0 15 0 405366527 11085172736 20204 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2706341 20204 3508 1 0 2668429 0
[pid=7195/tid=7248] ppid=7192 vsize=10824340 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 1077944384 10631 13365 0 0 55 4 5 3 20 0 15 0 405366536 11084124160 20204 33554432000 4194304 4196468 140737209222752 140214385113312 140214405974573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10824340 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11084124160 20204 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10824340 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11084124160 20204 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10825364 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366537 11085172736 20204 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10825364 memory=97 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 2 13365 0 0 0 0 5 3 20 0 15 0 405366537 11085172736 20204 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 6 13365 0 0 0 0 5 3 20 0 15 0 405366538 11085172736 20204 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11084124160 20204 33554432000 4194304 4196468 140737209222752 140213435229088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366539 11084124160 20204 33554432000 4194304 4196468 140737209222752 140213166793712 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10825364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11085172736 20204 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10825364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 810 13365 0 0 13 0 5 3 20 0 15 0 405366542 11085172736 20204 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10825364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 440 13365 0 0 14 0 5 3 20 0 15 0 405366542 11085172736 20204 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 839 13365 0 0 17 0 5 3 20 0 15 0 405366542 11084124160 20204 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11084124160 20204 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10824340 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366542 11084124160 20204 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 80816 KiB

[startup+1.50073 s]
/proc/loadavg: 1.53 1.61 1.55 3/229 7261
/proc/meminfo: memFree=12643084/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10834656 memory=170136 CPUtime=2.51 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 21345 13365 0 0 233 10 5 3 20 0 15 0 405366527 11094687744 42534 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2708664 42534 3580 1 0 2670733 0
[pid=7195/tid=7248] ppid=7192 vsize=10834656 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 15324 13365 0 0 130 6 5 3 20 0 15 0 405366536 11094687744 42534 33554432000 4194304 4196468 140737209222752 140214385099632 140214413307286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10834656 memory=4639927341444458085 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 54 13365 0 0 0 0 5 3 20 0 15 0 405366537 11094687744 42534 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10834656 memory=4639643667444491877 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 33 13365 0 0 1 0 5 3 20 0 15 0 405366537 11094687744 42534 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10834656 memory=6941569120973055060 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 350 13365 0 0 1 0 5 3 20 0 15 0 405366537 11094687744 42534 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10834656 memory=279440236390816 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 68 13365 0 0 1 0 5 3 20 0 15 0 405366537 11094687744 42534 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10834656 memory=170608985913461 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) R 7192 7195 3654 0 -1 4202560 129 13365 0 0 1 0 5 3 20 0 15 0 405366538 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213872257008 140214406012503 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10834656 memory=170608985913462 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 14 13365 0 0 0 0 5 3 20 0 15 0 405366539 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213435229152 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10834656 memory=170608985913463 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366539 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213166793712 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10834656 memory=170608985913464 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10834656 memory=279440236015360 CPUtime=0.35 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 1051 13365 0 0 27 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10834656 memory=3546478493089503654 CPUtime=0.33 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 540 13365 0 0 25 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10834656 memory=279440235977728 CPUtime=0.5 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 1569 13365 0 0 42 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 1 13365 0 0 0 0 5 3 20 0 15 0 405366542 11094687744 42534 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 2.51 s

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

[pid=7195/tid=7258] ppid=7192 vsize=10846964 memory=988 CPUtime=7.49 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 9929 13365 0 0 738 3 5 3 20 0 15 0 405366542 11107291136 417270 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10846964 memory=2020 CPUtime=4.39 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 12765 13365 0 0 425 6 5 3 20 0 15 0 405366542 11107291136 417270 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10846964 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 417270 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10846964 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 206 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 417270 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 51.29 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1669080 KiB

[startup+33.6007 s]
/proc/loadavg: 1.82 1.68 1.57 3/228 7262
/proc/meminfo: memFree=10905576/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10846964 memory=1851864 CPUtime=53.22 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 70542 13365 0 0 5255 59 5 3 20 0 15 0 405366527 11107291136 462966 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2711741 462966 3623 1 0 2673805 0
[pid=7195/tid=7248] ppid=7192 vsize=10846964 memory=7595996350091977811 CPUtime=33.39 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 28305 13365 0 0 3298 33 5 3 20 0 15 0 405366536 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214385131600 140214005676148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10846964 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 707 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10846964 memory=9536 CPUtime=0.13 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 296 13365 0 0 4 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10846964 memory=692 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 783 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10846964 memory=1669080 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 1039 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10846964 memory=2832 CPUtime=0.15 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 5652 13365 0 0 6 1 5 3 20 0 15 0 405366538 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10846964 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 19 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213435229216 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10846964 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213166793728 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10846964 memory=1769920 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10846964 memory=2 CPUtime=7.58 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 8614 13365 0 0 744 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10846964 memory=0 CPUtime=7.62 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 9929 13365 0 0 751 3 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10846964 memory=0 CPUtime=4.44 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 12765 13365 0 0 430 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10846964 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 208 13365 0 0 0 1 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 53.22 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1851864 KiB

[startup+34.0007 s]*
/proc/loadavg: 1.82 1.68 1.57 3/228 7262
/proc/meminfo: memFree=10905452/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10846964 memory=1851864 CPUtime=53.71 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 70544 13365 0 0 5304 59 5 3 20 0 15 0 405366527 11107291136 462966 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2711741 462966 3623 1 0 2673805 0
[pid=7195/tid=7248] ppid=7192 vsize=10846964 memory=1398722017469774279 CPUtime=33.8 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 28305 13365 0 0 3339 33 5 3 20 0 15 0 405366536 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214385131600 140214392494808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10846964 memory=288230621803970871 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 707 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10846964 memory=13852975453964199 CPUtime=0.13 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 296 13365 0 0 4 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10846964 memory=1432 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 783 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10846964 memory=9536 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 1039 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10846964 memory=692 CPUtime=0.15 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 5652 13365 0 0 6 1 5 3 20 0 15 0 405366538 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10846964 memory=2600 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 19 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213435229216 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10846964 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213166793728 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10846964 memory=3068 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10846964 memory=3643700 CPUtime=7.61 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 8615 13365 0 0 747 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10846964 memory=4104 CPUtime=7.66 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 9930 13365 0 0 755 3 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10846964 memory=0 CPUtime=4.45 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) R 7192 7195 3654 0 -1 4202560 12765 13365 0 0 431 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213869099760 140214392687601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10846964 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 208 13365 0 0 0 1 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 53.71 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1851864 KiB

[startup+34.4007 s]
/proc/loadavg: 1.82 1.68 1.57 3/228 7262
/proc/meminfo: memFree=10905452/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10846964 memory=1851864 CPUtime=54.18 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 70544 13365 0 0 5351 59 5 3 20 0 15 0 405366527 11107291136 462966 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2711741 462966 3623 1 0 2673805 0
[pid=7195/tid=7248] ppid=7192 vsize=10846964 memory=0 CPUtime=34.19 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) R 7192 7195 3654 0 -1 4202560 28305 13365 0 0 3378 33 5 3 20 0 15 0 405366536 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214385131600 140213993195931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10846964 memory=47 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 707 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10846964 memory=8112282956445269571 CPUtime=0.13 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 296 13365 0 0 4 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10846964 memory=36744 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 783 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10846964 memory=988 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 1039 13365 0 0 5 1 5 3 20 0 15 0 405366537 11107291136 462966 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10846964 memory=2020 CPUtime=0.15 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) S 7192 7195 3654 0 -1 1077944384 5652 13365 0 0 6 1 5 3 20 0 15 0 405366538 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10846964 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 19 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213435229216 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10846964 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 15 0 405366539 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213166793728 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7256] ppid=7192 vsize=10846964 memory=1669080 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7256/stat : 7256 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212926503120 140214413313947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10846964 memory=1608 CPUtime=7.65 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 8615 13365 0 0 751 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10846964 memory=908 CPUtime=7.7 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 9930 13365 0 0 759 3 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10846964 memory=1440 CPUtime=4.46 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) S 7192 7195 3654 0 -1 1077944384 12765 13365 0 0 432 6 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213869099760 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10846964 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7261] ppid=7192 vsize=10846964 memory=1851864 CPUtime=0.09 cores=1,3,5,7
/proc/7195/task/7261/stat : 7261 (java) S 7192 7195 3654 0 -1 1077944384 208 13365 0 0 0 1 5 3 20 0 15 0 405366542 11107291136 462966 33554432000 4194304 4196468 140737209222752 140213868046640 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 54.18 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1851864 KiB

[startup+34.5015 s]
/proc/loadavg: 1.82 1.68 1.57 3/228 7262
/proc/meminfo: memFree=10905452/32770624 swapFree=66999904/67108860
[pid=7195] ppid=7192 vsize=10945272 memory=1853968 CPUtime=54.36 cores=1,3,5,7
/proc/7195/stat : 7195 (java) S 7192 7195 3654 0 -1 1077944320 71008 13365 0 0 5369 59 5 3 20 0 15 0 405366527 11207958528 463486 33554432000 4194304 4196468 140737209222752 140737209205296 140214413295351 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
/proc/7195/statm: 2736318 463492 3626 1 0 2698382 0
[pid=7195/tid=7248] ppid=7192 vsize=10945272 memory=1851864 CPUtime=34.29 cores=1,3,5,7
/proc/7195/task/7248/stat : 7248 (java) S 7192 7195 3654 0 -1 1077944384 28667 13365 0 0 3388 33 5 3 20 0 14 0 405366536 11207958528 463492 33554432000 4194304 4196468 140737209222752 140214385138832 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7249] ppid=7192 vsize=10945272 memory=1851864 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7249/stat : 7249 (java) S 7192 7195 3654 0 -1 1077944384 707 13365 0 0 5 1 5 3 20 0 14 0 405366537 11207958528 463492 33554432000 4194304 4196468 140737209222752 140214417537808 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7250] ppid=7192 vsize=10945272 memory=6 CPUtime=0.13 cores=1,3,5,7
/proc/7195/task/7250/stat : 7250 (java) S 7192 7195 3654 0 -1 1077944384 296 13365 0 0 4 1 5 3 20 0 14 0 405366537 11207958528 463492 33554432000 4194304 4196468 140737209222752 140214316428176 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7251] ppid=7192 vsize=10945272 memory=1851864 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7251/stat : 7251 (java) S 7192 7195 3654 0 -1 1077944384 783 13365 0 0 5 1 5 3 20 0 14 0 405366537 11207958528 463492 33554432000 4194304 4196468 140737209222752 140214315375632 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7252] ppid=7192 vsize=10945272 memory=6 CPUtime=0.14 cores=1,3,5,7
/proc/7195/task/7252/stat : 7252 (java) S 7192 7195 3654 0 -1 1077944384 1039 13365 0 0 5 1 5 3 20 0 14 0 405366537 11207958528 463492 33554432000 4194304 4196468 140737209222752 140214314323088 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7253] ppid=7192 vsize=10945272 memory=5 CPUtime=0.15 cores=1,3,5,7
/proc/7195/task/7253/stat : 7253 (java) R 7192 7195 3654 0 -1 1077944384 5652 13365 0 0 6 1 5 3 20 0 14 0 405366538 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213872257008 140214413306498 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7254] ppid=7192 vsize=10945272 memory=1154368 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7254/stat : 7254 (java) S 7192 7195 3654 0 -1 1077944384 19 13365 0 0 0 0 5 3 20 0 14 0 405366539 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213435229216 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7255] ppid=7192 vsize=10945272 memory=2387 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7255/stat : 7255 (java) S 7192 7195 3654 0 -1 1077944384 13 13365 0 0 0 0 5 3 20 0 14 0 405366539 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213166793728 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7257] ppid=7192 vsize=10945272 memory=7100839878645619564 CPUtime=7.66 cores=1,3,5,7
/proc/7195/task/7257/stat : 7257 (java) S 7192 7195 3654 0 -1 1077944384 8615 13365 0 0 752 6 5 3 20 0 14 0 405366542 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213871204848 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7258] ppid=7192 vsize=10945272 memory=3047711553320166262 CPUtime=7.75 cores=1,3,5,7
/proc/7195/task/7258/stat : 7258 (java) S 7192 7195 3654 0 -1 1077944384 9955 13365 0 0 764 3 5 3 20 0 14 0 405366542 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213870152304 140214413306498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7259] ppid=7192 vsize=10945272 memory=932 CPUtime=4.46 cores=1,3,5,7
/proc/7195/task/7259/stat : 7259 (java) R 7192 7195 3654 0 -1 4202560 12772 13365 0 0 432 6 5 3 20 0 14 0 405366542 11207958528 463492 33554432000 4194304 4196468 140737209222752 140213869099760 140214405534452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
[pid=7195/tid=7260] ppid=7192 vsize=10945272 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/7195/task/7260/stat : 7260 (java) S 7192 7195 3654 0 -1 1077944384 3 13365 0 0 0 0 5 3 20 0 14 0 405366542 11207958528 463492 33554432000 4194304 4196468 140737209222752 140212892945504 140214413305557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21147648 140737209228021 140737209230533 140737209230533 140737209233359 0
Current children cumulated CPU time: 54.36 s
Current children cumulated vsize: 10945272 KiB
Current children cumulated memory: 1853968 KiB

Child status: 0
Real time (s): 34.5162
CPU time (s): 54.3899
CPU user time (s): 53.744
CPU system time (s): 0.645816
CPU usage (%): 157.578
Max. virtual memory (cumulated for all children) (KiB): 10945272
Max. memory (cumulated for all children) (KiB): 1853968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.744
system time used= 0.645816
maximum resident set size= 1854032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84425
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= 21479
involuntary context switches= 97


# summary of solver processes directly reported to runsolver:
#   pid: 7195
#   total CPU time (s): 54.3899
#   total CPU user time (s): 53.744
#   total CPU system time (s): 0.645816

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

The end

Launcher Data

Begin job on node123 at 2019-09-12 14:22:57
IDJOB=4387102
IDBENCH=124158
IDSOLVER=2823
FILE ID=node123/4387102-1568291016
RUNJOBID= node123-1568285996-4542
PBS_JOBID= 21701081
Free space on /tmp= 52464 MiB

SOLVER NAME= Concrete 3.10
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 /tmp/evaluation-result-4387102-1568291016/watcher-4387102-1568291016 -o /tmp/evaluation-result-4387102-1568291016/solver-4387102-1568291016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1487419803 HOME/instance-4387102-1568291016.xml

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

MD5SUM BENCH= 0fab81179fd404e9cd210665e915a325
RANDOM SEED=1487419803

node123.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.49
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.49
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.49
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.49
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:        12737268 kB
MemAvailable:   28207912 kB
Buffers:          180928 kB
Cached:         15346388 kB
SwapCached:         7400 kB
Active:          5428736 kB
Inactive:       13750744 kB
Active(anon):    3648316 kB
Inactive(anon):    44876 kB
Active(file):    1780420 kB
Inactive(file): 13705868 kB
Unevictable:      107128 kB
Mlocked:          107128 kB
SwapTotal:      67108860 kB
SwapFree:       66999904 kB
Dirty:             35028 kB
Writeback:             0 kB
AnonPages:       3754900 kB
Mapped:            56272 kB
Shmem:             32668 kB
Slab:             441736 kB
SReclaimable:     412816 kB
SUnreclaim:        28920 kB
KernelStack:        3888 kB
PageTables:        12512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4368508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3405824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52428 MiB
End job on node123 at 2019-09-12 14:23:32