Trace number 4395856

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 32.6838 13.7667

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-08.xml
MD5SUM487341030a1a30afb0858e27d438e3d6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.38733
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1401
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":1000},{"size":22,"count":200}]
Minimum variable degree2
Maximum variable degree60
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":36,"count":20}, {"degree":37,"count":20}, {"degree":38,"count":55}, {"degree":39,"count":14}, {"degree":40,"count":39}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":56}, {"degree":54,"count":2}, {"degree":55,"count":2}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":3}, {"degree":60,"count":87}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":2},{"arity":50,"count":2},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":4},{"arity":83,"count":2},{"arity":85,"count":2},{"arity":86,"count":2},{"arity":88,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1200},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.78/0.56	c Concrete v3.12.2.1568380929293 running
32.52/13.74	v <instantiation
32.52/13.74	v         >
32.52/13.74	v       <list>
32.52/13.74	v         cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]
32.52/13.74	v       </list>
32.52/13.74	v       <values>
32.52/13.74	v         11 14 3 5 5 6 7 11 15 16 5 15 19 2 15 16 4 11 2 18 5 15 2 17 7 4 16 15 5 15 11 20 2 21 4 2 4 2 21 20 15 2 2 4 21 16 2 2 4 5 16 2 21 20 2 15 2 18 5 15 2 19 7 4 16 15 2 5 5 6 5 5 7 11 6 5 5 7 5 9 2 11 5 7 10 11 11 10 5 5 7 11 3 5 5 8 11 3 5 10 7 3 5 5 6 7 5 9 2 15 20 4 1 2 16 4 5 1 4 11 15 16 0 21 16 0 5 16 0 21 2 20 15 2 4 21 16 15 2 4 5 2 15 2 16 21 4 16 15 2 5 13 5 5 12 5 3 2 5 5 12 2 2 5 5 12 11 2 10 5 7 11 5 16 2 12 2 16 4 2 4 14 2 15 2 4 16 5 2 7 5 5 6 5 7 5 3 5 5 7 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1
32.52/13.74	v       </values>
32.52/13.74	v     </instantiation>
32.52/13.74	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395856-1568402883/watcher-4395856-1568402883 -o /tmp/evaluation-result-4395856-1568402883/solver-4395856-1568402883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=442790184 HOME/instance-4395856-1568402883.xml 

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

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11719, runsolver pid=11716
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 1.42 1.31 1.48 3/218 11776
/proc/meminfo: memFree=29970672/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=9972712 memory=17228 CPUtime=0.1 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 4560 13295 0 0 1 1 5 3 20 0 6 0 416559718 10212057088 4307 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2493178 4307 1935 1 0 2481616 0
[pid=11719/tid=11772] ppid=11716 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 2365 13295 0 0 0 0 5 3 20 0 6 0 416559727 10212057088 4307 33554432000 4194304 4196468 140737147566112 139755123118672 139755144378747 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=9972712 memory=5793855285349591481 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 416559728 10212057088 4307 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=9972712 memory=140034339698304 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 416559728 10212057088 4307 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 416559728 10212057088 4307 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 6 0 416559728 10212057088 4307 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17228 KiB

[startup+0.210078 s]*
/proc/loadavg: 1.42 1.31 1.48 4/227 11785
/proc/meminfo: memFree=29950356/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10819664 memory=41128 CPUtime=0.27 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 7114 13295 0 0 17 2 5 3 20 0 15 0 416559718 11079335936 10282 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2704916 10282 3170 1 0 2667149 0
[pid=11719/tid=11772] ppid=11716 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 3591 13295 0 0 10 1 5 3 20 0 15 0 416559727 11079335936 10282 33554432000 4194304 4196468 140737147566112 139755123087552 139755132845486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10819664 memory=4211973760544488842 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079335936 10282 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10819664 memory=140034339698304 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079335936 10282 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10819664 memory=140034339698304 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 416559729 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 13 13295 0 0 0 0 5 3 20 0 15 0 416559730 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754075055520 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559730 11079335936 10282 33554432000 4194304 4196468 140737147566112 139753940837872 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) S 11716 11719 9235 0 -1 1077944384 497 13295 0 0 1 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754152638448 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 163 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10819664 memory=140034339698304 CPUtime=0.11 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 625 13295 0 0 3 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10819664 memory=140034339698304 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079335936 10282 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41128 KiB

[startup+0.311557 s]*
/proc/loadavg: 1.42 1.31 1.48 3/227 11785
/proc/meminfo: memFree=29937104/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10820148 memory=50036 CPUtime=0.4 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 10771 13295 0 0 29 3 5 3 20 0 15 0 416559718 11079831552 12509 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2705037 12509 3302 1 0 2667149 0
[pid=11719/tid=11772] ppid=11716 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 7221 13295 0 0 19 2 5 3 20 0 15 0 416559727 11079831552 12509 33554432000 4194304 4196468 140737147566112 139755123088016 139755134468714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079831552 12509 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079831552 12509 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 416559728 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10820148 memory=140034339698303 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 416559729 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 13 13295 0 0 0 0 5 3 20 0 15 0 416559730 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754075055520 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10820148 memory=140034339698304 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559730 11079831552 12509 33554432000 4194304 4196468 140737147566112 139753940837872 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) S 11716 11719 9235 0 -1 1077944384 498 13295 0 0 2 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754152638448 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 172 13295 0 0 1 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 642 13295 0 0 5 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559733 11079831552 12509 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50036 KiB

[startup+0.700695 s]
/proc/loadavg: 1.42 1.31 1.48 3/227 11785
/proc/meminfo: memFree=29922568/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10824360 memory=83632 CPUtime=1.11 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 15118 13295 0 0 98 5 5 3 20 0 15 0 416559718 11084144640 20908 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2706090 20908 3506 1 0 2668173 0
[pid=11719/tid=11772] ppid=11716 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 10461 13295 0 0 55 4 5 3 20 0 15 0 416559727 11084144640 20908 33554432000 4194304 4196468 140737147566112 139755123096528 139755132675645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11084144640 20908 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11084144640 20908 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10824360 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559728 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 416559728 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 5 13295 0 0 0 0 5 3 20 0 15 0 416559729 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 13 13295 0 0 0 0 5 3 20 0 15 0 416559730 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754075055520 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559730 11084144640 20908 33554432000 4194304 4196468 140737147566112 139753940837872 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10824360 memory=6655300316396806240 CPUtime=0.18 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) S 11716 11719 9235 0 -1 1077944384 959 13295 0 0 10 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754152638448 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 626 13295 0 0 14 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10824360 memory=14657 CPUtime=0.25 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 833 13295 0 0 17 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10824360 memory=280068374921456 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559733 11084144640 20908 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83632 KiB

[startup+1.5008 s]
/proc/loadavg: 1.47 1.32 1.49 5/227 11785
/proc/meminfo: memFree=29868308/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10832628 memory=233356 CPUtime=3.54 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 41991 13295 0 0 334 12 5 3 20 0 15 0 416559718 11092611072 58339 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2708157 58339 3581 1 0 2670221 0
[pid=11719/tid=11772] ppid=11716 vsize=10832628 memory=3620 CPUtime=1.43 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 17840 13295 0 0 128 7 5 3 20 0 15 0 416559727 11092611072 58339 33554432000 4194304 4196468 140737147566112 139755123097552 139755136976917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10832628 memory=289 CPUtime=0.1 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 83 13295 0 0 2 0 5 3 20 0 15 0 416559728 11092611072 58339 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10832628 memory=118 CPUtime=0.09 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 20 13295 0 0 1 0 5 3 20 0 15 0 416559728 11092611072 58339 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 14 13295 0 0 1 0 5 3 20 0 15 0 416559728 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10832628 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 347 13295 0 0 2 0 5 3 20 0 15 0 416559728 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 118 13295 0 0 1 0 5 3 20 0 15 0 416559729 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 13 13295 0 0 0 0 5 3 20 0 15 0 416559730 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754075055520 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559730 11092611072 58339 33554432000 4194304 4196468 140737147566112 139753940837872 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10832628 memory=280068374957856 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10832628 memory=7649399371447349553 CPUtime=0.86 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) R 11716 11719 9235 0 -1 4202560 9662 13295 0 0 77 1 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754152620608 139755151295760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10832628 memory=8 CPUtime=0.84 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 8616 13295 0 0 75 1 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10832628 memory=2209 CPUtime=0.51 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 3060 13295 0 0 43 0 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10832628 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10832628 memory=2958597 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 416559733 11092611072 58339 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 10832628 KiB

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

[startup+13.7666 s]
# the end of solver process 11719 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=31.9505 s, system=0.733293 s

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

[startup+12.8009 s]
/proc/loadavg: 1.56 1.34 1.49 3/227 11785
/proc/meminfo: memFree=29030780/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10849032 memory=968396 CPUtime=30.76 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 66837 13295 0 0 3004 64 5 3 20 0 15 0 416559718 11109408768 242099 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2712258 242099 3629 1 0 2674317 0
[pid=11719/tid=11772] ppid=11716 vsize=10849032 memory=23040 CPUtime=12.21 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 26770 13295 0 0 1196 17 5 3 20 0 15 0 416559727 11109408768 242099 33554432000 4194304 4196468 140737147566112 139755123116584 139754766919690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10849032 memory=984 CPUtime=0.53 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 482 13295 0 0 36 9 5 3 20 0 15 0 416559728 11109408768 242099 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10849032 memory=2032 CPUtime=0.52 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 577 13295 0 0 35 9 5 3 20 0 15 0 416559728 11109408768 242099 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10849032 memory=957740 CPUtime=0.55 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 857 13295 0 0 38 9 5 3 20 0 15 0 416559728 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10849032 memory=950692 CPUtime=0.55 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 734 13295 0 0 38 9 5 3 20 0 15 0 416559728 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10849032 memory=8 CPUtime=0.14 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2921 13295 0 0 6 0 5 3 20 0 15 0 416559729 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10849032 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 22 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754075055584 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10849032 memory=1332 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 8 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 242099 33554432000 4194304 4196468 140737147566112 139753940837888 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10849032 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10849032 memory=976 CPUtime=7.11 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) S 11716 11719 9235 0 -1 1077944384 12904 13295 0 0 701 2 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754152638448 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10849032 memory=772 CPUtime=7.21 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 11110 13295 0 0 710 3 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10849032 memory=3932 CPUtime=2.49 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 7895 13295 0 0 238 3 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10849032 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10849032 memory=1548 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 341 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 242099 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 30.76 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 968396 KiB

[startup+13.2007 s]
/proc/loadavg: 1.56 1.34 1.49 3/227 11785
/proc/meminfo: memFree=28968100/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10849032 memory=1073516 CPUtime=31.5 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 67431 13295 0 0 3076 66 5 3 20 0 15 0 416559718 11109408768 268379 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2712258 268379 3629 1 0 2674317 0
[pid=11719/tid=11772] ppid=11716 vsize=10849032 memory=3761543144533581313 CPUtime=12.6 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 27346 13295 0 0 1234 18 5 3 20 0 15 0 416559727 11109408768 268379 33554432000 4194304 4196468 140737147566112 139755123113616 139754774856506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10849032 memory=3690611454561607268 CPUtime=0.53 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 482 13295 0 0 36 9 5 3 20 0 15 0 416559728 11109408768 268379 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10849032 memory=7023313907155201019 CPUtime=0.52 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 577 13295 0 0 35 9 5 3 20 0 15 0 416559728 11109408768 268379 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10849032 memory=3834731027900981536 CPUtime=0.55 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 857 13295 0 0 38 9 5 3 20 0 15 0 416559728 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10849032 memory=3834731027901052288 CPUtime=0.55 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 734 13295 0 0 38 9 5 3 20 0 15 0 416559728 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10849032 memory=3834731027900981632 CPUtime=0.14 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2921 13295 0 0 6 0 5 3 20 0 15 0 416559729 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10849032 memory=140034187571761 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 22 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754075055584 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10849032 memory=140034187571671 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 8 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 268379 33554432000 4194304 4196468 140737147566112 139753940837888 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10849032 memory=140034187571865 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10849032 memory=280068375131968 CPUtime=7.25 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) S 11716 11719 9235 0 -1 1077944384 12904 13295 0 0 715 2 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754152638448 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10849032 memory=5792581728831300458 CPUtime=7.4 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) S 11716 11719 9235 0 -1 1077944384 11122 13295 0 0 729 3 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754151585904 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10849032 memory=288230574492221466 CPUtime=2.51 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 7901 13295 0 0 240 3 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10849032 memory=301741420686082359 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10849032 memory=14133350919046965 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 341 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 268379 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 31.5 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1073516 KiB

[startup+13.6007 s]
/proc/loadavg: 1.56 1.34 1.49 3/227 11785
/proc/meminfo: memFree=28968100/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10849032 memory=1172076 CPUtime=32.23 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 67531 13295 0 0 3147 68 5 3 20 0 15 0 416559718 11109408768 293019 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2712258 293019 3629 1 0 2674317 0
[pid=11719/tid=11772] ppid=11716 vsize=10849032 memory=1102188 CPUtime=12.98 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 27388 13295 0 0 1271 19 5 3 20 0 15 0 416559727 11109408768 293019 33554432000 4194304 4196468 140737147566112 139755123115792 139754774413052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10849032 memory=6791534058613427641 CPUtime=0.54 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 494 13295 0 0 37 9 5 3 20 0 15 0 416559728 11109408768 293019 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10849032 memory=23040 CPUtime=0.53 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 597 13295 0 0 36 9 5 3 20 0 15 0 416559728 11109408768 293019 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10849032 memory=984 CPUtime=0.56 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 869 13295 0 0 39 9 5 3 20 0 15 0 416559728 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10849032 memory=2032 CPUtime=0.56 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 740 13295 0 0 39 9 5 3 20 0 15 0 416559728 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10849032 memory=1332 CPUtime=0.14 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2928 13295 0 0 6 0 5 3 20 0 15 0 416559729 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10849032 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 22 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754075055584 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10849032 memory=976 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 8 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 293019 33554432000 4194304 4196468 140737147566112 139753940837888 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10849032 memory=772 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10849032 memory=3932 CPUtime=7.4 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) R 11716 11719 9235 0 -1 4202560 12904 13295 0 0 730 2 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754152625264 139755136211397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10849032 memory=2832 CPUtime=7.53 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) R 11716 11719 9235 0 -1 4202560 11123 13295 0 0 742 3 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754151585904 139755134778640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10849032 memory=1548 CPUtime=2.52 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) S 11716 11719 9235 0 -1 1077944384 7901 13295 0 0 241 3 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10849032 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10849032 memory=744 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 341 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293019 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 32.23 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1172076 KiB

[startup+13.7007 s]
/proc/loadavg: 1.56 1.34 1.49 3/227 11785
/proc/meminfo: memFree=28968100/32770624 swapFree=66934780/67108860
[pid=11719] ppid=11716 vsize=10849032 memory=1172236 CPUtime=32.52 cores=0,2,4,6
/proc/11719/stat : 11719 (java) S 11716 11719 9235 0 -1 1077944320 67563 13295 0 0 3176 68 5 3 20 0 15 0 416559718 11109408768 293059 33554432000 4194304 4196468 140737147566112 140737147548656 139755151281911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
/proc/11719/statm: 2712258 293059 3629 1 0 2674317 0
[pid=11719/tid=11772] ppid=11716 vsize=10849032 memory=1048924 CPUtime=13.08 cores=0,2,4,6
/proc/11719/task/11772/stat : 11772 (java) R 11716 11719 9235 0 -1 4202560 27396 13295 0 0 1281 19 5 3 20 0 15 0 416559727 11109408768 293059 33554432000 4194304 4196468 140737147566112 139755123112928 139755151293846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11773] ppid=11716 vsize=10849032 memory=1155448 CPUtime=0.54 cores=0,2,4,6
/proc/11719/task/11773/stat : 11773 (java) S 11716 11719 9235 0 -1 1077944384 494 13295 0 0 37 9 5 3 20 0 15 0 416559728 11109408768 293059 33554432000 4194304 4196468 140737147566112 139755155523856 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11774] ppid=11716 vsize=10849032 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/11719/task/11774/stat : 11774 (java) S 11716 11719 9235 0 -1 1077944384 597 13295 0 0 36 9 5 3 20 0 15 0 416559728 11109408768 293059 33554432000 4194304 4196468 140737147566112 139755083004304 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11775] ppid=11716 vsize=10849032 memory=56 CPUtime=0.56 cores=0,2,4,6
/proc/11719/task/11775/stat : 11775 (java) S 11716 11719 9235 0 -1 1077944384 869 13295 0 0 39 9 5 3 20 0 15 0 416559728 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754723715600 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11776] ppid=11716 vsize=10849032 memory=2609 CPUtime=0.56 cores=0,2,4,6
/proc/11719/task/11776/stat : 11776 (java) S 11716 11719 9235 0 -1 1077944384 740 13295 0 0 39 9 5 3 20 0 15 0 416559728 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754722663056 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11777] ppid=11716 vsize=10849032 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/11719/task/11777/stat : 11777 (java) S 11716 11719 9235 0 -1 1077944384 2928 13295 0 0 6 0 5 3 20 0 15 0 416559729 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754153691632 139755151293058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11778] ppid=11716 vsize=10849032 memory=288370617320056680 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11778/stat : 11778 (java) S 11716 11719 9235 0 -1 1077944384 22 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754075055584 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11779] ppid=11716 vsize=10849032 memory=958004 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11779/stat : 11779 (java) S 11716 11719 9235 0 -1 1077944384 8 13295 0 0 0 0 5 3 20 0 15 0 416559730 11109408768 293059 33554432000 4194304 4196468 140737147566112 139753940837888 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11780] ppid=11716 vsize=10849032 memory=957920 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11780/stat : 11780 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139753700547280 139755151300507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11781] ppid=11716 vsize=10849032 memory=280068375280320 CPUtime=7.5 cores=0,2,4,6
/proc/11719/task/11781/stat : 11781 (java) R 11716 11719 9235 0 -1 4202560 12926 13295 0 0 740 2 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754152624528 139755130521884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11782] ppid=11716 vsize=10849032 memory=6080543828809836855 CPUtime=7.6 cores=0,2,4,6
/proc/11719/task/11782/stat : 11782 (java) R 11716 11719 9235 0 -1 4202560 11123 13295 0 0 749 3 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754151577408 139755130520384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11783] ppid=11716 vsize=10849032 memory=6791534058613427641 CPUtime=2.53 cores=0,2,4,6
/proc/11719/task/11783/stat : 11783 (java) R 11716 11719 9235 0 -1 1077944384 7903 13295 0 0 242 3 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754150533360 139755151293058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11784] ppid=11716 vsize=10849032 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11784/stat : 11784 (java) S 11716 11719 9235 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139753666988640 139755151292117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
[pid=11719/tid=11785] ppid=11716 vsize=10849032 memory=957584 CPUtime=0.08 cores=0,2,4,6
/proc/11719/task/11785/stat : 11785 (java) S 11716 11719 9235 0 -1 1077944384 341 13295 0 0 0 0 5 3 20 0 15 0 416559733 11109408768 293059 33554432000 4194304 4196468 140737147566112 139754149481264 139755151293058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140737147570928 140737147573445 140737147573445 140737147576271 0
Current children cumulated CPU time: 32.52 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1172236 KiB

Child status: 0
Real time (s): 13.7667
CPU time (s): 32.6838
CPU user time (s): 31.9505
CPU system time (s): 0.733293
CPU usage (%): 237.413
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 1172236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9505
system time used= 0.733293
maximum resident set size= 1174484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9610
involuntary context switches= 157


# summary of solver processes directly reported to runsolver:
#   pid: 11719
#   total CPU time (s): 32.6838
#   total CPU user time (s): 31.9505
#   total CPU system time (s): 0.733293

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

The end

Launcher Data 

Begin job on node151 at 2019-09-13 21:27:23
IDJOB=4395856
IDBENCH=128079
IDSOLVER=2846
FILE ID=node151/4395856-1568402883
RUNJOBID= node151-1568393581-9266
PBS_JOBID= 21701866
Free space on /tmp= 59276 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-08.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395856-1568402883/watcher-4395856-1568402883 -o /tmp/evaluation-result-4395856-1568402883/solver-4395856-1568402883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=442790184 HOME/instance-4395856-1568402883.xml

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

MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6
RANDOM SEED=442790184

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29975280 kB
MemAvailable:   30801872 kB
Buffers:          169256 kB
Cached:           950080 kB
SwapCached:        71436 kB
Active:          1682780 kB
Inactive:         562004 kB
Active(anon):    1060564 kB
Inactive(anon):    97944 kB
Active(file):     622216 kB
Inactive(file):   464060 kB
Unevictable:      109748 kB
Mlocked:          109748 kB
SwapTotal:      67108860 kB
SwapFree:       66934780 kB
Dirty:             35440 kB
Writeback:             0 kB
AnonPages:       1193792 kB
Mapped:            50264 kB
Shmem:             24020 kB
Slab:             140868 kB
SReclaimable:     112300 kB
SUnreclaim:        28568 kB
KernelStack:        3984 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2266180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59240 MiB
End job on node151 at 2019-09-13 21:27:37