Trace number 4392104

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.10OPT67 17.238 7.03869

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t13-5.xml
MD5SUM8b37dab346b69351ace1d2e6f457fa9a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark2.19603
Satisfiable
(Un)Satisfiability was proved
Number of variables1001
Number of constraints103
Number of domains8
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":182},{"size":3,"count":91},{"size":6,"count":91},{"size":11,"count":273},{"size":12,"count":91},{"size":15,"count":91},{"size":17,"count":91},{"size":22,"count":91}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":1001}]
Minimum constraint arity11
Maximum constraint arity910
Distribution of constraint arities[{"arity":11,"count":91},{"arity":91,"count":11},{"arity":910,"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":101}]
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.72/0.55	c Concrete v3.10.1560635388952 running
13.64/5.61	o 90
13.64/5.62	o 83
13.64/5.63	o 82
13.64/5.64	o 80
13.64/5.65	o 77
13.64/5.67	o 76
13.64/5.69	o 75
13.64/5.70	o 74
13.97/5.71	o 73
13.97/5.72	o 72
13.97/5.73	o 71
14.27/5.84	o 70
14.58/5.90	o 69
14.58/5.91	o 68
14.91/6.03	o 67
17.18/7.02	v <instantiation
17.18/7.02	v         cost = '67'>
17.18/7.02	v       <list>
17.18/7.02	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] 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]
17.18/7.02	v       </list>
17.18/7.02	v       <values>
17.18/7.02	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 1 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 1 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 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
17.18/7.02	v       </values>
17.18/7.02	v     </instantiation>
17.18/7.02	s OPTIMUM FOUND

Verifier Data 

OK	67

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392104-1568310744/watcher-4392104-1568310744 -o /tmp/evaluation-result-4392104-1568310744/solver-4392104-1568310744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8654 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1991631675 HOME/instance-4392104-1568310744.xml 

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

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=9740, runsolver pid=9737

[startup+0.100166 s]*
/proc/loadavg: 1.34 1.43 1.35 3/219 9797
/proc/meminfo: memFree=23670116/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=9972712 memory=15180 CPUtime=0.1 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 4532 13346 0 0 1 1 5 3 20 0 6 0 407011807 10212057088 3795 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2493178 3795 1935 1 0 2481616 0
[pid=9740/tid=9793] ppid=9737 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 2340 13346 0 0 0 0 5 3 20 0 6 0 407011816 10212057088 3795 33554432000 4194304 4196468 140729347438816 139822829523536 139822857708701 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 6 0 407011817 10212057088 3795 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=9972712 memory=140393121007232 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 6 0 407011817 10212057088 3795 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 6 0 407011817 10212057088 3795 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 6 0 407011817 10212057088 3795 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB

[startup+0.210518 s]*
/proc/loadavg: 1.34 1.43 1.35 3/228 9806
/proc/meminfo: memFree=23651700/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10818940 memory=35080 CPUtime=0.26 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 7130 13346 0 0 17 1 5 3 20 0 15 0 407011807 11078594560 8770 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2704735 8770 2982 1 0 2667149 0
[pid=9740/tid=9793] ppid=9737 vsize=10818940 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 3544 13346 0 0 11 0 5 3 20 0 15 0 407011816 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822829527056 139822841767262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10818940 memory=140393121007232 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10818940 memory=140393121007232 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011818 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 33 13346 0 0 0 0 5 3 20 0 15 0 407011819 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822316078624 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011819 11078594560 8770 33554432000 4194304 4196468 140729347438816 139821720790384 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 600 13346 0 0 1 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) S 9737 9740 8623 0 -1 1077944384 58 13346 0 0 0 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10818940 memory=140393121007232 CPUtime=0.11 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) S 9737 9740 8623 0 -1 1077944384 678 13346 0 0 3 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10818940 memory=140393121007232 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011822 11078594560 8770 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 35080 KiB

[startup+0.310911 s]*
/proc/loadavg: 1.34 1.43 1.35 3/228 9806
/proc/meminfo: memFree=23641452/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10820096 memory=46512 CPUtime=0.4 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 10883 13346 0 0 29 3 5 3 20 0 15 0 407011807 11079778304 11628 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2705024 11628 3257 1 0 2667149 0
[pid=9740/tid=9793] ppid=9737 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 7234 13346 0 0 19 2 5 3 20 0 15 0 407011816 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822829502592 139822857708701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10820096 memory=7444845361440975207 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10820096 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10820096 memory=7019607480941825481 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011818 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 33 13346 0 0 0 0 5 3 20 0 15 0 407011819 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822316078624 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011819 11079778304 11628 33554432000 4194304 4196468 140729347438816 139821720790384 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 604 13346 0 0 2 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) S 9737 9740 8623 0 -1 1077944384 66 13346 0 0 1 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) S 9737 9740 8623 0 -1 1077944384 720 13346 0 0 5 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011822 11079778304 11628 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 46512 KiB

[startup+0.70987 s]
/proc/loadavg: 1.34 1.43 1.35 5/228 9806
/proc/meminfo: memFree=23627436/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10824340 memory=77664 CPUtime=1.15 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 15211 13346 0 0 103 4 5 3 20 0 15 0 407011807 11084124160 19416 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2706085 19416 3497 1 0 2668173 0
[pid=9740/tid=9793] ppid=9737 vsize=10824340 memory=2241 CPUtime=0.68 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 10612 13346 0 0 57 3 5 3 20 0 15 0 407011816 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822829513968 139822857710653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011817 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011817 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 5 13346 0 0 0 0 5 3 20 0 15 0 407011818 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 33 13346 0 0 0 0 5 3 20 0 15 0 407011819 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822316078624 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011819 11084124160 19416 33554432000 4194304 4196468 140729347438816 139821720790384 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) R 9737 9740 8623 0 -1 4202560 887 13346 0 0 12 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822282507040 139822842616188 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) S 9737 9740 8623 0 -1 1077944384 433 13346 0 0 15 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) R 9737 9740 8623 0 -1 1077944384 1017 13346 0 0 17 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10824340 memory=280786037113072 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011822 11084124160 19416 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 77664 KiB

[startup+1.50154 s]
/proc/loadavg: 1.55 1.47 1.36 3/228 9806
/proc/meminfo: memFree=23582668/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10834656 memory=167180 CPUtime=2.52 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 22300 13346 0 0 234 10 5 3 20 0 15 0 407011807 11094687744 41795 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2708664 41795 3575 1 0 2670733 0
[pid=9740/tid=9793] ppid=9737 vsize=10834656 memory=21 CPUtime=1.43 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 15784 13346 0 0 130 5 5 3 20 0 15 0 407011816 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822829489264 139822841767262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10834656 memory=28 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 36 13346 0 0 0 0 5 3 20 0 15 0 407011817 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 367 13346 0 0 1 0 5 3 20 0 15 0 407011817 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 41 13346 0 0 1 0 5 3 20 0 15 0 407011817 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10834656 memory=93156 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 54 13346 0 0 1 0 5 3 20 0 15 0 407011817 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 394 13346 0 0 1 0 5 3 20 0 15 0 407011818 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10834656 memory=7014751519633528425 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 33 13346 0 0 0 0 5 3 20 0 15 0 407011819 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822316078688 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10834656 memory=7302986337033217625 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011819 11094687744 41795 33554432000 4194304 4196468 140729347438816 139821720790400 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10834656 memory=7523388961617700456 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10834656 memory=7011348500760778328 CPUtime=0.33 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 1026 13346 0 0 25 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10834656 memory=7523355993618213988 CPUtime=0.37 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) R 9737 9740 8623 0 -1 1077944384 604 13346 0 0 29 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10834656 memory=7014751519633528425 CPUtime=0.49 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) S 9737 9740 8623 0 -1 1077944384 1745 13346 0 0 41 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10834656 memory=7014751519633528425 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10834656 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 1 13346 0 0 0 0 5 3 20 0 15 0 407011822 11094687744 41795 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834656 KiB

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

[startup+6.30078 s]
/proc/loadavg: 1.75 1.51 1.38 5/228 9806
/proc/meminfo: memFree=23356168/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10846964 memory=340084 CPUtime=15.79 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 50933 13346 0 0 1550 21 5 3 20 0 15 0 407011807 11107291136 85021 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2711741 85021 3622 1 0 2673805 0
[pid=9740/tid=9793] ppid=9737 vsize=10846964 memory=55 CPUtime=6.15 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 23564 13346 0 0 598 9 5 3 20 0 15 0 407011816 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822829521656 139822474892788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10846964 memory=323772 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 86 13346 0 0 3 1 5 3 20 0 15 0 407011817 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10846964 memory=311388 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 473 13346 0 0 3 1 5 3 20 0 15 0 407011817 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10846964 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 109 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10846964 memory=182209692585049 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 102 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10846964 memory=182209692585050 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 3151 13346 0 0 4 0 5 3 20 0 15 0 407011818 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10846964 memory=280786037117440 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 38 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822316078752 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10846964 memory=10829 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 85021 33554432000 4194304 4196468 140729347438816 139821720790400 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10846964 memory=26177 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10846964 memory=0 CPUtime=3.8 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) R 9737 9740 8623 0 -1 4202560 6851 13346 0 0 370 2 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822282507760 139822842081712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10846964 memory=164 CPUtime=3.58 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) R 9737 9740 8623 0 -1 1077944384 5605 13346 0 0 349 1 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10846964 memory=7590924101070381376 CPUtime=2.19 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) R 9737 9740 8623 0 -1 1077944384 8727 13346 0 0 208 3 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10846964 memory=7374758023436981604 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10846964 memory=7086242839394279744 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 9 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 85021 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 340084 KiB

[startup+7.03865 s]
# the end of solver process 9740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.963 s, system=0.275036 s

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

[startup+6.40087 s]
/proc/loadavg: 1.75 1.51 1.38 5/228 9806
/proc/meminfo: memFree=23356168/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10846964 memory=361620 CPUtime=16.08 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 51276 13346 0 0 1579 21 5 3 20 0 15 0 407011807 11107291136 90405 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2711741 90405 3622 1 0 2673805 0
[pid=9740/tid=9793] ppid=9737 vsize=10846964 memory=8112282956445269571 CPUtime=6.25 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 23578 13346 0 0 608 9 5 3 20 0 15 0 407011816 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822829521656 139822467587776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10846964 memory=8612 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 86 13346 0 0 3 1 5 3 20 0 15 0 407011817 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10846964 memory=1192 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 473 13346 0 0 3 1 5 3 20 0 15 0 407011817 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10846964 memory=5536 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 109 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10846964 memory=4540 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 102 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10846964 memory=752 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 3151 13346 0 0 4 0 5 3 20 0 15 0 407011818 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10846964 memory=1636 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 38 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822316078752 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10846964 memory=812 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 90405 33554432000 4194304 4196468 140729347438816 139821720790400 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10846964 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10846964 memory=1384 CPUtime=3.9 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 7175 13346 0 0 380 2 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10846964 memory=7168 CPUtime=3.65 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) R 9737 9740 8623 0 -1 4202560 5605 13346 0 0 356 1 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822281450176 139822836135845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10846964 memory=323324 CPUtime=2.21 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) S 9737 9740 8623 0 -1 1077944384 8732 13346 0 0 210 3 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822280415344 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10846964 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10846964 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 9 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 90405 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 16.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 361620 KiB

[startup+6.80071 s]
/proc/loadavg: 1.75 1.51 1.38 5/228 9806
/proc/meminfo: memFree=23356168/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10846964 memory=374172 CPUtime=16.85 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 51328 13346 0 0 1655 22 5 3 20 0 15 0 407011807 11107291136 93543 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2711741 93543 3622 1 0 2673805 0
[pid=9740/tid=9793] ppid=9737 vsize=10846964 memory=0 CPUtime=6.64 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 23584 13346 0 0 647 9 5 3 20 0 15 0 407011816 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822829521896 139822460770916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10846964 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 86 13346 0 0 4 1 5 3 20 0 15 0 407011817 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10846964 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 479 13346 0 0 4 1 5 3 20 0 15 0 407011817 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10846964 memory=280786037184480 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 117 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10846964 memory=280786037188864 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 103 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10846964 memory=1228 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 3173 13346 0 0 4 0 5 3 20 0 15 0 407011818 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10846964 memory=2352 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 38 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822316078752 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10846964 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 93543 33554432000 4194304 4196468 140729347438816 139821720790400 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10846964 memory=8612 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10846964 memory=1192 CPUtime=4.01 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 7184 13346 0 0 391 2 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10846964 memory=5536 CPUtime=3.78 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) S 9737 9740 8623 0 -1 1077944384 5605 13346 0 0 369 1 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10846964 memory=4540 CPUtime=2.33 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) R 9737 9740 8623 0 -1 4202560 8732 13346 0 0 222 3 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822280415344 139822836625036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10846964 memory=752 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10846964 memory=1636 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 9 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 93543 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 16.85 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 374172 KiB

[startup+7.00078 s]*
/proc/loadavg: 1.75 1.51 1.38 3/228 9806
/proc/meminfo: memFree=23313480/32770624 swapFree=67108848/67108860
[pid=9740] ppid=9737 vsize=10846964 memory=378268 CPUtime=17.18 cores=0,2,4,6
/proc/9740/stat : 9740 (java) S 9737 9740 8623 0 -1 1077944320 51336 13346 0 0 1688 22 5 3 20 0 15 0 407011807 11107291136 94567 33554432000 4194304 4196468 140729347438816 140729347421360 139822857686775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
/proc/9740/statm: 2711741 94567 3622 1 0 2673805 0
[pid=9740/tid=9793] ppid=9737 vsize=10846964 memory=288363917221298210 CPUtime=6.86 cores=0,2,4,6
/proc/9740/task/9793/stat : 9793 (java) R 9737 9740 8623 0 -1 4202560 23585 13346 0 0 668 10 5 3 20 0 15 0 407011816 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822829519040 139822465561362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9794] ppid=9737 vsize=10846964 memory=309 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9794/stat : 9794 (java) S 9737 9740 8623 0 -1 1077944384 88 13346 0 0 4 1 5 3 20 0 15 0 407011817 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822861929104 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9795] ppid=9737 vsize=10846964 memory=140393121015313 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9795/stat : 9795 (java) S 9737 9740 8623 0 -1 1077944384 481 13346 0 0 4 1 5 3 20 0 15 0 407011817 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822795971088 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9796] ppid=9737 vsize=10846964 memory=6944657691966988345 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9796/stat : 9796 (java) S 9737 9740 8623 0 -1 1077944384 120 13346 0 0 4 1 5 3 20 0 15 0 407011817 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822429997456 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9797] ppid=9737 vsize=10846964 memory=3472285459251613807 CPUtime=0.12 cores=0,2,4,6
/proc/9740/task/9797/stat : 9797 (java) S 9737 9740 8623 0 -1 1077944384 103 13346 0 0 4 0 5 3 20 0 15 0 407011817 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822428944656 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9798] ppid=9737 vsize=10846964 memory=280786242013248 CPUtime=0.13 cores=0,2,4,6
/proc/9740/task/9798/stat : 9798 (java) S 9737 9740 8623 0 -1 1077944384 3173 13346 0 0 5 0 5 3 20 0 15 0 407011818 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822317132656 139822857697922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9799] ppid=9737 vsize=10846964 memory=7878495878512652339 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9799/stat : 9799 (java) S 9737 9740 8623 0 -1 1077944384 38 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822316078752 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9800] ppid=9737 vsize=10846964 memory=280786037449736 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9800/stat : 9800 (java) S 9737 9740 8623 0 -1 1077944384 2 13346 0 0 0 0 5 3 20 0 15 0 407011819 11107291136 94567 33554432000 4194304 4196468 140729347438816 139821720790400 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9801] ppid=9737 vsize=10846964 memory=44009657469674 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9801/stat : 9801 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139821413390672 139822857705371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9802] ppid=9737 vsize=10846964 memory=0 CPUtime=4.04 cores=0,2,4,6
/proc/9740/task/9802/stat : 9802 (java) S 9737 9740 8623 0 -1 1077944384 7184 13346 0 0 394 2 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822282520944 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9803] ppid=9737 vsize=10846964 memory=-1 CPUtime=3.81 cores=0,2,4,6
/proc/9740/task/9803/stat : 9803 (java) S 9737 9740 8623 0 -1 1077944384 5605 13346 0 0 372 1 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822281468144 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9804] ppid=9737 vsize=10846964 memory=140393121007237 CPUtime=2.4 cores=0,2,4,6
/proc/9740/task/9804/stat : 9804 (java) R 9737 9740 8623 0 -1 4202560 8732 13346 0 0 229 3 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822280415344 139822836176550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9805] ppid=9737 vsize=10846964 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9805/stat : 9805 (java) S 9737 9740 8623 0 -1 1077944384 3 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139821379832032 139822857696981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
[pid=9740/tid=9806] ppid=9737 vsize=10846964 memory=140393121007232 CPUtime=0.08 cores=0,2,4,6
/proc/9740/task/9806/stat : 9806 (java) S 9737 9740 8623 0 -1 1077944384 9 13346 0 0 0 0 5 3 20 0 15 0 407011822 11107291136 94567 33554432000 4194304 4196468 140729347438816 139822279363760 139822857697922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11595776 140729347443445 140729347445957 140729347445957 140729347448783 0
Current children cumulated CPU time: 17.18 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 378268 KiB

Child status: 0
Real time (s): 7.03869
CPU time (s): 17.238
CPU user time (s): 16.963
CPU system time (s): 0.275036
CPU usage (%): 244.904
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 378268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.963
system time used= 0.275036
maximum resident set size= 380440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9139
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 9740
#   total CPU time (s): 17.238
#   total CPU user time (s): 16.963
#   total CPU system time (s): 0.275036

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

The end

Launcher Data 

Begin job on node143 at 2019-09-12 19:51:43
IDJOB=4392104
IDBENCH=124145
IDSOLVER=2837
FILE ID=node143/4392104-1568310744
RUNJOBID= node143-1568309802-8654
PBS_JOBID= 21701123
Free space on /tmp= 58820 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-5.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392104-1568310744/watcher-4392104-1568310744 -o /tmp/evaluation-result-4392104-1568310744/solver-4392104-1568310744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8654 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1991631675 HOME/instance-4392104-1568310744.xml

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

MD5SUM BENCH= 8b37dab346b69351ace1d2e6f457fa9a
RANDOM SEED=1991631675

node143.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.73
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.73
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.73
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.73
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:        23673896 kB
MemAvailable:   31153660 kB
Buffers:          146912 kB
Cached:          7620984 kB
SwapCached:            8 kB
Active:          2802384 kB
Inactive:        5620312 kB
Active(anon):     609784 kB
Inactive(anon):   144520 kB
Active(file):    2192600 kB
Inactive(file):  5475792 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             35164 kB
Writeback:             0 kB
AnonPages:        761768 kB
Mapped:            60716 kB
Shmem:             90756 kB
Slab:             268408 kB
SReclaimable:     239832 kB
SUnreclaim:        28576 kB
KernelStack:        3888 kB
PageTables:         7584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1809708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    514048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58784 MiB
End job on node143 at 2019-09-12 19:51:51