Trace number 4295086

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.8 2018-06-13SAT 285.211 190.097

General information on the benchmark

NameCarSequencing/
CarSequencing-65-02_c18.xml
MD5SUM5b8cef4a239c531d2bd2d2ec1c21b605
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.251994
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1377
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":1000},{"size":22,"count":200}]
Minimum variable degree2
Maximum variable degree56
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":32,"count":19}, {"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":64}, {"degree":37,"count":14}, {"degree":38,"count":144}, {"degree":39,"count":13}, {"degree":40,"count":102}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":4}, {"degree":55,"count":4}, {"degree":56,"count":45}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},"...",{"arity":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":1176},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.98/0.73	c Concrete v3.8.1528841891564 running
285.05/190.05	v <instantiation>
285.05/190.05	v       <list>
285.05/190.05	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]
285.05/190.05	v       </list>
285.05/190.05	v       <values>
285.05/190.05	v         10 3 17 1 10 10 9 17 4 2 9 2 7 9 1 7 17 10 3 4 10 2 9 10 4 17 9 10 17 9 4 10 9 17 10 4 9 21 17 9 4 10 9 10 17 4 0 17 20 9 4 10 9 17 10 4 10 9 17 10 17 9 4 10 3 10 17 4 9 10 2 18 10 4 10 2 9 6 4 6 17 9 10 4 9 17 10 17 4 9 10 10 9 17 1 9 10 10 9 4 17 10 9 10 17 4 9 10 10 9 4 17 10 9 10 4 17 12 20 10 13 17 17 12 4 10 17 17 9 4 10 17 9 17 10 13 4 10 9 17 10 13 17 20 17 10 0 17 4 17 9 10 10 19 13 17 17 20 16 17 12 17 17 4 12 17 10 9 5 10 9 20 10 17 8 17 17 13 17 14 17 17 20 17 11 20 17 17 21 11 17 20 17 17 15 17 17 13 17 5 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1
285.05/190.05	v       </values>
285.05/190.05	v     </instantiation>
285.05/190.05	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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

solver pid=25093, runsolver pid=25090

[startup+0.100654 s]*
/proc/loadavg: 1.61 1.64 1.58 2/207 25150
/proc/meminfo: memFree=12018860/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=9972712 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 4297 13000 0 0 1 0 5 2 20 0 6 0 70468730 10212057088 4649 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2493178 4649 1932 1 0 2481616 0
[pid=25093/tid=25146] ppid=25090 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 2104 13000 0 0 1 0 5 2 20 0 6 0 70468739 10212057088 4649 33554432000 4194304 4196468 140722303982848 139837571920464 139837600105629 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=9972712 memory=5793855544465508793 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 6 0 70468740 10212057088 4649 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=9972712 memory=140293455615616 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 6 0 70468740 10212057088 4649 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 6 0 70468740 10212057088 4649 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 6 0 70468740 10212057088 4649 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210058 s]*
/proc/loadavg: 1.61 1.64 1.58 3/216 25159
/proc/meminfo: memFree=12001400/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10818856 memory=39956 CPUtime=0.26 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 8371 13000 0 0 17 2 5 2 20 0 15 0 70468730 11078508544 9989 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2704714 9989 2962 1 0 2667149 0
[pid=25093/tid=25146] ppid=25090 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 4872 13000 0 0 10 1 5 2 20 0 15 0 70468739 11078508544 9989 33554432000 4194304 4196468 140722303982848 139837571881360 139837577307856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10818856 memory=4211974019660406154 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 15 0 70468740 11078508544 9989 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10818856 memory=140293455615616 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11078508544 9989 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11078508544 9989 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11078508544 9989 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 15 0 70468741 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 33 13000 0 0 0 0 5 2 20 0 15 0 70468742 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836602115744 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468742 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836484740336 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) S 25090 25093 23703 0 -1 1077944384 558 13000 0 0 1 0 5 2 20 0 15 0 70468744 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836568557808 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 68 13000 0 0 1 0 5 2 20 0 15 0 70468744 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10818856 memory=140293455615616 CPUtime=0.1 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 632 13000 0 0 3 0 5 2 20 0 15 0 70468745 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10818856 memory=140293455615616 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468745 11078508544 9989 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39956 KiB

[startup+0.310483 s]*
/proc/loadavg: 1.61 1.64 1.58 3/216 25159
/proc/meminfo: memFree=11990820/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10819352 memory=51300 CPUtime=0.38 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 10412 13000 0 0 28 3 5 2 20 0 15 0 70468730 11079016448 12825 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2704838 12825 3093 1 0 2667149 0
[pid=25093/tid=25146] ppid=25090 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 6902 13000 0 0 19 2 5 2 20 0 15 0 70468739 11079016448 12825 33554432000 4194304 4196468 140722303982848 139837571895712 139837584164190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 12825 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 12825 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 12825 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 12825 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10819352 memory=140293455615615 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 15 0 70468741 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 33 13000 0 0 0 0 5 2 20 0 15 0 70468742 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836602115744 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10819352 memory=140293455615616 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468742 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836484740336 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) S 25090 25093 23703 0 -1 1077944384 558 13000 0 0 1 0 5 2 20 0 15 0 70468744 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836568557808 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 69 13000 0 0 1 0 5 2 20 0 15 0 70468744 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) R 25090 25093 23703 0 -1 4202560 645 13000 0 0 5 0 5 2 20 0 15 0 70468745 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836566452208 139837580849012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468745 11079016448 12825 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51300 KiB

[startup+0.700841 s]
/proc/loadavg: 1.61 1.64 1.58 3/216 25159
/proc/meminfo: memFree=11978668/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10819352 memory=85052 CPUtime=0.98 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 16825 13000 0 0 87 4 5 2 20 0 15 0 70468730 11079016448 21263 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2704838 21263 3246 1 0 2667149 0
[pid=25093/tid=25146] ppid=25090 vsize=10819352 memory=21172 CPUtime=0.66 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 12310 13000 0 0 56 3 5 2 20 0 15 0 70468739 11079016448 21263 33554432000 4194304 4196468 140722303982848 139837571904528 139837581647255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 2 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 21263 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10819352 memory=288230583132496621 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 21263 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10819352 memory=15823278816102057 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 21263 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468740 11079016448 21263 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10819352 memory=140293295088128 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 5 13000 0 0 0 0 5 2 20 0 15 0 70468741 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10819352 memory=140295106724840 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 33 13000 0 0 0 0 5 2 20 0 15 0 70468742 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836602115744 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10819352 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468742 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836484740336 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10819352 memory=7305218370954486355 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10819352 memory=7733916894068367721 CPUtime=0.13 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) S 25090 25093 23703 0 -1 1077944384 797 13000 0 0 6 0 5 2 20 0 15 0 70468744 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836568557808 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10819352 memory=6154282490091891024 CPUtime=0.17 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 747 13000 0 0 10 0 5 2 20 0 15 0 70468744 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10819352 memory=5450916479948256810 CPUtime=0.2 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 727 13000 0 0 13 0 5 2 20 0 15 0 70468745 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10819352 memory=-8033973737701895300 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468745 11079016448 21263 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85052 KiB

[startup+1.50113 s]
/proc/loadavg: 1.61 1.64 1.58 3/216 25159
/proc/meminfo: memFree=11932212/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10834252 memory=190340 CPUtime=2.87 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 25183 13000 0 0 270 10 5 2 20 0 15 0 70468730 11094274048 47585 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2708563 47585 3482 1 0 2670221 0
[pid=25093/tid=25146] ppid=25090 vsize=10834252 memory=135384 CPUtime=1.42 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 17241 13000 0 0 128 7 5 2 20 0 15 0 70468739 11094274048 47585 33554432000 4194304 4196468 140722303982848 139837571894720 139837600105629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10834252 memory=-3117775541953847913 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 25 13000 0 0 1 0 5 2 20 0 15 0 70468740 11094274048 47585 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 28 13000 0 0 1 0 5 2 20 0 15 0 70468740 11094274048 47585 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 185 13000 0 0 1 0 5 2 20 0 15 0 70468740 11094274048 47585 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 45 13000 0 0 2 0 5 2 20 0 15 0 70468740 11094274048 47585 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10834252 memory=248316017317982 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 54 13000 0 0 1 0 5 2 20 0 15 0 70468741 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10834252 memory=297290490211296509 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 34 13000 0 0 0 0 5 2 20 0 15 0 70468742 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836602115808 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10834252 memory=4638778406923096400 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468742 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836484740352 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10834252 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10834252 memory=280586589569264 CPUtime=0.45 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) S 25090 25093 23703 0 -1 1077944384 1364 13000 0 0 38 0 5 2 20 0 15 0 70468744 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836568557808 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10834252 memory=6935649255759568960 CPUtime=0.56 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 2374 13000 0 0 49 0 5 2 20 0 15 0 70468744 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10834252 memory=-6654449461751866210 CPUtime=0.51 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 1632 13000 0 0 44 0 5 2 20 0 15 0 70468745 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10834252 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10834252 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1 13000 0 0 0 0 5 2 20 0 15 0 70468745 11094274048 47585 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10834252 KiB

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

[pid=25093/tid=25158] ppid=25090 vsize=10846560 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11106877440 1166475 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10846560 memory=1088 CPUtime=0.14 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1050 13000 0 0 4 3 5 2 20 0 15 0 70468745 11106877440 1166475 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 272.02 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 4665900 KiB

[startup+187.201 s]
/proc/loadavg: 1.96 1.86 1.69 4/216 25162
/proc/meminfo: memFree=7107252/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10846560 memory=4910444 CPUtime=276.73 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 218052 13000 0 0 27169 497 5 2 20 0 15 0 70468730 11106877440 1227611 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2711640 1227611 3522 1 0 2673293 0
[pid=25093/tid=25146] ppid=25090 vsize=10846560 memory=1088 CPUtime=160.93 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 50717 13000 0 0 16068 18 5 2 20 0 15 0 70468739 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139837571918368 139837173729659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10846560 memory=1796 CPUtime=25.5 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 14517 13000 0 0 2429 114 5 2 20 0 15 0 70468740 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10846560 memory=4665092 CPUtime=25.66 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 22721 13000 0 0 2443 116 5 2 20 0 15 0 70468740 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10846560 memory=15044 CPUtime=25.65 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 15948 13000 0 0 2440 118 5 2 20 0 15 0 70468740 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10846560 memory=4910320 CPUtime=25.69 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 21865 13000 0 0 2447 115 5 2 20 0 15 0 70468740 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10846560 memory=644 CPUtime=0.28 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 37633 13000 0 0 18 3 5 2 20 0 15 0 70468741 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10846560 memory=1676 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 56 13000 0 0 0 0 5 2 20 0 15 0 70468742 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836602115808 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10846560 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468742 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836484740352 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10846560 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10846560 memory=4072 CPUtime=5.86 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) S 25090 25093 23703 0 -1 1077944384 18593 13000 0 0 577 2 5 2 20 0 15 0 70468744 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836568557808 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10846560 memory=2244 CPUtime=5.54 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 16977 13000 0 0 545 2 5 2 20 0 15 0 70468744 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10846560 memory=4124 CPUtime=2 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 15769 13000 0 0 191 2 5 2 20 0 15 0 70468745 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10846560 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10846560 memory=15044 CPUtime=0.14 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1054 13000 0 0 4 3 5 2 20 0 15 0 70468745 11106877440 1227611 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 276.73 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 4910444 KiB

[startup+188.805 s]
/proc/loadavg: 1.96 1.86 1.69 5/216 25162
/proc/meminfo: memFree=7096960/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10850656 memory=4930976 CPUtime=281.24 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 237780 13000 0 0 27617 500 5 2 20 0 15 0 70468730 11111071744 1232744 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2712664 1232744 3528 1 0 2674317 0
[pid=25093/tid=25146] ppid=25090 vsize=10850656 memory=920 CPUtime=162.53 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 61820 13000 0 0 16227 19 5 2 20 0 15 0 70468739 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139837571919096 139837172690240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10850656 memory=4783344 CPUtime=25.5 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 14517 13000 0 0 2429 114 5 2 20 0 15 0 70468740 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10850656 memory=4929016 CPUtime=25.66 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 22721 13000 0 0 2443 116 5 2 20 0 15 0 70468740 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10850656 memory=1284 CPUtime=25.65 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 15948 13000 0 0 2440 118 5 2 20 0 15 0 70468740 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10850656 memory=1088 CPUtime=25.69 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 21865 13000 0 0 2447 115 5 2 20 0 15 0 70468740 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10850656 memory=1796 CPUtime=0.28 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 37636 13000 0 0 18 3 5 2 20 0 15 0 70468741 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10850656 memory=7012 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 56 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836602115808 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10850656 memory=15044 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836484740352 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10850656 memory=17312 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10850656 memory=17804 CPUtime=7.1 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) R 25090 25093 23703 0 -1 4202560 22592 13000 0 0 700 3 5 2 20 0 15 0 70468744 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836568544352 139837585209093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10850656 memory=4016 CPUtime=6.76 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) S 25090 25093 23703 0 -1 1077944384 19138 13000 0 0 666 3 5 2 20 0 15 0 70468744 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836567505264 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10850656 memory=8876 CPUtime=2.47 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) R 25090 25093 23703 0 -1 4202560 18231 13000 0 0 237 3 5 2 20 0 15 0 70468745 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836566446560 139837584397249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10850656 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10850656 memory=21172 CPUtime=0.14 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1054 13000 0 0 4 3 5 2 20 0 15 0 70468745 11111071744 1232744 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4930976 KiB

[startup+189.601 s]
/proc/loadavg: 2.12 1.90 1.70 5/216 25162
/proc/meminfo: memFree=7083568/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10850656 memory=4935200 CPUtime=283.76 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 238842 13000 0 0 27868 501 5 2 20 0 15 0 70468730 11111071744 1233800 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2712664 1233800 3528 1 0 2674317 0
[pid=25093/tid=25146] ppid=25090 vsize=10850656 memory=4929088 CPUtime=163.32 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 61890 13000 0 0 16306 19 5 2 20 0 15 0 70468739 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139837571914008 139837196003080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10850656 memory=6791534058613427641 CPUtime=25.5 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 14517 13000 0 0 2429 114 5 2 20 0 15 0 70468740 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10850656 memory=21172 CPUtime=25.66 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 22721 13000 0 0 2443 116 5 2 20 0 15 0 70468740 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10850656 memory=2088 CPUtime=25.65 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 15948 13000 0 0 2440 118 5 2 20 0 15 0 70468740 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10850656 memory=1040 CPUtime=25.69 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 21865 13000 0 0 2447 115 5 2 20 0 15 0 70468740 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10850656 memory=1628 CPUtime=0.28 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 37636 13000 0 0 18 3 5 2 20 0 15 0 70468741 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10850656 memory=8876 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 56 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836602115808 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10850656 memory=1120 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836484740352 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10850656 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10850656 memory=832 CPUtime=7.89 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) R 25090 25093 23703 0 -1 4202560 22738 13000 0 0 779 3 5 2 20 0 15 0 70468744 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836568557808 139837585191735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10850656 memory=1600 CPUtime=7.53 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) R 25090 25093 23703 0 -1 4202560 19700 13000 0 0 743 3 5 2 20 0 15 0 70468744 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836567490576 139837579920044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10850656 memory=5024 CPUtime=2.63 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 18518 13000 0 0 252 4 5 2 20 0 15 0 70468745 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10850656 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10850656 memory=1284 CPUtime=0.14 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1054 13000 0 0 4 3 5 2 20 0 15 0 70468745 11111071744 1233800 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 283.76 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4935200 KiB

[startup+190.009 s]*
/proc/loadavg: 2.12 1.90 1.70 6/216 25162
/proc/meminfo: memFree=7082760/32770624 swapFree=67108796/67108860
[pid=25093] ppid=25090 vsize=10850656 memory=4935648 CPUtime=285.05 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 23703 0 -1 1077944320 239131 13000 0 0 27997 501 5 2 20 0 15 0 70468730 11111071744 1233912 33554432000 4194304 4196468 140722303982848 140722303965392 139837600083703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
/proc/25093/statm: 2712664 1233912 3528 1 0 2674317 0
[pid=25093/tid=25146] ppid=25090 vsize=10850656 memory=4929760 CPUtime=163.72 cores=0,2,4,6
/proc/25093/task/25146/stat : 25146 (java) R 25090 25093 23703 0 -1 4202560 62045 13000 0 0 16346 19 5 2 20 0 15 0 70468739 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139837571920968 139837193410379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25147] ppid=25090 vsize=10850656 memory=-7003737579269690708 CPUtime=25.5 cores=0,2,4,6
/proc/25093/task/25147/stat : 25147 (java) S 25090 25093 23703 0 -1 1077944384 14517 13000 0 0 2429 114 5 2 20 0 15 0 70468740 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139837604325904 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25148] ppid=25090 vsize=10850656 memory=288230621803970871 CPUtime=25.66 cores=0,2,4,6
/proc/25093/task/25148/stat : 25148 (java) S 25090 25093 23703 0 -1 1077944384 22721 13000 0 0 2443 116 5 2 20 0 15 0 70468740 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139837492599440 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25149] ppid=25090 vsize=10850656 memory=13852958290872887 CPUtime=25.65 cores=0,2,4,6
/proc/25093/task/25149/stat : 25149 (java) S 25090 25093 23703 0 -1 1077944384 15948 13000 0 0 2440 118 5 2 20 0 15 0 70468740 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139837172607248 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25150] ppid=25090 vsize=10850656 memory=17804 CPUtime=25.69 cores=0,2,4,6
/proc/25093/task/25150/stat : 25150 (java) S 25090 25093 23703 0 -1 1077944384 21865 13000 0 0 2447 115 5 2 20 0 15 0 70468740 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139837171554704 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25151] ppid=25090 vsize=10850656 memory=4016 CPUtime=0.28 cores=0,2,4,6
/proc/25093/task/25151/stat : 25151 (java) S 25090 25093 23703 0 -1 1077944384 37636 13000 0 0 18 3 5 2 20 0 15 0 70468741 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836603169520 139837600094850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25152] ppid=25090 vsize=10850656 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25152/stat : 25152 (java) S 25090 25093 23703 0 -1 1077944384 56 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836602115808 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25153] ppid=25090 vsize=10850656 memory=1676 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25153/stat : 25153 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468742 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836484740352 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25154] ppid=25090 vsize=10850656 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25154/stat : 25154 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468744 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836177340880 139837600102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25155] ppid=25090 vsize=10850656 memory=1232 CPUtime=8.29 cores=0,2,4,6
/proc/25093/task/25155/stat : 25155 (java) R 25090 25093 23703 0 -1 4202560 22785 13000 0 0 819 3 5 2 20 0 15 0 70468744 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836568541872 139837579331496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25156] ppid=25090 vsize=10850656 memory=4072 CPUtime=7.94 cores=0,2,4,6
/proc/25093/task/25156/stat : 25156 (java) R 25090 25093 23703 0 -1 4202560 19754 13000 0 0 784 3 5 2 20 0 15 0 70468744 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836567484304 139837580319835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25157] ppid=25090 vsize=10850656 memory=2244 CPUtime=2.7 cores=0,2,4,6
/proc/25093/task/25157/stat : 25157 (java) S 25090 25093 23703 0 -1 1077944384 18548 13000 0 0 259 4 5 2 20 0 15 0 70468745 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836566452208 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25158] ppid=25090 vsize=10850656 memory=4124 CPUtime=0.07 cores=0,2,4,6
/proc/25093/task/25158/stat : 25158 (java) S 25090 25093 23703 0 -1 1077944384 3 13000 0 0 0 0 5 2 20 0 15 0 70468745 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836143782240 139837600093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
[pid=25093/tid=25159] ppid=25090 vsize=10850656 memory=924 CPUtime=0.14 cores=0,2,4,6
/proc/25093/task/25159/stat : 25159 (java) S 25090 25093 23703 0 -1 1077944384 1054 13000 0 0 4 3 5 2 20 0 15 0 70468745 11111071744 1233912 33554432000 4194304 4196468 140722303982848 139836565400624 139837600094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140722303990382 140722303993180 140722303993180 140722303995855 0
Current children cumulated CPU time: 285.05 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4935648 KiB

Child status: 0
Real time (s): 190.097
CPU time (s): 285.211
CPU user time (s): 280.135
CPU system time (s): 5.07597
CPU usage (%): 150.035
Max. virtual memory (cumulated for all children) (KiB): 10851244
Max. memory (cumulated for all children) (KiB): 4935648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.135
system time used= 5.07597
maximum resident set size= 4938124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15021
involuntary context switches= 1557


# summary of solver processes directly reported to runsolver:
#   pid: 25093
#   total CPU time (s): 285.211
#   total CPU user time (s): 280.135
#   total CPU system time (s): 5.07597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17714 second user time and 1.78094 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-25 16:30:56
IDJOB=4295086
IDBENCH=141463
IDSOLVER=2750
FILE ID=node138/4295086-1532529055
RUNJOBID= node138-1532523045-23734
PBS_JOBID= 21021594
Free space on /tmp= 53776 MiB

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

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

MD5SUM BENCH= 5b8cef4a239c531d2bd2d2ec1c21b605
RANDOM SEED=1752578209

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12027564 kB
MemAvailable:   26305596 kB
Buffers:          160636 kB
Cached:         14263904 kB
SwapCached:           44 kB
Active:          7993620 kB
Inactive:       12098860 kB
Active(anon):    5618408 kB
Inactive(anon):    77272 kB
Active(file):    2375212 kB
Inactive(file): 12021588 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             26260 kB
Writeback:             0 kB
AnonPages:       5684856 kB
Mapped:            47560 kB
Shmem:             25164 kB
Slab:             338164 kB
SReclaimable:     309692 kB
SUnreclaim:        28472 kB
KernelStack:        3824 kB
PageTables:        16428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6501472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5419008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

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