Trace number 4400740

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 37.3829 17.932

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400740-1568683516/watcher-4400740-1568683516 -o /tmp/evaluation-result-4400740-1568683516/solver-4400740-1568683516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4400740-1568683516.xml 

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.42 1.46 1.61 3/218 15845
/proc/meminfo: memFree=25444404/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=9972712 memory=17216 CPUtime=0.1 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 4552 13003 0 0 1 1 5 3 20 0 6 0 444590252 10212057088 4304 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2493178 4304 1935 1 0 2481616 0
[pid=15788/tid=15841] ppid=15785 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 2363 13003 0 0 0 0 5 3 20 0 6 0 444590261 10212057088 4304 33554432000 4194304 4196468 140724207159216 140018596258384 140018609544560 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=9972712 memory=5793855841674717625 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 6 0 444590262 10212057088 4304 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=9972712 memory=140590664824448 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 6 0 444590262 10212057088 4304 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 6 0 444590262 10212057088 4304 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 6 0 444590262 10212057088 4304 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17216 KiB

[startup+0.209988 s]*
/proc/loadavg: 1.42 1.46 1.61 4/227 15854
/proc/meminfo: memFree=25422012/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10819856 memory=46516 CPUtime=0.27 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 7375 13003 0 0 17 2 5 3 20 0 15 0 444590252 11079532544 11629 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2704964 11629 3215 1 0 2667149 0
[pid=15788/tid=15841] ppid=15785 vsize=10820020 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 3927 13003 0 0 10 1 5 3 20 0 15 0 444590261 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018596252864 140018479655909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10820020 memory=4211974316869614986 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10820020 memory=140590664824448 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10820020 memory=140590664824448 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590263 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 444590264 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018081326624 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590264 11079700480 11629 33554432000 4194304 4196468 140724207159216 140017947108720 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 340 13003 0 0 1 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10820020 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 306 13003 0 0 1 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10820020 memory=140590664824448 CPUtime=0.11 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 609 13003 0 0 3 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10820020 memory=140590664824448 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079700480 11629 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819856 KiB
Current children cumulated memory: 46516 KiB

[startup+0.312419 s]*
/proc/loadavg: 1.42 1.46 1.61 3/227 15854
/proc/meminfo: memFree=25409328/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10820196 memory=55152 CPUtime=0.41 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 10972 13003 0 0 29 4 5 3 20 0 15 0 444590252 11079880704 13788 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2705049 13788 3311 1 0 2667149 0
[pid=15788/tid=15841] ppid=15785 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 7465 13003 0 0 19 3 5 3 20 0 15 0 444590261 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018596244016 140018608502110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590262 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10820196 memory=140590664824447 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590263 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 444590264 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018081326624 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10820196 memory=140590664824448 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590264 11079880704 13788 33554432000 4194304 4196468 140724207159216 140017947108720 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 340 13003 0 0 1 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 316 13003 0 0 2 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 616 13003 0 0 5 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590267 11079880704 13788 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55152 KiB

[startup+0.701527 s]
/proc/loadavg: 1.42 1.46 1.61 4/227 15854
/proc/meminfo: memFree=25396268/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10824364 memory=87292 CPUtime=1.11 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 15004 13003 0 0 97 6 5 3 20 0 15 0 444590252 11084148736 21823 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2706091 21823 3512 1 0 2668173 0
[pid=15788/tid=15841] ppid=15785 vsize=10824364 memory=47500 CPUtime=0.68 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 10301 13003 0 0 55 5 5 3 20 0 15 0 444590261 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018596236432 140018604002872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10824364 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10824364 memory=140590520246783 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10824364 memory=140591459468154 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590262 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10824364 memory=27792 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590262 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10824364 memory=7305218370954225241 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 5 13003 0 0 0 0 5 3 20 0 15 0 444590263 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10824364 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 13 13003 0 0 0 0 5 3 20 0 15 0 444590264 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018081326624 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10824364 memory=5787213827113576551 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590264 11084148736 21823 33554432000 4194304 4196468 140724207159216 140017947108720 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10824364 memory=-7028383565733675155 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10824364 memory=8326441112149131687 CPUtime=0.2 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) R 15785 15788 13460 0 -1 4202560 851 13003 0 0 12 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018150025584 140018608411935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10824364 memory=-8990767739041718176 CPUtime=0.2 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) R 15785 15788 13460 0 -1 4202560 766 13003 0 0 12 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018047768816 140018607921821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10824364 memory=-7384994778349281184 CPUtime=0.24 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 846 13003 0 0 16 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10824364 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590267 11084148736 21823 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87292 KiB

[startup+1.50068 s]
/proc/loadavg: 1.42 1.46 1.61 5/227 15854
/proc/meminfo: memFree=25338268/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10832632 memory=235136 CPUtime=3.36 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 40804 13003 0 0 313 15 5 3 20 0 15 0 444590252 11092615168 58784 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2708158 58784 3584 1 0 2670221 0
[pid=15788/tid=15841] ppid=15785 vsize=10832632 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 17867 13003 0 0 127 8 5 3 20 0 15 0 444590261 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018596250576 140018602438864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10832632 memory=109204 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 56 13003 0 0 1 0 5 3 20 0 15 0 444590262 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10832632 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 58 13003 0 0 1 0 5 3 20 0 15 0 444590262 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 20 13003 0 0 1 0 5 3 20 0 15 0 444590262 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 321 13003 0 0 1 0 5 3 20 0 15 0 444590262 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 123 13003 0 0 1 0 5 3 20 0 15 0 444590263 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10832632 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 14 13003 0 0 0 0 5 3 20 0 15 0 444590264 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018081326688 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10832632 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590264 11092615168 58784 33554432000 4194304 4196468 140724207159216 140017947108736 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10832632 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10832632 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 8308 13003 0 0 65 1 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10832632 memory=208648571778053 CPUtime=0.77 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 9116 13003 0 0 68 1 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10832632 memory=3242172 CPUtime=0.52 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 2704 13003 0 0 43 1 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10832632 memory=7660992747008971349 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10832632 memory=6935649255878192209 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 1 13003 0 0 0 0 5 3 20 0 15 0 444590267 11092615168 58784 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 3.36 s
Current children cumulated vsize: 10832632 KiB

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

[pid=15788/tid=15852] ppid=15785 vsize=10849036 memory=7890176154319333963 CPUtime=2.64 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 13766 13003 0 0 251 5 5 3 20 0 15 0 444590267 11109412864 290197 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10849036 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 290197 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10849036 memory=5842134815799760108 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 455 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 290197 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 35.29 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1160788 KiB

[startup+16.8006 s]
/proc/loadavg: 1.70 1.52 1.63 3/228 15856
/proc/meminfo: memFree=24304964/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10849036 memory=1451604 CPUtime=36.09 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 92616 13003 0 0 3522 79 5 3 20 0 15 0 444590252 11109412864 362901 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2712259 362901 3633 1 0 2674317 0
[pid=15788/tid=15841] ppid=15785 vsize=10849036 memory=14979957709343274 CPUtime=16.2 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 32112 13003 0 0 1585 27 5 3 20 0 15 0 444590261 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018596253824 140018243636876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10849036 memory=9126232286719478932 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 401 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10849036 memory=6791534058613427641 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 435 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10849036 memory=1752 CPUtime=0.54 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1109 13003 0 0 36 10 5 3 20 0 15 0 444590262 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10849036 memory=1056 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 821 13003 0 0 38 9 5 3 20 0 15 0 444590262 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10849036 memory=1556 CPUtime=0.14 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 3856 13003 0 0 6 0 5 3 20 0 15 0 444590263 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10849036 memory=11632 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 29 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018081326688 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10849036 memory=1732 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 19 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 362901 33554432000 4194304 4196468 140724207159216 140017947108736 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10849036 memory=24452 CPUtime=7.64 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 15145 13003 0 0 753 3 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10849036 memory=8028624501827125348 CPUtime=7.83 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 22253 13003 0 0 772 3 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10849036 memory=303430223234596890 CPUtime=2.64 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 13766 13003 0 0 251 5 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10849036 memory=288230621803970871 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10849036 memory=14979957709343274 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 455 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 362901 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 36.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1451604 KiB

[startup+17.6007 s]
/proc/loadavg: 1.72 1.53 1.63 3/228 15856
/proc/meminfo: memFree=23928540/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10849036 memory=1536360 CPUtime=36.98 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 93608 13003 0 0 3609 81 5 3 20 0 15 0 444590252 11109412864 384090 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2712259 384090 3633 1 0 2674317 0
[pid=15788/tid=15841] ppid=15785 vsize=10849036 memory=8 CPUtime=16.99 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 32787 13003 0 0 1663 28 5 3 20 0 15 0 444590261 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018596254488 140018241940196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10849036 memory=6791534058613427641 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 403 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10849036 memory=804 CPUtime=0.56 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 436 13003 0 0 38 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10849036 memory=1764 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1111 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10849036 memory=6791534058613427641 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 825 13003 0 0 38 9 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10849036 memory=800 CPUtime=0.14 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 4119 13003 0 0 6 0 5 3 20 0 15 0 444590263 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10849036 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 29 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018081326688 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10849036 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 19 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 384090 33554432000 4194304 4196468 140724207159216 140017947108736 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10849036 memory=47500 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10849036 memory=1988 CPUtime=7.68 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 15171 13003 0 0 757 3 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10849036 memory=988 CPUtime=7.86 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 22272 13003 0 0 775 3 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10849036 memory=1428 CPUtime=2.64 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 13766 13003 0 0 251 5 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10849036 memory=1752 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10849036 memory=281181040206672 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 455 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 36.98 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1536360 KiB

[startup+17.8007 s]
/proc/loadavg: 1.72 1.53 1.63 3/228 15856
/proc/meminfo: memFree=23928540/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10849036 memory=1536360 CPUtime=37.18 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 93608 13003 0 0 3629 81 5 3 20 0 15 0 444590252 11109412864 384090 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2712259 384090 3633 1 0 2674317 0
[pid=15788/tid=15841] ppid=15785 vsize=10849036 memory=6944656575208382560 CPUtime=17.19 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) R 15785 15788 13460 0 -1 4202560 32787 13003 0 0 1683 28 5 3 20 0 15 0 444590261 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018596254488 140018243636312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10849036 memory=-8175879895639241819 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 403 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10849036 memory=-6933350163988324034 CPUtime=0.56 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 436 13003 0 0 38 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10849036 memory=281181039886576 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1111 13003 0 0 37 10 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10849036 memory=-7740096080597194087 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 825 13003 0 0 38 9 5 3 20 0 15 0 444590262 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10849036 memory=140590664823297 CPUtime=0.14 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) S 15785 15788 13460 0 -1 1077944384 4119 13003 0 0 6 0 5 3 20 0 15 0 444590263 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018151078768 140018624432770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10849036 memory=140590520087317 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 29 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018081326688 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 19 13003 0 0 0 0 5 3 20 0 15 0 444590264 11109412864 384090 33554432000 4194304 4196468 140724207159216 140017947108736 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10849036 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) S 15785 15788 13460 0 -1 1077944384 2 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140017343129936 140018624440219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10849036 memory=576460758198939444 CPUtime=7.68 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) S 15785 15788 13460 0 -1 1077944384 15171 13003 0 0 757 3 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018150025584 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10849036 memory=288293294000309009 CPUtime=7.86 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) S 15785 15788 13460 0 -1 1077944384 22272 13003 0 0 775 3 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018047768816 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10849036 memory=3297934 CPUtime=2.64 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 13766 13003 0 0 251 5 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15854] ppid=15785 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15854/stat : 15854 (java) S 15785 15788 13460 0 -1 1077944384 455 13003 0 0 0 0 5 3 20 0 15 0 444590267 11109412864 384090 33554432000 4194304 4196468 140724207159216 140018045664432 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 37.18 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1536360 KiB

[startup+17.9024 s]
/proc/loadavg: 1.72 1.53 1.63 3/228 15856
/proc/meminfo: memFree=23928540/32770624 swapFree=66941504/67108860
[pid=15788] ppid=15785 vsize=10947344 memory=1536820 CPUtime=37.34 cores=0,2,4,6
/proc/15788/stat : 15788 (java) S 15785 15788 13460 0 -1 1077944320 94194 13003 0 0 3645 81 5 3 20 0 15 0 444590252 11210080256 384205 33554432000 4194304 4196468 140724207159216 140724207141760 140018624421623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
/proc/15788/statm: 2736836 384205 3635 1 0 2698894 0
[pid=15788/tid=15841] ppid=15785 vsize=10947344 memory=1536360 CPUtime=17.29 cores=0,2,4,6
/proc/15788/task/15841/stat : 15841 (java) S 15785 15788 13460 0 -1 1077944384 33267 13003 0 0 1693 28 5 3 20 0 15 0 444590261 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018596265104 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15842] ppid=15785 vsize=10947344 memory=1536360 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15842/stat : 15842 (java) S 15785 15788 13460 0 -1 1077944384 403 13003 0 0 37 10 5 3 20 0 15 0 444590262 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018628663952 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15843] ppid=15785 vsize=10947344 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/15788/task/15843/stat : 15843 (java) S 15785 15788 13460 0 -1 1077944384 436 13003 0 0 38 10 5 3 20 0 15 0 444590262 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018197436944 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15844] ppid=15785 vsize=10947344 memory=306807922955124762 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15844/stat : 15844 (java) S 15785 15788 13460 0 -1 1077944384 1111 13003 0 0 37 10 5 3 20 0 15 0 444590262 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018196384144 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15845] ppid=15785 vsize=10947344 memory=297237821058711863 CPUtime=0.55 cores=0,2,4,6
/proc/15788/task/15845/stat : 15845 (java) S 15785 15788 13460 0 -1 1077944384 825 13003 0 0 38 9 5 3 20 0 15 0 444590262 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018195331344 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15846] ppid=15785 vsize=10947344 memory=6791534058613427641 CPUtime=0.15 cores=0,2,4,6
/proc/15788/task/15846/stat : 15846 (java) D 15785 15788 13460 0 -1 4202560 4120 13003 0 0 7 0 5 3 20 0 15 0 444590263 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018151079288 140018617138775 0 0 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15847] ppid=15785 vsize=10947344 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15847/stat : 15847 (java) S 15785 15788 13460 0 -1 1077944384 29 13003 0 0 0 0 5 3 20 0 15 0 444590264 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018081326688 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15848] ppid=15785 vsize=10947344 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15848/stat : 15848 (java) S 15785 15788 13460 0 -1 1077944384 19 13003 0 0 0 0 5 3 20 0 15 0 444590264 11210080256 384205 33554432000 4194304 4196468 140724207159216 140017947108736 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15849] ppid=15785 vsize=10947344 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15849/stat : 15849 (java) D 15785 15788 13460 0 -1 4202560 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11210080256 384205 33554432000 4194304 4196468 140724207159216 140017343130120 140018617138586 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15850] ppid=15785 vsize=10947344 memory=1189460 CPUtime=7.71 cores=0,2,4,6
/proc/15788/task/15850/stat : 15850 (java) R 15785 15788 13460 0 -1 4202560 15186 13003 0 0 760 3 5 3 20 0 15 0 444590267 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018150012432 140018607635276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15851] ppid=15785 vsize=10947344 memory=11554003126 CPUtime=7.89 cores=0,2,4,6
/proc/15788/task/15851/stat : 15851 (java) R 15785 15788 13460 0 -1 4202560 22282 13003 0 0 778 3 5 3 20 0 15 0 444590267 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018047751184 140018607832495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15852] ppid=15785 vsize=10947344 memory=281181040501936 CPUtime=2.65 cores=0,2,4,6
/proc/15788/task/15852/stat : 15852 (java) S 15785 15788 13460 0 -1 1077944384 13791 13003 0 0 252 5 5 3 20 0 15 0 444590267 11210080256 384205 33554432000 4194304 4196468 140724207159216 140018046716016 140018624432770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
[pid=15788/tid=15853] ppid=15785 vsize=10947344 memory=281181040065712 CPUtime=0.08 cores=0,2,4,6
/proc/15788/task/15853/stat : 15853 (java) S 15785 15788 13460 0 -1 1077944384 3 13003 0 0 0 0 5 3 20 0 15 0 444590267 11210080256 384205 33554432000 4194304 4196468 140724207159216 140016873367776 140018624431829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140724207164143 140724207166661 140724207166661 140724207169487 0
Current children cumulated CPU time: 37.34 s
Current children cumulated vsize: 10947344 KiB
Current children cumulated memory: 1536820 KiB

Child status: 0
Real time (s): 17.932
CPU time (s): 37.3829
CPU user time (s): 36.512
CPU system time (s): 0.870911
CPU usage (%): 208.47
Max. virtual memory (cumulated for all children) (KiB): 10947344
Max. memory (cumulated for all children) (KiB): 1536820

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


# summary of solver processes directly reported to runsolver:
#   pid: 15788
#   total CPU time (s): 37.3829
#   total CPU user time (s): 36.512
#   total CPU system time (s): 0.870911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132859 second user time and 0.205801 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-17 03:24:38
IDJOB=4400740
IDBENCH=128067
IDSOLVER=2857
FILE ID=node149/4400740-1568683516
RUNJOBID= node149-1568673293-13491
PBS_JOBID= 21703773
Free space on /tmp= 61388 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-4400740-1568683516/watcher-4400740-1568683516 -o /tmp/evaluation-result-4400740-1568683516/solver-4400740-1568683516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4400740-1568683516.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=1612266580

node149.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.81
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.81
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.81
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.81
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:        25452644 kB
MemAvailable:   30507172 kB
Buffers:           95752 kB
Cached:          5261116 kB
SwapCached:        61088 kB
Active:          3769140 kB
Inactive:        2985152 kB
Active(anon):    1339848 kB
Inactive(anon):   106188 kB
Active(file):    2429292 kB
Inactive(file):  2878964 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       66941504 kB
Dirty:             35268 kB
Writeback:             0 kB
AnonPages:       1521160 kB
Mapped:            62008 kB
Shmem:             39960 kB
Slab:             153552 kB
SReclaimable:     124212 kB
SUnreclaim:        29340 kB
KernelStack:        3984 kB
PageTables:         8184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2574664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1431552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61352 MiB
End job on node149 at 2019-09-17 03:24:56