Trace number 4387235

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.10SAT 27.4769 11.1762

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-03.xml
MD5SUM20e15596ff36696b27df04e6639fd466
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 benchmark14.7818
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1369
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree53
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":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}]
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":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"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":1168},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.71/0.60	c Concrete v3.10.1560635388952 running
27.32/11.14	v <instantiation
27.32/11.14	v         >
27.32/11.14	v       <list>
27.32/11.14	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]
27.32/11.14	v       </list>
27.32/11.14	v       <values>
27.32/11.14	v         8 11 10 2 11 11 9 5 11 2 11 9 2 11 9 8 11 11 9 8 11 2 11 13 11 2 16 11 14 2 2 17 14 15 2 17 2 9 11 18 9 11 2 17 2 9 16 11 2 13 2 11 9 2 16 9 2 11 13 2 11 11 2 9 11 11 2 11 9 11 11 2 6 9 11 11 9 6 2 23 9 23 2 1 2 14 23 2 1 20 11 17 2 23 22 17 11 2 23 2 3 11 17 2 0 11 17 19 2 9 2 23 16 9 2 2 23 16 23 20 2 11 16 17 20 17 2 7 17 11 14 17 21 9 2 17 9 11 2 9 2 11 9 2 11 9 2 11 9 2 11 11 12 15 2 9 11 2 13 11 11 2 11 4 9 11 11 2 11 9 6 11 2 9 11 11 9 2 2 11 9 11 11 9 11 11 2 9 11 6 9 11 11 2 6 9 11 11 8 6 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 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 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 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 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0
27.32/11.14	v       </values>
27.32/11.14	v     </instantiation>
27.32/11.14	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: 16375 MiB (8802 MiB free)
  memory of node 1: 16384 MiB (13560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387235-1568296465/watcher-4387235-1568296465 -o /tmp/evaluation-result-4387235-1568296465/solver-4387235-1568296465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=879863878 HOME/instance-4387235-1568296465.xml 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2315, runsolver pid=2311

[startup+0.10009 s]*
/proc/loadavg: 1.34 1.41 1.62 2/215 2368
/proc/meminfo: memFree=22896136/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=9972712 memory=16288 CPUtime=0.09 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 4301 13138 0 0 0 1 5 3 20 0 6 0 405588160 10212057088 4072 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2493178 4072 1920 1 0 2481616 0
[pid=2315/tid=2368] ppid=2311 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 2156 13138 0 0 0 0 5 3 20 0 6 0 405588169 10212057088 4138 33554432000 4194304 4196468 140736546392448 139849304564304 139849332749469 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 405588170 10212057088 4138 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=9972712 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 405588170 10212057088 4138 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 405588170 10212057088 4138 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 405588170 10212057088 4138 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16288 KiB

[startup+0.211435 s]*
/proc/loadavg: 1.34 1.41 1.62 3/228 2381
/proc/meminfo: memFree=22876060/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10818900 memory=38384 CPUtime=0.26 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 6878 13138 0 0 16 2 5 3 20 0 15 0 405588160 11078553600 9596 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2704725 9596 2977 1 0 2667149 0
[pid=2315/tid=2368] ppid=2311 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 3409 13138 0 0 10 1 5 3 20 0 15 0 405588169 11078553600 9596 33554432000 4194304 4196468 140736546392448 139849304515328 139849316771173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078553600 9596 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10818900 memory=140274486288345 CPUtime=0.08 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10818900 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848228791200 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848094573552 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11078553600 9596 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) S 2311 2315 31157 0 -1 1077944384 474 13138 0 0 1 0 5 3 20 0 15 0 405588175 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848791075312 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10818900 memory=-1 CPUtime=0.09 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) S 2311 2315 31157 0 -1 1077944384 141 13138 0 0 1 0 5 3 20 0 15 0 405588175 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848790022768 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10818900 memory=140274486261376 CPUtime=0.11 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) R 2311 2315 31157 0 -1 4202560 627 13138 0 0 3 0 5 3 20 0 15 0 405588175 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848788970224 139849332748890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11078553600 9596 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10818900 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588176 11078553600 9596 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 38384 KiB

[startup+0.311642 s]*
/proc/loadavg: 1.34 1.41 1.62 3/228 2381
/proc/meminfo: memFree=22863016/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10819084 memory=47196 CPUtime=0.4 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 10482 13138 0 0 28 4 5 3 20 0 15 0 405588160 11078742016 11799 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2704771 11799 3034 1 0 2667149 0
[pid=2315/tid=2368] ppid=2311 vsize=10819084 memory=-8171376296011865461 CPUtime=0.29 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 6997 13138 0 0 18 3 5 3 20 0 15 0 405588169 11078742016 11799 33554432000 4194304 4196468 140736546392448 139849304555216 139849316771173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10819084 memory=4122819175002409273 CPUtime=0.08 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078742016 11799 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10819084 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848228791200 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588172 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848094573552 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11078742016 11799 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) S 2311 2315 31157 0 -1 1077944384 474 13138 0 0 1 0 5 3 20 0 15 0 405588175 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848791075312 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10819084 memory=-1 CPUtime=0.09 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) S 2311 2315 31157 0 -1 1077944384 142 13138 0 0 1 0 5 3 20 0 15 0 405588175 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848790022768 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10819084 memory=140274486261376 CPUtime=0.13 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) S 2311 2315 31157 0 -1 1077944384 638 13138 0 0 5 0 5 3 20 0 15 0 405588175 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11078742016 11799 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10819084 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588176 11078742016 11799 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 47196 KiB

[startup+0.701773 s]
/proc/loadavg: 1.34 1.41 1.62 3/228 2381
/proc/meminfo: memFree=22851960/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10822292 memory=76808 CPUtime=1.12 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 14490 13138 0 0 99 5 5 3 20 0 15 0 405588160 11082027008 19202 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2705573 19202 3488 1 0 2667661 0
[pid=2315/tid=2368] ppid=2311 vsize=10822292 memory=0 CPUtime=0.67 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 10228 13138 0 0 55 4 5 3 20 0 15 0 405588169 11082027008 19202 33554432000 4194304 4196468 140736546392448 139849304555904 139849316808030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11082027008 19202 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588170 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10822292 memory=764 CPUtime=0.08 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588170 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10822292 memory=6296683634129981794 CPUtime=0.08 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 405588172 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10822292 memory=7380106142448642413 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848228791200 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10822292 memory=7019257425709197167 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588172 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848094573552 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10822292 memory=4570481358258665002 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11082027008 19202 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10822292 memory=0 CPUtime=0.22 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) R 2311 2315 31157 0 -1 4202560 817 13138 0 0 14 0 5 3 20 0 15 0 405588175 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848791065024 139849314271761 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10822292 memory=0 CPUtime=0.19 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) R 2311 2315 31157 0 -1 4202560 394 13138 0 0 11 0 5 3 20 0 15 0 405588175 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848790008648 139849314271631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10822292 memory=0 CPUtime=0.25 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) S 2311 2315 31157 0 -1 1077944384 810 13138 0 0 17 0 5 3 20 0 15 0 405588175 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10822292 memory=3612 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11082027008 19202 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10822292 memory=2241 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588176 11082027008 19202 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 76808 KiB

[startup+1.50577 s]
/proc/loadavg: 1.34 1.41 1.62 6/228 2381
/proc/meminfo: memFree=22806652/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10832608 memory=204248 CPUtime=3.3 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 31462 13138 0 0 310 12 5 3 20 0 15 0 405588160 11092590592 51062 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2708152 51062 3573 1 0 2670221 0
[pid=2315/tid=2368] ppid=2311 vsize=10832608 memory=0 CPUtime=1.42 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 15869 13138 0 0 127 7 5 3 20 0 15 0 405588169 11092590592 51062 33554432000 4194304 4196468 140736546392448 139849304560728 139849314133832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10832608 memory=288230596050944315 CPUtime=0.09 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 22 13138 0 0 1 0 5 3 20 0 15 0 405588170 11092590592 51062 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10832608 memory=76808 CPUtime=0.09 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 234 13138 0 0 1 0 5 3 20 0 15 0 405588170 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 50 13138 0 0 1 0 5 3 20 0 15 0 405588170 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 39 13138 0 0 1 0 5 3 20 0 15 0 405588170 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 90 13138 0 0 1 0 5 3 20 0 15 0 405588172 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10832608 memory=55 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 14 13138 0 0 0 0 5 3 20 0 15 0 405588172 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848228791264 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10832608 memory=6944656592452807316 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 405588172 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848094573568 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10832608 memory=6944656592455360608 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11092590592 51062 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10832608 memory=6944656592455360608 CPUtime=0.66 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) S 2311 2315 31157 0 -1 1077944384 3181 13138 0 0 57 1 5 3 20 0 15 0 405588175 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848791075312 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10832608 memory=-7522837583129502606 CPUtime=0.77 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) S 2311 2315 31157 0 -1 1077944384 6700 13138 0 0 68 1 5 3 20 0 15 0 405588175 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848790022768 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10832608 memory=-7384994778349281184 CPUtime=0.55 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) S 2311 2315 31157 0 -1 1077944384 3045 13138 0 0 47 0 5 3 20 0 15 0 405588175 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10832608 memory=6944656592452807316 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11092590592 51062 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10832608 memory=6944613755445342871 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 405588176 11092590592 51062 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 10832608 KiB

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

[pid=2315/tid=2380] ppid=2311 vsize=10844916 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11105193984 220098 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10844916 memory=307760 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 193 13138 0 0 0 0 5 3 20 0 15 0 405588176 11105193984 220098 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 22.64 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 880392 KiB

[startup+10.4007 s]
/proc/loadavg: 1.36 1.41 1.61 5/228 2381
/proc/meminfo: memFree=22011564/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10846964 memory=903364 CPUtime=25.11 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 59390 13138 0 0 2443 60 5 3 20 0 15 0 405588160 11107291136 225841 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2711741 225841 3617 1 0 2673805 0
[pid=2315/tid=2368] ppid=2311 vsize=10846964 memory=855028 CPUtime=9.77 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 24766 13138 0 0 954 15 5 3 20 0 15 0 405588169 11107291136 225841 33554432000 4194304 4196468 140736546392448 139849304559616 139848931067179 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10846964 memory=55 CPUtime=0.56 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 695 13138 0 0 39 9 5 3 20 0 15 0 405588170 11107291136 225841 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10846964 memory=1596 CPUtime=0.56 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 599 13138 0 0 39 9 5 3 20 0 15 0 405588170 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10846964 memory=8112282956445269571 CPUtime=0.55 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 566 13138 0 0 38 9 5 3 20 0 15 0 405588170 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10846964 memory=1708 CPUtime=0.54 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 345 13138 0 0 37 9 5 3 20 0 15 0 405588170 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10846964 memory=1224 CPUtime=0.14 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 4072 13138 0 0 6 0 5 3 20 0 15 0 405588172 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10846964 memory=5912 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 22 13138 0 0 0 0 5 3 20 0 15 0 405588172 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848228791264 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10846964 memory=780 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848094573568 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10846964 memory=3380 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11107291136 225841 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10846964 memory=1088 CPUtime=5.66 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) R 2311 2315 31157 0 -1 4202560 8089 13138 0 0 556 2 5 3 20 0 15 0 405588175 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848791065424 139849314248739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10846964 memory=2832 CPUtime=5.65 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) R 2311 2315 31157 0 -1 4202560 10116 13138 0 0 555 2 5 3 20 0 15 0 405588175 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848790012384 139849317114640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10846964 memory=1564 CPUtime=2.23 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) S 2311 2315 31157 0 -1 1077944384 7699 13138 0 0 212 3 5 3 20 0 15 0 405588175 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10846964 memory=8560 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11107291136 225841 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10846964 memory=14008 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 193 13138 0 0 0 0 5 3 20 0 15 0 405588176 11107291136 225841 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 903364 KiB

[startup+10.8092 s]
/proc/loadavg: 1.36 1.41 1.61 5/228 2381
/proc/meminfo: memFree=22011564/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10849012 memory=907052 CPUtime=26.3 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 60447 13138 0 0 2561 61 5 3 20 0 15 0 405588160 11109388288 226763 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2712253 226763 3624 1 0 2674317 0
[pid=2315/tid=2368] ppid=2311 vsize=10849012 memory=288230596050944315 CPUtime=10.17 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 25474 13138 0 0 994 15 5 3 20 0 15 0 405588169 11109388288 226763 33554432000 4194304 4196468 140736546392448 139849304562048 139849332739478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10849012 memory=14694101849212740 CPUtime=0.56 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 695 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226763 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10849012 memory=35868 CPUtime=0.56 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 599 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10849012 memory=984 CPUtime=0.55 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 566 13138 0 0 38 9 5 3 20 0 15 0 405588170 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10849012 memory=6360846566568 CPUtime=0.54 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 345 13138 0 0 37 9 5 3 20 0 15 0 405588170 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10849012 memory=288230596050944315 CPUtime=0.14 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 4072 13138 0 0 6 0 5 3 20 0 15 0 405588172 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10849012 memory=14694101849212740 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 22 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848228791264 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10849012 memory=280548740332104 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848094573568 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10849012 memory=3461502334808090319 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11109388288 226763 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10849012 memory=280548740332392 CPUtime=5.96 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) R 2311 2315 31157 0 -1 4202560 8133 13138 0 0 586 2 5 3 20 0 15 0 405588175 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848791063264 139849314272152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10849012 memory=280548740332488 CPUtime=5.93 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) R 2311 2315 31157 0 -1 4202560 10181 13138 0 0 583 2 5 3 20 0 15 0 405588175 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848790012560 139849317831910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10849012 memory=280548740169968 CPUtime=2.44 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) R 2311 2315 31157 0 -1 1077944384 7939 13138 0 0 233 3 5 3 20 0 15 0 405588175 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10849012 memory=280548740169968 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226763 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10849012 memory=280548740839696 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 193 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226763 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 26.3 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 907052 KiB

[startup+11.0011 s]*
/proc/loadavg: 1.36 1.41 1.61 5/228 2381
/proc/meminfo: memFree=22005488/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10849012 memory=907460 CPUtime=26.98 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 60610 13138 0 0 2629 61 5 3 20 0 15 0 405588160 11109388288 226865 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2712253 226865 3625 1 0 2674317 0
[pid=2315/tid=2368] ppid=2311 vsize=10849012 memory=8389772277269004345 CPUtime=10.38 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 25522 13138 0 0 1015 15 5 3 20 0 15 0 405588169 11109388288 226865 33554432000 4194304 4196468 140736546392448 139849304560896 139848916803477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10849012 memory=4294967661 CPUtime=0.56 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 695 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226865 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10849012 memory=140274486288345 CPUtime=0.56 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 599 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10849012 memory=0 CPUtime=0.55 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 566 13138 0 0 38 9 5 3 20 0 15 0 405588170 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10849012 memory=-1 CPUtime=0.54 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 345 13138 0 0 37 9 5 3 20 0 15 0 405588170 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10849012 memory=140274486261376 CPUtime=0.14 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 4072 13138 0 0 6 0 5 3 20 0 15 0 405588172 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10849012 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 22 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848228791264 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10849012 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848094573568 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10849012 memory=0 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11109388288 226865 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10849012 memory=0 CPUtime=6.16 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) R 2311 2315 31157 0 -1 4202560 8161 13138 0 0 606 2 5 3 20 0 15 0 405588175 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848791074240 139849316228055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10849012 memory=-1 CPUtime=6.13 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) R 2311 2315 31157 0 -1 4202560 10205 13138 0 0 603 2 5 3 20 0 15 0 405588175 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848790013744 139849317844608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10849012 memory=140274486261376 CPUtime=2.52 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) R 2311 2315 31157 0 -1 1077944384 8002 13138 0 0 241 3 5 3 20 0 15 0 405588175 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10849012 memory=-1 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226865 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10849012 memory=140274486261376 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 193 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226865 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 907460 KiB

[startup+11.1116 s]
/proc/loadavg: 1.36 1.41 1.61 5/228 2381
/proc/meminfo: memFree=22005488/32770688 swapFree=66960420/67108860
[pid=2315] ppid=2311 vsize=10849012 memory=907696 CPUtime=27.32 cores=4-7
/proc/2315/stat : 2315 (java) S 2311 2315 31157 0 -1 1077944320 60630 13138 0 0 2663 61 5 3 20 0 15 0 405588160 11109388288 226924 33554432000 4194304 4196468 140736546392448 140736546374992 139849332727543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
/proc/2315/statm: 2712253 226924 3625 1 0 2674317 0
[pid=2315/tid=2368] ppid=2311 vsize=10849012 memory=16996 CPUtime=10.47 cores=4-7
/proc/2315/task/2368/stat : 2368 (java) R 2311 2315 31157 0 -1 4202560 25534 13138 0 0 1024 15 5 3 20 0 15 0 405588169 11109388288 226924 33554432000 4194304 4196468 140736546392448 139849304553040 139849318093932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2369] ppid=2311 vsize=10849012 memory=389020 CPUtime=0.56 cores=4-7
/proc/2315/task/2369/stat : 2369 (java) S 2311 2315 31157 0 -1 1077944384 695 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226924 33554432000 4194304 4196468 140736546392448 139849336970000 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2370] ppid=2311 vsize=10849012 memory=9316 CPUtime=0.56 cores=4-7
/proc/2315/task/2370/stat : 2370 (java) S 2311 2315 31157 0 -1 1077944384 599 13138 0 0 39 9 5 3 20 0 15 0 405588170 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848906042256 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2371] ppid=2311 vsize=10849012 memory=854768 CPUtime=0.55 cores=4-7
/proc/2315/task/2371/stat : 2371 (java) S 2311 2315 31157 0 -1 1077944384 566 13138 0 0 38 9 5 3 20 0 15 0 405588170 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848904989712 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2372] ppid=2311 vsize=10849012 memory=374 CPUtime=0.54 cores=4-7
/proc/2315/task/2372/stat : 2372 (java) S 2311 2315 31157 0 -1 1077944384 345 13138 0 0 37 9 5 3 20 0 15 0 405588170 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848903937168 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2373] ppid=2311 vsize=10849012 memory=33 CPUtime=0.14 cores=4-7
/proc/2315/task/2373/stat : 2373 (java) S 2311 2315 31157 0 -1 1077944384 4072 13138 0 0 6 0 5 3 20 0 15 0 405588172 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848792127472 139849332738690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2374] ppid=2311 vsize=10849012 memory=301741394933055803 CPUtime=0.08 cores=4-7
/proc/2315/task/2374/stat : 2374 (java) S 2311 2315 31157 0 -1 1077944384 22 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848228791264 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2375] ppid=2311 vsize=10849012 memory=905832 CPUtime=0.08 cores=4-7
/proc/2315/task/2375/stat : 2375 (java) S 2311 2315 31157 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 405588172 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848094573568 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2376] ppid=2311 vsize=10849012 memory=904580 CPUtime=0.08 cores=4-7
/proc/2315/task/2376/stat : 2376 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588175 11109388288 226924 33554432000 4194304 4196468 140736546392448 139847854282960 139849332746139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2377] ppid=2311 vsize=10849012 memory=3612 CPUtime=6.25 cores=4-7
/proc/2315/task/2377/stat : 2377 (java) R 2311 2315 31157 0 -1 4202560 8162 13138 0 0 615 2 5 3 20 0 15 0 405588175 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848791056720 139849316638464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2378] ppid=2311 vsize=10849012 memory=423992 CPUtime=6.23 cores=4-7
/proc/2315/task/2378/stat : 2378 (java) R 2311 2315 31157 0 -1 4202560 10205 13138 0 0 613 2 5 3 20 0 15 0 405588175 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848790011264 139849314254690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2379] ppid=2311 vsize=10849012 memory=0 CPUtime=2.56 cores=4-7
/proc/2315/task/2379/stat : 2379 (java) S 2311 2315 31157 0 -1 1077944384 8009 13138 0 0 245 3 5 3 20 0 15 0 405588175 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848788970224 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2380] ppid=2311 vsize=10849012 memory=907460 CPUtime=0.08 cores=4-7
/proc/2315/task/2380/stat : 2380 (java) S 2311 2315 31157 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226924 33554432000 4194304 4196468 140736546392448 139847820725344 139849332737749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
[pid=2315/tid=2381] ppid=2311 vsize=10849012 memory=55 CPUtime=0.08 cores=4-7
/proc/2315/task/2381/stat : 2381 (java) S 2311 2315 31157 0 -1 1077944384 193 13138 0 0 0 0 5 3 20 0 15 0 405588176 11109388288 226924 33554432000 4194304 4196468 140736546392448 139848787917104 139849332738690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26394624 140736546401014 140736546403525 140736546403525 140736546406351 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 907696 KiB

Child status: 0
Real time (s): 11.1762
CPU time (s): 27.4769
CPU user time (s): 26.812
CPU system time (s): 0.664905
CPU usage (%): 245.852
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 907696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.812
system time used= 0.664905
maximum resident set size= 909888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8352
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 2315
#   total CPU time (s): 27.4769
#   total CPU user time (s): 26.812
#   total CPU system time (s): 0.664905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096932 second user time and 0.172325 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-12 15:53:44
IDJOB=4387235
IDBENCH=128111
IDSOLVER=2823
FILE ID=node116/4387235-1568296465
RUNJOBID= node116-1568285921-31917
PBS_JOBID= 21701086
Free space on /tmp= 54296 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387235-1568296465/watcher-4387235-1568296465 -o /tmp/evaluation-result-4387235-1568296465/solver-4387235-1568296465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=879863878 HOME/instance-4387235-1568296465.xml

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

MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466
RANDOM SEED=879863878

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        22900612 kB
MemAvailable:   30436980 kB
Buffers:          102116 kB
Cached:          7646728 kB
SwapCached:        46364 kB
Active:          2809636 kB
Inactive:        6366064 kB
Active(anon):    1390756 kB
Inactive(anon):    76696 kB
Active(file):    1418880 kB
Inactive(file):  6289368 kB
Unevictable:      110104 kB
Mlocked:          110104 kB
SwapTotal:      67108860 kB
SwapFree:       66960420 kB
Dirty:             35008 kB
Writeback:             0 kB
AnonPages:       1492032 kB
Mapped:            55108 kB
Shmem:             31804 kB
Slab:             285052 kB
SReclaimable:     256580 kB
SUnreclaim:        28472 kB
KernelStack:        3712 kB
PageTables:         8432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    2610424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1361920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 54260 MiB
End job on node116 at 2019-09-12 15:53:55