Trace number 4395860

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 2109.07 2062.09

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-05.xml
MD5SUMd843be5d5ecd152a475a61904cced3da
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 benchmark31.7231
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1412
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree85
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}]
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":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"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":1211},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.80/0.55	c Concrete v3.12.2.1568380929293 running
2108.88/2062.06	v <instantiation
2108.88/2062.06	v         >
2108.88/2062.06	v       <list>
2108.88/2062.06	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]
2108.88/2062.06	v       </list>
2108.88/2062.06	v       <values>
2108.88/2062.06	v         12 14 3 6 2 20 14 16 17 2 17 8 6 14 11 6 3 9 5 17 2 19 2 17 2 17 6 2 17 11 18 2 21 17 2 20 2 18 17 20 17 2 6 6 2 14 20 17 17 20 23 6 11 6 2 23 6 3 17 2 19 3 6 22 17 6 2 18 2 17 11 18 2 13 16 17 6 2 20 6 22 17 20 17 18 20 2 0 2 20 2 18 2 14 18 17 11 17 22 19 3 18 2 17 17 5 19 2 6 2 14 2 17 6 16 23 20 17 18 2 6 14 2 6 3 18 2 14 2 1 3 6 2 0 17 20 2 6 6 2 20 2 6 11 18 3 13 2 6 2 17 4 14 6 11 17 3 7 6 2 20 2 17 4 17 16 14 3 17 4 6 5 17 2 19 17 10 17 2 6 2 18 2 17 3 14 11 17 15 9 3 14 3 9 15 17 11 17 0 4 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 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 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 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 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0
2108.88/2062.06	v       </values>
2108.88/2062.06	v     </instantiation>
2108.88/2062.06	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 (13351 MiB free)
  memory of node 1: 16384 MiB (15149 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395860-1568402531/watcher-4395860-1568402531 -o /tmp/evaluation-result-4395860-1568402531/solver-4395860-1568402531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17085 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=829515154 HOME/instance-4395860-1568402531.xml 

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

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


[startup+0.100123 s]*
/proc/loadavg: 1.73 1.62 1.51 3/222 20090
/proc/meminfo: memFree=29177288/32770624 swapFree=66916536/67108860
[pid=20033] ppid=20030 vsize=9972712 memory=17212 CPUtime=0.1 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 4575 13353 0 0 1 1 5 3 20 0 6 0 416503619 10212057088 4303 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2493178 4303 1935 1 0 2481616 0
[pid=20033/tid=20086] ppid=20030 vsize=9972712 memory=4279135703946461070 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 2381 13353 0 0 0 0 5 3 20 0 6 0 416503628 10212057088 4369 33554432000 4194304 4196468 140733889005184 139902764036688 139902777511929 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 6 0 416503628 10212057088 4369 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=9972712 memory=140184081647232 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 6 0 416503628 10212057088 4369 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 6 0 416503628 10212057088 4369 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 6 0 416503628 10212057088 4369 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17212 KiB

[startup+0.210291 s]*
/proc/loadavg: 1.73 1.62 1.51 4/231 20099
/proc/meminfo: memFree=29156232/32770624 swapFree=66916536/67108860
[pid=20033] ppid=20030 vsize=10819664 memory=41984 CPUtime=0.27 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 7327 13353 0 0 17 2 5 3 20 0 15 0 416503619 11079335936 10496 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2704916 10496 3172 1 0 2667149 0
[pid=20033/tid=20086] ppid=20030 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 3810 13353 0 0 11 1 5 3 20 0 15 0 416503628 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902764026256 139902792221853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10819664 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10819664 memory=4122680104636106400 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10819664 memory=140184081647232 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503630 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 33 13353 0 0 0 0 5 3 20 0 15 0 416503630 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902250374304 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503631 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902117208816 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11079335936 10496 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 352 13353 0 0 1 0 5 3 20 0 15 0 416503633 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 298 13353 0 0 1 0 5 3 20 0 15 0 416503633 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10819664 memory=140184081647232 CPUtime=0.11 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) R 20030 20033 15665 0 -1 4202560 618 13353 0 0 3 0 5 3 20 0 15 0 416503633 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902214711792 139902784437054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11079335936 10496 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10819664 memory=140184081647232 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503634 11079335936 10496 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41984 KiB

[startup+0.310524 s]*
/proc/loadavg: 1.73 1.62 1.51 3/231 20099
/proc/meminfo: memFree=29142936/32770624 swapFree=66916536/67108860
[pid=20033] ppid=20030 vsize=10820148 memory=53112 CPUtime=0.4 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 11031 13353 0 0 29 3 5 3 20 0 15 0 416503619 11079831552 13278 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2705037 13278 3304 1 0 2667149 0
[pid=20033/tid=20086] ppid=20030 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 7492 13353 0 0 19 2 5 3 20 0 15 0 416503628 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902763999840 139902772844594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503630 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 33 13353 0 0 0 0 5 3 20 0 15 0 416503630 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902250374304 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503631 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902117208816 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11079831552 13278 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 361 13353 0 0 2 0 5 3 20 0 15 0 416503633 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 299 13353 0 0 1 0 5 3 20 0 15 0 416503633 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10820148 memory=140184081647232 CPUtime=0.13 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) R 20030 20033 15665 0 -1 4202560 627 13353 0 0 5 0 5 3 20 0 15 0 416503633 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902214711792 139902771621561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11079831552 13278 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10820148 memory=140184081647232 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503634 11079831552 13278 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53112 KiB

[startup+0.701507 s]
/proc/loadavg: 1.73 1.62 1.51 3/231 20099
/proc/meminfo: memFree=29129124/32770624 swapFree=66916536/67108860
[pid=20033] ppid=20030 vsize=10824360 memory=85632 CPUtime=1.15 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 15120 13353 0 0 102 5 5 3 20 0 15 0 416503619 11084144640 21408 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2706090 21408 3511 1 0 2668173 0
[pid=20033/tid=20086] ppid=20030 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 10430 13353 0 0 56 3 5 3 20 0 15 0 416503628 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902764025896 139902776513500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10824360 memory=140183974589200 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503628 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10824360 memory=140187732542042 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503628 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10824360 memory=8300 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 5 13353 0 0 0 0 5 3 20 0 15 0 416503630 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10824360 memory=6297835844906604903 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 33 13353 0 0 0 0 5 3 20 0 15 0 416503630 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902250374304 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10824360 memory=6081102367496366441 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503631 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902117208816 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10824360 memory=20348 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11084144640 21408 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10824360 memory=12036 CPUtime=0.24 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) R 20030 20033 15665 0 -1 4202560 940 13353 0 0 16 0 5 3 20 0 15 0 416503633 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902216817392 139902771861440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10824360 memory=2116 CPUtime=0.2 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 713 13353 0 0 12 0 5 3 20 0 15 0 416503633 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10824360 memory=500 CPUtime=0.25 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 780 13353 0 0 17 0 5 3 20 0 15 0 416503633 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10824360 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11084144640 21408 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10824360 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503634 11084144640 21408 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85632 KiB

[startup+1.50346 s]
/proc/loadavg: 1.73 1.62 1.51 5/231 20099
/proc/meminfo: memFree=29071704/32770624 swapFree=66916536/67108860
[pid=20033] ppid=20030 vsize=10832628 memory=230640 CPUtime=3.4 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 43495 13353 0 0 320 12 5 3 20 0 15 0 416503619 11092611072 57660 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2708157 57660 3577 1 0 2670221 0
[pid=20033/tid=20086] ppid=20030 vsize=10832628 memory=70140 CPUtime=1.42 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 17567 13353 0 0 128 6 5 3 20 0 15 0 416503628 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902764005296 139902777382572 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10832628 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 54 13353 0 0 1 0 5 3 20 0 15 0 416503628 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10832628 memory=280367949209760 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 311 13353 0 0 1 0 5 3 20 0 15 0 416503628 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 59 13353 0 0 1 0 5 3 20 0 15 0 416503628 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 44 13353 0 0 1 0 5 3 20 0 15 0 416503628 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 1342 13353 0 0 1 0 5 3 20 0 15 0 416503630 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 34 13353 0 0 0 0 5 3 20 0 15 0 416503630 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902250374368 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503631 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902117208832 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10832628 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11092611072 57660 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10832628 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 9741 13353 0 0 70 1 5 3 20 0 15 0 416503633 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10832628 memory=10 CPUtime=0.77 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 9053 13353 0 0 68 1 5 3 20 0 15 0 416503633 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10832628 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 3077 13353 0 0 43 0 5 3 20 0 15 0 416503633 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10832628 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11092611072 57660 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10832628 memory=280367949454208 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 1 13353 0 0 0 0 5 3 20 0 15 0 416503634 11092611072 57660 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 10832628 KiB

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

[pid=20033/tid=20098] ppid=20030 vsize=10849032 memory=39072 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10849032 memory=992 CPUtime=1.14 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 2034 13353 0 0 50 56 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 2106.35 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2055904 KiB

[startup+2061.1 s]
/proc/loadavg: 1.37 1.44 1.47 3/231 21321
/proc/meminfo: memFree=27580308/32770624 swapFree=66916540/67108860
[pid=20033] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2107.97 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 382862 13353 0 0 210466 323 5 3 20 0 15 0 416503619 11109408768 513976 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2712258 513976 3633 1 0 2674317 0
[pid=20033/tid=20086] ppid=20030 vsize=10849032 memory=2055848 CPUtime=2044.3 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 112565 13353 0 0 204352 70 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902764035168 139902412431419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10849032 memory=992 CPUtime=8.89 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 30573 13353 0 0 839 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10849032 memory=1296 CPUtime=8.87 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 26499 13353 0 0 836 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10849032 memory=620 CPUtime=8.87 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 34077 13353 0 0 833 46 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10849032 memory=4000 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 25084 13353 0 0 838 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10849032 memory=620 CPUtime=6.59 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 26742 13353 0 0 614 37 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10849032 memory=2055900 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 58 13353 0 0 0 0 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902250374432 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10849032 memory=2055900 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 8 13353 0 0 0 0 5 3 20 0 15 0 416503631 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902117208832 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10849032 memory=2055848 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10849032 memory=620 CPUtime=8.96 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 45919 13353 0 0 881 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10849032 memory=4000 CPUtime=9.24 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 52721 13353 0 0 910 6 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2.82 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 24371 13353 0 0 267 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10849032 memory=8694373321839596648 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10849032 memory=280367948890352 CPUtime=1.14 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 2034 13353 0 0 50 56 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 2107.97 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2055904 KiB

[startup+2061.5 s]
/proc/loadavg: 1.37 1.44 1.47 3/231 21321
/proc/meminfo: memFree=27580308/32770624 swapFree=66916540/67108860
[pid=20033] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2108.37 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 382864 13353 0 0 210506 323 5 3 20 0 15 0 416503619 11109408768 513976 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2712258 513976 3633 1 0 2674317 0
[pid=20033/tid=20086] ppid=20030 vsize=10849032 memory=6791534058613427641 CPUtime=2044.69 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 112567 13353 0 0 204391 70 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902764034688 139902415781350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10849032 memory=928 CPUtime=8.89 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 30573 13353 0 0 839 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10849032 memory=1460 CPUtime=8.87 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 26499 13353 0 0 836 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10849032 memory=6791534058613427641 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 34077 13353 0 0 834 46 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10849032 memory=4338995255715322400 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 25084 13353 0 0 838 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10849032 memory=3628 CPUtime=6.59 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 26742 13353 0 0 614 37 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10849032 memory=39072 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 58 13353 0 0 0 0 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902250374432 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10849032 memory=992 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 8 13353 0 0 0 0 5 3 20 0 15 0 416503631 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902117208832 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10849032 memory=20368 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10849032 memory=12036 CPUtime=8.96 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 45919 13353 0 0 881 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10849032 memory=2116 CPUtime=9.24 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 52721 13353 0 0 910 6 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10849032 memory=500 CPUtime=2.82 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 24371 13353 0 0 267 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10849032 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10849032 memory=6791534058613427641 CPUtime=1.14 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 2034 13353 0 0 50 56 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 2108.37 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2055904 KiB

[startup+2061.9 s]
/proc/loadavg: 1.37 1.44 1.47 3/231 21321
/proc/meminfo: memFree=27580308/32770624 swapFree=66916540/67108860
[pid=20033] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2108.78 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 382866 13353 0 0 210547 323 5 3 20 0 15 0 416503619 11109408768 513976 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2712258 513976 3633 1 0 2674317 0
[pid=20033/tid=20086] ppid=20030 vsize=10849032 memory=1156 CPUtime=2045.09 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 112569 13353 0 0 204431 70 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902764035264 139902416136937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10849032 memory=944 CPUtime=8.9 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 30573 13353 0 0 840 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10849032 memory=1552 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 26499 13353 0 0 837 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10849032 memory=3628 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 34077 13353 0 0 834 46 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10849032 memory=39072 CPUtime=8.89 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 25084 13353 0 0 838 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10849032 memory=992 CPUtime=6.59 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 26742 13353 0 0 614 37 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10849032 memory=2044 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 58 13353 0 0 0 0 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902250374432 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10849032 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 8 13353 0 0 0 0 5 3 20 0 15 0 416503631 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902117208832 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10849032 memory=5992 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10849032 memory=8300 CPUtime=8.96 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 45919 13353 0 0 881 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10849032 memory=776 CPUtime=9.24 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 52721 13353 0 0 910 6 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10849032 memory=14012 CPUtime=2.82 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 24371 13353 0 0 267 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10849032 memory=20368 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10849032 memory=12036 CPUtime=1.15 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 2034 13353 0 0 50 57 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 2108.78 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2055904 KiB

[startup+2062 s]
/proc/loadavg: 1.37 1.44 1.47 3/231 21321
/proc/meminfo: memFree=27580308/32770624 swapFree=66916540/67108860
[pid=20033] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2108.88 cores=1,3,5,7
/proc/20033/stat : 20033 (java) S 20030 20033 15665 0 -1 1077944320 382867 13353 0 0 210557 323 5 3 20 0 15 0 416503619 11109408768 513976 33554432000 4194304 4196468 140733889005184 140733888987728 139902792199927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
/proc/20033/statm: 2712258 513976 3633 1 0 2674317 0
[pid=20033/tid=20086] ppid=20030 vsize=10849032 memory=2055904 CPUtime=2045.19 cores=1,3,5,7
/proc/20033/task/20086/stat : 20086 (java) R 20030 20033 15665 0 -1 4202560 112570 13353 0 0 204441 70 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902764035280 139902415735702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20087] ppid=20030 vsize=10849032 memory=2055900 CPUtime=8.9 cores=1,3,5,7
/proc/20033/task/20087/stat : 20087 (java) S 20030 20033 15665 0 -1 1077944384 30573 13353 0 0 840 42 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902796442640 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20088] ppid=20030 vsize=10849032 memory=2055900 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20088/stat : 20088 (java) S 20030 20033 15665 0 -1 1077944384 26499 13353 0 0 837 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902365392016 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20089] ppid=20030 vsize=10849032 memory=2055904 CPUtime=8.88 cores=1,3,5,7
/proc/20033/task/20089/stat : 20089 (java) S 20030 20033 15665 0 -1 1077944384 34077 13353 0 0 834 46 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902364338960 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20090] ppid=20030 vsize=10849032 memory=6370454301510297191 CPUtime=8.9 cores=1,3,5,7
/proc/20033/task/20090/stat : 20090 (java) S 20030 20033 15665 0 -1 1077944384 25084 13353 0 0 839 43 5 3 20 0 15 0 416503628 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902363286416 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20091] ppid=20030 vsize=10849032 memory=2055860 CPUtime=6.59 cores=1,3,5,7
/proc/20033/task/20091/stat : 20091 (java) S 20030 20033 15665 0 -1 1077944384 26742 13353 0 0 614 37 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902251428080 139902792211074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20092] ppid=20030 vsize=10849032 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20092/stat : 20092 (java) S 20030 20033 15665 0 -1 1077944384 58 13353 0 0 0 0 5 3 20 0 15 0 416503630 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902250374432 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20093] ppid=20030 vsize=10849032 memory=2055900 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20093/stat : 20093 (java) S 20030 20033 15665 0 -1 1077944384 8 13353 0 0 0 0 5 3 20 0 15 0 416503631 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902117208832 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20094] ppid=20030 vsize=10849032 memory=2055904 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20094/stat : 20094 (java) S 20030 20033 15665 0 -1 1077944384 2 13353 0 0 0 0 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901513230288 139902792218523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20095] ppid=20030 vsize=10849032 memory=4801 CPUtime=8.96 cores=1,3,5,7
/proc/20033/task/20095/stat : 20095 (java) S 20030 20033 15665 0 -1 1077944384 45919 13353 0 0 881 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902216817392 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20096] ppid=20030 vsize=10849032 memory=-7737621075815351712 CPUtime=9.24 cores=1,3,5,7
/proc/20033/task/20096/stat : 20096 (java) S 20030 20033 15665 0 -1 1077944384 52721 13353 0 0 910 6 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902215764848 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20097] ppid=20030 vsize=10849032 memory=1296 CPUtime=2.82 cores=1,3,5,7
/proc/20033/task/20097/stat : 20097 (java) S 20030 20033 15665 0 -1 1077944384 24371 13353 0 0 267 7 5 3 20 0 15 0 416503633 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902214711792 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20098] ppid=20030 vsize=10849032 memory=620 CPUtime=0.08 cores=1,3,5,7
/proc/20033/task/20098/stat : 20098 (java) S 20030 20033 15665 0 -1 1077944384 3 13353 0 0 0 0 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139901043469152 139902792210133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
[pid=20033/tid=20099] ppid=20030 vsize=10849032 memory=4000 CPUtime=1.15 cores=1,3,5,7
/proc/20033/task/20099/stat : 20099 (java) S 20030 20033 15665 0 -1 1077944384 2034 13353 0 0 50 57 5 3 20 0 15 0 416503634 11109408768 513976 33554432000 4194304 4196468 140733889005184 139902213659184 139902792211074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19709952 140733889006320 140733889008837 140733889008837 140733889011663 0
Current children cumulated CPU time: 2108.88 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2055904 KiB

Child status: 0
Real time (s): 2062.09
CPU time (s): 2109.07
CPU user time (s): 2105.78
CPU system time (s): 3.28525
CPU usage (%): 102.278
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 2859528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2105.78
system time used= 3.28525
maximum resident set size= 2861060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184404
involuntary context switches= 4164


# summary of solver processes directly reported to runsolver:
#   pid: 20033
#   total CPU time (s): 2109.07
#   total CPU user time (s): 2105.78
#   total CPU system time (s): 3.28525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8353 second user time and 20.5186 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-13 21:21:29
IDJOB=4395860
IDBENCH=128067
IDSOLVER=2846
FILE ID=node134/4395860-1568402531
RUNJOBID= node134-1568393375-17085
PBS_JOBID= 21701859
Free space on /tmp= 59544 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395860-1568402531/watcher-4395860-1568402531 -o /tmp/evaluation-result-4395860-1568402531/solver-4395860-1568402531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17085 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=829515154 HOME/instance-4395860-1568402531.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=829515154

node134.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.76
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.76
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.76
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.76
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:        29185224 kB
MemAvailable:   30744556 kB
Buffers:          183420 kB
Cached:          1643192 kB
SwapCached:        90680 kB
Active:          1569088 kB
Inactive:        1398892 kB
Active(anon):    1074808 kB
Inactive(anon):   106556 kB
Active(file):     494280 kB
Inactive(file):  1292336 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916536 kB
Dirty:             35492 kB
Writeback:             0 kB
AnonPages:       1110080 kB
Mapped:            57308 kB
Shmem:             30988 kB
Slab:             207704 kB
SReclaimable:     177100 kB
SUnreclaim:        30604 kB
KernelStack:        4048 kB
PageTables:         7816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2293460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    987136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59508 MiB
End job on node134 at 2019-09-13 21:55:52