Trace number 4295068

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.8 2018-06-13SAT 370.009 264.693

General information on the benchmark

NameCarSequencing/
CarSequencing-60-02_c18.xml
MD5SUM7d15061b3f8ae249c0a64b716749507b
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 benchmark0.227795
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1354
Number of domains2
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":1000},{"size":17,"count":200}]
Minimum variable degree2
Maximum variable degree54
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":19},{"degree":22,"count":179},{"degree":23,"count":16},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":16},"...",{"degree":30,"count":16}, {"degree":31,"count":16}, {"degree":32,"count":17}, {"degree":33,"count":18}, {"degree":34,"count":18}, {"degree":35,"count":122}, {"degree":36,"count":59}, {"degree":37,"count":8}, {"degree":38,"count":9}, {"degree":39,"count":9}, {"degree":40,"count":9}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":4}, {"degree":53,"count":4}, {"degree":54,"count":51}]
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":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},{"arity":83,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1153},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.99/0.85	c Concrete v3.8.1528841891564 running
369.76/264.65	v <instantiation>
369.76/264.65	v       <list>
369.76/264.65	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]
369.76/264.65	v       </list>
369.76/264.65	v       <values>
369.76/264.65	v         2 13 0 4 2 8 7 2 4 0 8 2 7 1 8 8 7 13 4 8 13 7 8 16 4 7 8 8 16 4 7 8 8 7 4 13 7 8 8 7 13 4 8 7 8 13 4 13 7 8 8 7 4 13 8 7 8 4 16 7 13 5 7 1 8 3 8 13 4 16 7 8 8 4 13 7 8 8 13 7 4 8 13 8 14 4 8 7 8 13 15 7 8 8 7 13 4 8 7 8 13 4 13 7 8 8 13 7 4 8 8 7 13 13 4 13 7 8 8 7 4 13 8 7 8 4 7 13 8 7 4 8 7 8 13 4 7 8 8 7 4 13 7 8 8 13 4 7 8 8 7 13 4 13 8 7 8 4 7 8 13 13 4 13 8 13 7 13 4 13 13 10 13 13 4 13 13 10 13 4 13 13 11 13 13 6 13 13 11 13 13 12 13 13 11 13 13 8 9 13 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 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 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 1 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 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0
369.76/264.65	v       </values>
369.76/264.65	v     </instantiation>
369.76/264.65	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (6699 MiB free)
  memory of node 1: 16384 MiB (5052 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295068-1532528790/watcher-4295068-1532528790 -o /tmp/evaluation-result-4295068-1532528790/solver-4295068-1532528790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1303332330 HOME/instance-4295068-1532528790.xml 

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

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

solver pid=24950, runsolver pid=24947

[startup+0.100107 s]*
/proc/loadavg: 1.45 1.42 1.50 2/216 24993
/proc/meminfo: memFree=12006952/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=113256 memory=1604 CPUtime=0.01 cores=0,2,4,6
/proc/24950/stat : 24950 (bash) S 24947 24950 23703 0 -1 4202496 883 5671 0 0 0 0 0 1 20 0 1 0 70442155 115974144 401 33554432000 4194304 5098028 140728430754704 140728430748712 139757027748864 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 21946368 140728430761131 140728430761256 140728430761256 140728430764014 0
/proc/24950/statm: 28314 401 318 221 0 119 0
[pid=24977] ppid=24950 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/24977/stat : 24977 (bash) S 24950 24950 23703 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 70442157 115974144 178 33554432000 4194304 5098028 140728430754704 140728430747384 139757027574396 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21946368 140728430761131 140728430761256 140728430761256 140728430764014 0
/proc/24977/statm: 28314 178 95 221 0 119 0
[pid=24978] ppid=24977 vsize=10659708 memory=23748 CPUtime=0.06 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24977 24950 23703 0 -1 1077944320 4776 0 0 0 5 1 0 0 20 0 13 0 70442157 10915540992 5937 33554432000 4194304 4196468 140732856023648 140732856006192 139698539478775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
/proc/24978/statm: 2664927 5937 2626 1 0 2627468 0
[pid=24978/tid=24980] ppid=24977 vsize=10659708 memory=7822038051842263957 CPUtime=0.04 cores=0,2,4,6
/proc/24978/task/24980/stat : 24980 (java) D 24977 24950 23703 0 -1 4202560 2888 0 0 0 4 0 0 0 20 0 13 0 70442158 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698543721784 139698532164407 0 0 0 16800975 18446744072099916933 0 0 -1 0 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24981] ppid=24977 vsize=10659708 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24977 24950 23703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70442159 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698146511760 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24982] ppid=24977 vsize=10659708 memory=140515541571200 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24977 24950 23703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 70442159 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698145458960 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24983] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24977 24950 23703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70442159 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698144406672 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24984] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24977 24950 23703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70442159 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698143353872 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24986] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24977 24950 23703 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 70442161 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698030461728 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24987] ppid=24977 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24977 24950 23703 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 70442161 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698029409392 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24988] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24977 24950 23703 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 13 0 70442163 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698028357360 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24989] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24977 24950 23703 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 13 0 70442163 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698027305584 139698539489922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24990] ppid=24977 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24977 24950 23703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 70442163 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698026252784 139698539489922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24991] ppid=24977 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24977 24950 23703 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 13 0 70442163 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698025200496 139698539489922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24978/tid=24992] ppid=24977 vsize=10659708 memory=140515541571200 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24977 24950 23703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 70442163 10915540992 5937 33554432000 4194304 4196468 140732856023648 139698024147936 139698539488981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29130752 140732856030499 140732856030513 140732856030513 140732856033231 0
[pid=24979] ppid=24977 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/24979/stat : 24979 (awk) S 24977 24950 23703 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 70442157 116215808 308 33554432000 4194304 4609284 140727561343824 140727561343000 140447870069760 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 17563648 140727561352531 140727561352561 140727561352561 140727561355247 0
/proc/24979/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 27296 KiB

[startup+0.282269 s]*
/proc/loadavg: 1.45 1.42 1.50 4/215 25016
/proc/meminfo: memFree=12005568/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10818904 memory=34756 CPUtime=0.22 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 6423 13132 0 0 13 2 5 2 20 0 15 0 70442155 11078557696 8689 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2704726 8689 2970 1 0 2667149 0
[pid=24950/tid=25003] ppid=24947 vsize=10818904 memory=-8540663193526752614 CPUtime=0.15 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 2972 13132 0 0 7 1 5 2 20 0 15 0 70442174 11078557696 8689 33554432000 4194304 4196468 140734929546720 140444445858848 140444458138695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10818904 memory=4211974241746361738 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 8689 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10818904 memory=140515541571200 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 8689 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 8689 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 2 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 8689 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10818904 memory=140515541571200 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 2 13132 0 0 0 0 5 2 20 0 15 0 70442177 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 33 13132 0 0 0 0 5 2 20 0 15 0 70442177 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443932103968 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442178 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443350197872 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) S 24947 24950 23703 0 -1 1077944384 552 13132 0 0 1 0 5 2 20 0 15 0 70442180 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) S 24947 24950 23703 0 -1 1077944384 69 13132 0 0 1 0 5 2 20 0 15 0 70442180 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443897493488 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10818904 memory=140515541571200 CPUtime=0.09 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) R 24947 24950 23703 0 -1 4202560 593 13132 0 0 2 0 5 2 20 0 15 0 70442180 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443896441200 140444455405632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10818904 memory=140515541571200 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442181 11078557696 8689 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 34756 KiB

[startup+0.310411 s]*
/proc/loadavg: 1.45 1.42 1.50 3/215 25016
/proc/meminfo: memFree=12001120/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10818904 memory=39028 CPUtime=0.26 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 6966 13132 0 0 17 2 5 2 20 0 15 0 70442155 11078557696 9757 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2704726 9757 2982 1 0 2667149 0
[pid=24950/tid=25003] ppid=24947 vsize=10818904 memory=281030850248944 CPUtime=0.18 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 3502 13132 0 0 10 1 5 2 20 0 15 0 70442174 11078557696 9757 33554432000 4194304 4196468 140734929546720 140444445858848 140444474045767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10818904 memory=4211974241746361738 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 9757 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10818904 memory=140515541573557 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 9757 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10818904 memory=140515425233484 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 9757 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10818904 memory=140515425237967 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 2 13132 0 0 0 0 5 2 20 0 15 0 70442175 11078557696 9757 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10818904 memory=281030850482832 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 2 13132 0 0 0 0 5 2 20 0 15 0 70442177 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10818904 memory=1970350607106051 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 33 13132 0 0 0 0 5 2 20 0 15 0 70442177 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443932103968 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10818904 memory=281030966816064 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442178 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443350197872 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10818904 memory=140515425124487 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) S 24947 24950 23703 0 -1 1077944384 552 13132 0 0 1 0 5 2 20 0 15 0 70442180 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10818904 memory=2208 CPUtime=0.08 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) S 24947 24950 23703 0 -1 1077944384 69 13132 0 0 1 0 5 2 20 0 15 0 70442180 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443897493488 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10818904 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) S 24947 24950 23703 0 -1 1077944384 606 13132 0 0 3 0 5 2 20 0 15 0 70442180 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443896441200 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10818904 memory=4294969536 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10818904 memory=2209 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442181 11078557696 9757 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39028 KiB

[startup+0.701351 s]
/proc/loadavg: 1.45 1.42 1.50 3/215 25016
/proc/meminfo: memFree=11988940/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10819352 memory=65004 CPUtime=0.79 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 11941 13132 0 0 67 5 5 2 20 0 15 0 70442155 11079016448 16251 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2704838 16251 3190 1 0 2667149 0
[pid=24950/tid=25003] ppid=24947 vsize=10819352 memory=2 CPUtime=0.56 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 8277 13132 0 0 45 4 5 2 20 0 15 0 70442174 11079016448 16251 33554432000 4194304 4196468 140734929546720 140444445860784 140444458112350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11079016448 16251 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11079016448 16251 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10819352 memory=8458433173657104694 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11079016448 16251 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10819352 memory=5859271434355102308 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 2 13132 0 0 0 0 5 2 20 0 15 0 70442175 11079016448 16251 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10819352 memory=6935649255759569216 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 5 13132 0 0 0 0 5 2 20 0 15 0 70442177 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10819352 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 33 13132 0 0 0 0 5 2 20 0 15 0 70442177 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443932103968 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10819352 memory=1040 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442178 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443350197872 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10819352 memory=1628 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10819352 memory=8876 CPUtime=0.11 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) R 24947 24950 23703 0 -1 1077944384 696 13132 0 0 4 0 5 2 20 0 15 0 70442180 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443898525184 140444474042069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10819352 memory=1120 CPUtime=0.11 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) R 24947 24950 23703 0 -1 4202560 83 13132 0 0 4 0 5 2 20 0 15 0 70442180 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443897493488 140444452397978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10819352 memory=792 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) S 24947 24950 23703 0 -1 1077944384 647 13132 0 0 12 0 5 2 20 0 15 0 70442180 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443896441200 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10819352 memory=832 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10819352 memory=1600 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442181 11079016448 16251 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 65004 KiB

[startup+1.50122 s]
/proc/loadavg: 1.45 1.42 1.50 4/215 25016
/proc/meminfo: memFree=11950476/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10832204 memory=149544 CPUtime=2.63 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 24416 13132 0 0 247 9 5 2 20 0 15 0 70442155 11092176896 37386 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2708051 37386 3454 1 0 2669709 0
[pid=24950/tid=25003] ppid=24947 vsize=10832204 memory=69 CPUtime=1.36 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 16201 13132 0 0 122 7 5 2 20 0 15 0 70442174 11092176896 37386 33554432000 4194304 4196468 140734929546720 140444445846976 140444460247784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11092176896 37386 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 1 13132 0 0 0 0 5 2 20 0 15 0 70442175 11092176896 37386 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6

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

[pid=24950/tid=25015] ppid=24947 vsize=10850656 memory=1628 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1217719 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10850656 memory=8876 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1034 13132 0 0 5 7 5 2 20 0 15 0 70442181 11111071744 1217719 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 363.99 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4870876 KiB

[startup+262.401 s]
/proc/loadavg: 1.67 1.66 1.59 3/216 25029
/proc/meminfo: memFree=7162816/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10850656 memory=4866788 CPUtime=367.4 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 277879 13132 0 0 36198 535 5 2 20 0 15 0 70442155 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2712664 1216697 3531 1 0 2674317 0
[pid=24950/tid=25003] ppid=24947 vsize=10850656 memory=4892420 CPUtime=234.25 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 64289 13132 0 0 23396 22 5 2 20 0 15 0 70442174 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140444445862320 140444061823888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10850656 memory=2088 CPUtime=27.21 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 18053 13132 0 0 2593 121 5 2 20 0 15 0 70442175 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=27.16 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 26651 13132 0 0 2588 121 5 2 20 0 15 0 70442175 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10850656 memory=5024 CPUtime=27.32 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 17394 13132 0 0 2605 120 5 2 20 0 15 0 70442175 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10850656 memory=4032 CPUtime=27.49 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 27716 13132 0 0 2621 121 5 2 20 0 15 0 70442175 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10850656 memory=1284 CPUtime=0.37 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 35449 13132 0 0 27 3 5 2 20 0 15 0 70442177 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10850656 memory=15044 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 48 13132 0 0 0 0 5 2 20 0 15 0 70442177 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443932104032 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10850656 memory=17312 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 7 13132 0 0 0 0 5 2 20 0 15 0 70442178 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443350197888 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10850656 memory=17804 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10850656 memory=4016 CPUtime=9.29 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) S 24947 24950 23703 0 -1 1077944384 23748 13132 0 0 917 5 5 2 20 0 15 0 70442180 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10850656 memory=924 CPUtime=11.08 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) S 24947 24950 23703 0 -1 1077944384 32543 13132 0 0 1095 6 5 2 20 0 15 0 70442180 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443897493488 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10850656 memory=1572 CPUtime=3.54 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) S 24947 24950 23703 0 -1 1077944384 28751 13132 0 0 340 7 5 2 20 0 15 0 70442180 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443896441200 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10850656 memory=2092 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10850656 memory=7524 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1035 13132 0 0 5 7 5 2 20 0 15 0 70442181 11111071744 1216697 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 367.4 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4866788 KiB

[startup+264.001 s]*
/proc/loadavg: 1.67 1.66 1.59 3/216 25029
/proc/meminfo: memFree=7183356/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10850656 memory=4846268 CPUtime=369.1 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 278305 13132 0 0 36368 535 5 2 20 0 15 0 70442155 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2712664 1211567 3531 1 0 2674317 0
[pid=24950/tid=25003] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=235.84 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 64292 13132 0 0 23555 22 5 2 20 0 15 0 70442174 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444445862304 140444062029929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10850656 memory=-7003737579269690708 CPUtime=27.23 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 18074 13132 0 0 2595 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10850656 memory=8876 CPUtime=27.18 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 26686 13132 0 0 2590 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10850656 memory=1120 CPUtime=27.34 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 17501 13132 0 0 2607 120 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10850656 memory=792 CPUtime=27.51 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 27820 13132 0 0 2623 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10850656 memory=832 CPUtime=0.37 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 35449 13132 0 0 27 3 5 2 20 0 15 0 70442177 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10850656 memory=1600 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 48 13132 0 0 0 0 5 2 20 0 15 0 70442177 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443932104032 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10850656 memory=5024 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 7 13132 0 0 0 0 5 2 20 0 15 0 70442178 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443350197888 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10850656 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10850656 memory=1284 CPUtime=9.31 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) S 24947 24950 23703 0 -1 1077944384 23887 13132 0 0 919 5 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10850656 memory=1088 CPUtime=11.1 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) S 24947 24950 23703 0 -1 1077944384 32556 13132 0 0 1097 6 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443897493488 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10850656 memory=1796 CPUtime=3.55 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) S 24947 24950 23703 0 -1 1077944384 28755 13132 0 0 341 7 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443896441200 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10850656 memory=7012 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1035 13132 0 0 5 7 5 2 20 0 15 0 70442181 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 369.1 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4846268 KiB

[startup+264.401 s]
/proc/loadavg: 1.67 1.66 1.59 3/216 25029
/proc/meminfo: memFree=7183356/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10850656 memory=4846268 CPUtime=369.5 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 278305 13132 0 0 36408 535 5 2 20 0 15 0 70442155 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2712664 1211567 3531 1 0 2674317 0
[pid=24950/tid=25003] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=236.23 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 64292 13132 0 0 23594 22 5 2 20 0 15 0 70442174 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444445862304 140444058138368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10850656 memory=17804 CPUtime=27.23 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 18074 13132 0 0 2595 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10850656 memory=4016 CPUtime=27.18 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 26686 13132 0 0 2590 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10850656 memory=644 CPUtime=27.34 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 17501 13132 0 0 2607 120 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10850656 memory=1676 CPUtime=27.51 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 27820 13132 0 0 2623 121 5 2 20 0 15 0 70442175 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10850656 memory=960 CPUtime=0.37 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 35449 13132 0 0 27 3 5 2 20 0 15 0 70442177 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10850656 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 48 13132 0 0 0 0 5 2 20 0 15 0 70442177 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443932104032 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10850656 memory=4072 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 7 13132 0 0 0 0 5 2 20 0 15 0 70442178 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443350197888 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10850656 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10850656 memory=4124 CPUtime=9.31 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) S 24947 24950 23703 0 -1 1077944384 23887 13132 0 0 919 5 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10850656 memory=924 CPUtime=11.1 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) S 24947 24950 23703 0 -1 1077944384 32556 13132 0 0 1097 6 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443897493488 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10850656 memory=1572 CPUtime=3.55 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) S 24947 24950 23703 0 -1 1077944384 28755 13132 0 0 341 7 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443896441200 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10850656 memory=840 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1035 13132 0 0 5 7 5 2 20 0 15 0 70442181 11111071744 1211567 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 369.5 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4846268 KiB

[startup+264.601 s]
/proc/loadavg: 1.67 1.66 1.59 3/216 25029
/proc/meminfo: memFree=7183356/32770624 swapFree=67108796/67108860
[pid=24950] ppid=24947 vsize=10850656 memory=4846452 CPUtime=369.76 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 23703 0 -1 1077944320 280046 13132 0 0 36434 535 5 2 20 0 15 0 70442155 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140734929529264 140444474031863 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
/proc/24950/statm: 2712664 1211613 3531 1 0 2674317 0
[pid=24950/tid=25003] ppid=24947 vsize=10850656 memory=920 CPUtime=236.42 cores=0,2,4,6
/proc/24950/task/25003/stat : 25003 (java) R 24947 24950 23703 0 -1 4202560 65724 13132 0 0 23613 22 5 2 20 0 15 0 70442174 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140444445860000 140444459725361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25004] ppid=24947 vsize=10850656 memory=3848 CPUtime=27.23 cores=0,2,4,6
/proc/24950/task/25004/stat : 25004 (java) S 24947 24950 23703 0 -1 1077944384 18074 13132 0 0 2595 121 5 2 20 0 15 0 70442175 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140444478273936 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25005] ppid=24947 vsize=10850656 memory=2600 CPUtime=27.18 cores=0,2,4,6
/proc/24950/task/25005/stat : 25005 (java) S 24947 24950 23703 0 -1 1077944384 26686 13132 0 0 2590 121 5 2 20 0 15 0 70442175 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140444366547216 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25006] ppid=24947 vsize=10850656 memory=2600 CPUtime=27.34 cores=0,2,4,6
/proc/24950/task/25006/stat : 25006 (java) S 24947 24950 23703 0 -1 1077944384 17501 13132 0 0 2607 120 5 2 20 0 15 0 70442175 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140444365494928 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25007] ppid=24947 vsize=10850656 memory=4100 CPUtime=27.51 cores=0,2,4,6
/proc/24950/task/25007/stat : 25007 (java) S 24947 24950 23703 0 -1 1077944384 27820 13132 0 0 2623 121 5 2 20 0 15 0 70442175 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140444364442128 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25008] ppid=24947 vsize=10850656 memory=1404 CPUtime=0.37 cores=0,2,4,6
/proc/24950/task/25008/stat : 25008 (java) S 24947 24950 23703 0 -1 1077944384 35457 13132 0 0 27 3 5 2 20 0 15 0 70442177 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443933158000 140444474043010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25009] ppid=24947 vsize=10850656 memory=3148 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25009/stat : 25009 (java) S 24947 24950 23703 0 -1 1077944384 48 13132 0 0 0 0 5 2 20 0 15 0 70442177 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443932104032 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25010] ppid=24947 vsize=10850656 memory=5620612 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25010/stat : 25010 (java) S 24947 24950 23703 0 -1 1077944384 7 13132 0 0 0 0 5 2 20 0 15 0 70442178 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443350197888 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25011] ppid=24947 vsize=10850656 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25011/stat : 25011 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443042798160 140444474050459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25012] ppid=24947 vsize=10850656 memory=3080 CPUtime=9.33 cores=0,2,4,6
/proc/24950/task/25012/stat : 25012 (java) R 24947 24950 23703 0 -1 1077944384 23944 13132 0 0 921 5 5 2 20 0 15 0 70442180 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443898546288 140444474043010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25013] ppid=24947 vsize=10850656 memory=4846268 CPUtime=11.13 cores=0,2,4,6
/proc/24950/task/25013/stat : 25013 (java) R 24947 24950 23703 0 -1 4202560 32726 13132 0 0 1100 6 5 2 20 0 15 0 70442180 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443897484768 140444452423028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25014] ppid=24947 vsize=10850656 memory=21172 CPUtime=3.55 cores=0,2,4,6
/proc/24950/task/25014/stat : 25014 (java) R 24947 24950 23703 0 -1 4202560 28840 13132 0 0 341 7 5 2 20 0 15 0 70442180 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443896441200 140444459712561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25015] ppid=24947 vsize=10850656 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/25015/stat : 25015 (java) S 24947 24950 23703 0 -1 1077944384 3 13132 0 0 0 0 5 2 20 0 15 0 70442180 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443009239520 140444474042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
[pid=24950/tid=25016] ppid=24947 vsize=10850656 memory=1040 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/25016/stat : 25016 (java) S 24947 24950 23703 0 -1 1077944384 1035 13132 0 0 5 7 5 2 20 0 15 0 70442181 11111071744 1211613 33554432000 4194304 4196468 140734929546720 140443895389104 140444474043010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140734929554030 140734929556828 140734929556828 140734929559503 0
Current children cumulated CPU time: 369.76 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4846452 KiB

Child status: 0
Real time (s): 264.693
CPU time (s): 370.009
CPU user time (s): 364.588
CPU system time (s): 5.42143
CPU usage (%): 139.788
Max. virtual memory (cumulated for all children) (KiB): 10999712
Max. memory (cumulated for all children) (KiB): 5050472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.588
system time used= 5.42143
maximum resident set size= 5050472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20682
involuntary context switches= 1493


# summary of solver processes directly reported to runsolver:
#   pid: 24950
#   total CPU time (s): 370.009
#   total CPU user time (s): 364.588
#   total CPU system time (s): 5.42143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64829 second user time and 2.42835 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-25 16:26:30
IDJOB=4295068
IDBENCH=141461
IDSOLVER=2750
FILE ID=node138/4295068-1532528790
RUNJOBID= node138-1532523045-23734
PBS_JOBID= 21021594
Free space on /tmp= 53776 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-02_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295068-1532528790/watcher-4295068-1532528790 -o /tmp/evaluation-result-4295068-1532528790/solver-4295068-1532528790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1303332330 HOME/instance-4295068-1532528790.xml

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

MD5SUM BENCH= 7d15061b3f8ae249c0a64b716749507b
RANDOM SEED=1303332330

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12036456 kB
MemAvailable:   26313728 kB
Buffers:          160344 kB
Cached:         14264036 kB
SwapCached:           44 kB
Active:          7986020 kB
Inactive:       12098348 kB
Active(anon):    5611068 kB
Inactive(anon):    77272 kB
Active(file):    2374952 kB
Inactive(file): 12021076 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             26240 kB
Writeback:             0 kB
AnonPages:       5718820 kB
Mapped:            47940 kB
Shmem:             25164 kB
Slab:             338348 kB
SReclaimable:     309704 kB
SUnreclaim:        28644 kB
KernelStack:        3808 kB
PageTables:        15400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6501032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5443584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53748 MiB
End job on node138 at 2018-07-25 16:30:55