Trace number 4305116

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.9.2-SuperNGSAT 1135.04 924.899

General information on the benchmark

NameCarSequencing/
CarSequencing-75-01_c18.xml
MD5SUM440a7f21d9ad6b426785aa5fd584fc01
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 benchmark35.1949
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1416
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree73
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":19},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
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":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":1},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.99/0.73	c Concrete v3.9.2.1532736233296 running
1134.87/924.84	v <instantiation>
1134.87/924.84	v       <list>
1134.87/924.84	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]
1134.87/924.84	v       </list>
1134.87/924.84	v       <values>
1134.87/924.84	v         18 5 2 4 25 2 6 1 8 2 15 2 2 0 25 1 25 1 2 24 19 2 7 18 2 8 9 25 18 19 2 8 7 3 19 6 2 11 8 6 5 3 1 2 12 2 19 2 0 8 2 11 15 2 5 12 5 2 19 18 8 6 5 3 19 6 8 18 2 0 2 2 6 2 3 16 6 1 2 19 3 2 21 8 5 2 0 2 18 14 2 19 18 1 6 5 8 7 18 5 6 2 5 18 22 6 2 2 18 23 2 1 2 6 11 2 18 19 9 19 17 20 19 2 9 16 3 5 18 0 25 5 18 9 19 3 25 6 5 8 25 0 2 19 25 11 15 16 2 2 18 6 19 3 6 13 18 2 9 1 2 19 2 15 5 2 21 2 5 6 3 2 10 2 11 6 2 3 19 2 20 19 3 9 19 3 6 11 2 12 2 5 15 2 11 12 2 19 20 11 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 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 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0
1134.87/924.84	v       </values>
1134.87/924.84	v     </instantiation>
1134.87/924.84	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 (3895 MiB free)
  memory of node 1: 16384 MiB (7110 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305116-1534117120/watcher-4305116-1534117120 -o /tmp/evaluation-result-4305116-1534117120/solver-4305116-1534117120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534098057-27632 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1099662288 -superng HOME/instance-4305116-1534117120.xml 

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

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


[startup+0.100069 s]*
/proc/loadavg: 1.56 1.61 1.55 3/206 31311
/proc/meminfo: memFree=11259520/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=10022588 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 4358 13233 0 0 1 0 5 3 20 0 7 0 229275184 10263130112 4714 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2505647 4714 1971 1 0 2494085 0
[pid=31254/tid=31307] ppid=31251 vsize=10088124 memory=4279135704013833615 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 2157 13233 0 0 1 0 5 3 20 0 7 0 229275192 10330238976 4714 33554432000 4194304 4196468 140732817657088 140556349491984 140556360690608 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=10088124 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 7 0 229275193 10330238976 4714 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=10088124 memory=139812314154624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 7 0 229275193 10330238976 4714 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=10088124 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 7 0 229275193 10330238976 4714 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=10088124 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 7 0 229275193 10330238976 4714 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=10088124 memory=139812314154624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 7 0 229275194 10330238976 4714 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10022588 KiB
Current children cumulated memory: 18856 KiB

[startup+0.209996 s]*
/proc/loadavg: 1.56 1.61 1.55 3/215 31320
/proc/meminfo: memFree=11238252/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=10982744 memory=49344 CPUtime=0.27 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 9116 13233 0 0 17 2 5 3 20 0 15 0 229275184 11246329856 12336 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2745694 12336 2981 1 0 2708117 0
[pid=31254/tid=31307] ppid=31251 vsize=10982776 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 5669 13233 0 0 11 1 5 3 20 0 15 0 229275192 11246362624 12336 33554432000 4194304 4196468 140732817657088 140556349473696 140556370328605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=10982776 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246362624 12336 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=10982776 memory=139812314182512 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246362624 12336 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246362624 12336 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246362624 12336 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=10982776 memory=139812314154624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275194 11246362624 12336 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246362624 12336 33554432000 4194304 4196468 140732817657088 140555220673824 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246329856 12336 33554432000 4194304 4196468 140732817657088 140555019347568 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246329856 12336 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 548 13233 0 0 1 0 5 3 20 0 15 0 229275198 11246329856 12336 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 73 13233 0 0 1 0 5 3 20 0 15 0 229275198 11246329856 12336 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=10982744 memory=139812314154624 CPUtime=0.11 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 609 13233 0 0 3 0 5 3 20 0 15 0 229275198 11246329856 12336 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246362624 12336 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=10982776 memory=139812314154624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246362624 12336 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 49344 KiB

[startup+0.310462 s]*
/proc/loadavg: 1.56 1.61 1.55 3/215 31320
/proc/meminfo: memFree=11224732/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=10983192 memory=57220 CPUtime=0.39 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 10333 13233 0 0 29 2 5 3 20 0 15 0 229275184 11246788608 14305 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2745798 14305 3100 1 0 2708109 0
[pid=31254/tid=31307] ppid=31251 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 6869 13233 0 0 20 1 5 3 20 0 15 0 229275192 11246788608 14305 33554432000 4194304 4196468 140732817657088 140556349460896 140556360825456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 14305 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 14305 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 14305 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 14305 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275194 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555220673824 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555019347568 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 548 13233 0 0 1 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 74 13233 0 0 1 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=10983192 memory=139812314154624 CPUtime=0.13 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 617 13233 0 0 5 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=10983192 memory=139812314154624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 14305 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57220 KiB

[startup+0.700779 s]
/proc/loadavg: 1.56 1.61 1.55 3/215 31320
/proc/meminfo: memFree=11215924/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=10983192 memory=89412 CPUtime=0.99 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 16395 13233 0 0 87 4 5 3 20 0 15 0 229275184 11246788608 22353 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2745798 22353 3247 1 0 2708109 0
[pid=31254/tid=31307] ppid=31251 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 11871 13233 0 0 57 2 5 3 20 0 15 0 229275192 11246788608 22353 33554432000 4194304 4196468 140732817657088 140556349469712 140556359212416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 22353 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 22353 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=10983192 memory=139812191486576 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 22353 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=10983192 memory=139814070387278 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 2 13233 0 0 0 0 5 3 20 0 15 0 229275193 11246788608 22353 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=10983192 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 5 13233 0 0 0 0 5 3 20 0 15 0 229275194 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=10983192 memory=7014751519734519121 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555220673824 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=10983192 memory=4044 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275195 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555019347568 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=10983192 memory=34448 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=10983192 memory=14644 CPUtime=0.15 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 933 13233 0 0 7 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=10983192 memory=1720 CPUtime=0.17 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 699 13233 0 0 9 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=10983192 memory=508 CPUtime=0.2 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 664 13233 0 0 12 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=10983192 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=10983192 memory=1172 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275198 11246788608 22353 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89412 KiB

[startup+1.5014 s]
/proc/loadavg: 1.56 1.61 1.55 4/215 31320
/proc/meminfo: memFree=11170472/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=10998912 memory=219064 CPUtime=3.11 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 31217 13233 0 0 294 9 5 3 20 0 15 0 229275184 11262885888 54766 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2749728 54766 3467 1 0 2711386 0
[pid=31254/tid=31307] ppid=31251 vsize=10998912 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) S 31251 31254 27600 0 -1 1077944384 17887 13233 0 0 130 5 5 3 20 0 15 0 229275192 11262885888 54766 33554432000 4194304 4196468 140732817657088 140556349480560 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=10998912 memory=279624383021504 CPUtime=0.1 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 225 13233 0 0 2 0 5 3 20 0 15 0 229275193 11262885888 54766 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=10998912 memory=279624383030816 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 20 13233 0 0 1 0 5 3 20 0 15 0 229275193 11262885888 54766 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=10998912 memory=139812191521264 CPUtime=0.1 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) R 31251 31254 27600 0 -1 1077944384 38 13233 0 0 2 0 5 3 20 0 15 0 229275193 11262885888 54766 33554432000 4194304 4196468 140732817657088 140556235557536 140556377659093 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=10998912 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 27 13233 0 0 1 0 5 3 20 0 15 0 229275193 11262885888 54766 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=10998912 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 86 13233 0 0 1 0 5 3 20 0 15 0 229275194 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555802580128 140556377659093 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=10998912 memory=12966506269086 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 13 13233 0 0 0 0 5 3 20 0 15 0 229275195 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555220673824 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=10998912 memory=7091876830691532856 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275195 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555019347568 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=10998912 memory=7739549666349444200 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=10998912 memory=-6812210783619891858 CPUtime=0.61 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 3703 13233 0 0 53 0 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555801519536 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=10998912 memory=7228673687446053223 CPUtime=0.69 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) R 31251 31254 27600 0 -1 4202560 5188 13233 0 0 60 1 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555800461368 140556362570669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=10998912 memory=6655300316396806240 CPUtime=0.5 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 1826 13233 0 0 41 1 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=10998912 memory=7882819299567493222 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=10998912 memory=7014746125255664741 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1 13233 0 0 0 0 5 3 20 0 15 0 229275198 11262885888 54766 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0

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

[pid=31254/tid=31319] ppid=31251 vsize=11082080 memory=6150812 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=11082080 memory=1160 CPUtime=0.6 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1606 13233 0 0 24 28 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 1131.45 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6208676 KiB

[startup+923.201 s]
/proc/loadavg: 1.75 1.79 1.74 3/215 31350
/proc/meminfo: memFree=4852232/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=11082080 memory=6208676 CPUtime=1133.12 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 494414 13233 0 0 112704 600 5 3 20 0 15 0 229275184 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2770520 1552169 3538 1 0 2732173 0
[pid=31254/tid=31307] ppid=31251 vsize=11082080 memory=8 CPUtime=859.39 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 125670 13233 0 0 85889 42 5 3 20 0 15 0 229275192 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556349482608 140555909663592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=11082080 memory=4000 CPUtime=60.12 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 27399 13233 0 0 5878 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=11082080 memory=1156 CPUtime=60.09 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 31092 13233 0 0 5875 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=11082080 memory=15212 CPUtime=60 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 26622 13233 0 0 5868 124 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=11082080 memory=6208676 CPUtime=60.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 39133 13233 0 0 5872 128 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=11082080 memory=3684 CPUtime=3.31 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 80967 13233 0 0 315 8 5 3 20 0 15 0 229275194 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=11082080 memory=62388 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 38 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555220673888 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=11082080 memory=2148 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 25 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555019347584 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=11082080 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=11082080 memory=1784 CPUtime=12.46 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 49871 13233 0 0 1231 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=11082080 memory=1616 CPUtime=14.19 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 57870 13233 0 0 1404 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=11082080 memory=756 CPUtime=3.52 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 51919 13233 0 0 335 9 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=11082080 memory=9624 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=11082080 memory=876 CPUtime=0.6 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1606 13233 0 0 24 28 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 1133.12 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6208676 KiB

[startup+924.001 s]*
/proc/loadavg: 1.75 1.79 1.74 3/215 31350
/proc/meminfo: memFree=4852232/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=11082080 memory=6208676 CPUtime=1133.99 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 499849 13233 0 0 112791 600 5 3 20 0 15 0 229275184 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2770520 1552169 3538 1 0 2732173 0
[pid=31254/tid=31307] ppid=31251 vsize=11082080 memory=6791534058613427641 CPUtime=860.2 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 125784 13233 0 0 85970 42 5 3 20 0 15 0 229275192 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556349480416 140555931932264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=11082080 memory=1616 CPUtime=60.12 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 27399 13233 0 0 5878 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=11082080 memory=756 CPUtime=60.09 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 31092 13233 0 0 5875 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=11082080 memory=9624 CPUtime=60 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 26622 13233 0 0 5868 124 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=11082080 memory=4872558044660077418 CPUtime=60.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 39133 13233 0 0 5872 128 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=11082080 memory=1924 CPUtime=3.31 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 80968 13233 0 0 315 8 5 3 20 0 15 0 229275194 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=11082080 memory=6992 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 38 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555220673888 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=11082080 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 25 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555019347584 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=11082080 memory=4700 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=11082080 memory=1404 CPUtime=12.49 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 51317 13233 0 0 1234 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=11082080 memory=4000 CPUtime=14.21 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 59703 13233 0 0 1406 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=11082080 memory=1156 CPUtime=3.52 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 53960 13233 0 0 335 9 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=11082080 memory=15212 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=11082080 memory=4044 CPUtime=0.6 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1606 13233 0 0 24 28 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 1133.99 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6208676 KiB

[startup+924.401 s]
/proc/loadavg: 1.75 1.79 1.74 3/215 31350
/proc/meminfo: memFree=4852232/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=11082080 memory=6208676 CPUtime=1134.39 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 500223 13233 0 0 112831 600 5 3 20 0 15 0 229275184 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2770520 1552169 3538 1 0 2732173 0
[pid=31254/tid=31307] ppid=31251 vsize=11082080 memory=3196 CPUtime=860.59 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 125791 13233 0 0 86009 42 5 3 20 0 15 0 229275192 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556349480304 140555930300416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=11082080 memory=6089316 CPUtime=60.12 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 27399 13233 0 0 5878 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=11082080 memory=6791534058613427641 CPUtime=60.09 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 31092 13233 0 0 5875 126 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=11082080 memory=2144 CPUtime=60 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 26622 13233 0 0 5868 124 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=11082080 memory=6208720 CPUtime=60.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 39133 13233 0 0 5872 128 5 3 20 0 15 0 229275193 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=11082080 memory=6228656 CPUtime=3.31 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 80968 13233 0 0 315 8 5 3 20 0 15 0 229275194 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=11082080 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 38 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555220673888 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=11082080 memory=508 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 25 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555019347584 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=11082080 memory=6208676 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=11082080 memory=3472468108419497644 CPUtime=12.49 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 51317 13233 0 0 1234 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=11082080 memory=3471342208512924784 CPUtime=14.22 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 60060 13233 0 0 1407 7 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=11082080 memory=139812191526278 CPUtime=3.52 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 53960 13233 0 0 335 9 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=11082080 memory=139812191783424 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=11082080 memory=13712399295736984 CPUtime=0.6 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1616 13233 0 0 24 28 5 3 20 0 15 0 229275198 11348049920 1552169 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 1134.39 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6208676 KiB

[startup+924.801 s]
/proc/loadavg: 1.75 1.79 1.74 3/215 31350
/proc/meminfo: memFree=4852232/32770624 swapFree=67108404/67108860
[pid=31254] ppid=31251 vsize=11082080 memory=6208728 CPUtime=1134.87 cores=1,3,5,7
/proc/31254/stat : 31254 (java) S 31251 31254 27600 0 -1 1077944320 502587 13233 0 0 112879 600 5 3 20 0 15 0 229275184 11348049920 1552182 33554432000 4194304 4196468 140732817657088 140732817639632 140556377648887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
/proc/31254/statm: 2770520 1552182 3539 1 0 2732173 0
[pid=31254/tid=31307] ppid=31251 vsize=11082080 memory=6208676 CPUtime=860.99 cores=1,3,5,7
/proc/31254/task/31307/stat : 31307 (java) R 31251 31254 27600 0 -1 4202560 127046 13233 0 0 86049 42 5 3 20 0 15 0 229275192 11348049920 1552182 33554432000 4194304 4196468 140732817657088 140556349480416 140556363342385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31308] ppid=31251 vsize=11082080 memory=3472474735586346277 CPUtime=60.12 cores=1,3,5,7
/proc/31254/task/31308/stat : 31308 (java) S 31251 31254 27600 0 -1 1077944384 27399 13233 0 0 5878 126 5 3 20 0 15 0 229275193 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140556381890960 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31309] ppid=31251 vsize=11082080 memory=1160 CPUtime=60.09 cores=1,3,5,7
/proc/31254/task/31309/stat : 31309 (java) S 31251 31254 27600 0 -1 1077944384 31092 13233 0 0 5875 126 5 3 20 0 15 0 229275193 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140556236609808 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31310] ppid=31251 vsize=11082080 memory=1784 CPUtime=60 cores=1,3,5,7
/proc/31254/task/31310/stat : 31310 (java) S 31251 31254 27600 0 -1 1077944384 26622 13233 0 0 5868 124 5 3 20 0 15 0 229275193 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140556235557520 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31311] ppid=31251 vsize=11082080 memory=1616 CPUtime=60.08 cores=1,3,5,7
/proc/31254/task/31311/stat : 31311 (java) S 31251 31254 27600 0 -1 1077944384 39133 13233 0 0 5872 128 5 3 20 0 15 0 229275193 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140556234504720 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31312] ppid=31251 vsize=11082080 memory=56 CPUtime=3.31 cores=1,3,5,7
/proc/31254/task/31312/stat : 31312 (java) S 31251 31254 27600 0 -1 1077944384 80968 13233 0 0 315 8 5 3 20 0 15 0 229275194 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555802581616 140556377660034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31313] ppid=31251 vsize=11082080 memory=304556140371640614 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31313/stat : 31313 (java) S 31251 31254 27600 0 -1 1077944384 38 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555220673888 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31314] ppid=31251 vsize=11082080 memory=15823287406036505 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31314/stat : 31314 (java) S 31251 31254 27600 0 -1 1077944384 25 13233 0 0 0 0 5 3 20 0 15 0 229275195 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555019347584 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31315] ppid=31251 vsize=11082080 memory=6208692 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31315/stat : 31315 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140554711947856 140556377667483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31316] ppid=31251 vsize=11082080 memory=3684 CPUtime=12.52 cores=1,3,5,7
/proc/31254/task/31316/stat : 31316 (java) S 31251 31254 27600 0 -1 1077944384 51408 13233 0 0 1237 7 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555801528432 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31317] ppid=31251 vsize=11082080 memory=62388 CPUtime=14.26 cores=1,3,5,7
/proc/31254/task/31317/stat : 31317 (java) S 31251 31254 27600 0 -1 1077944384 60131 13233 0 0 1411 7 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555800475632 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31318] ppid=31251 vsize=11082080 memory=6791534058613427641 CPUtime=3.53 cores=1,3,5,7
/proc/31254/task/31318/stat : 31318 (java) S 31251 31254 27600 0 -1 1077944384 54918 13233 0 0 336 9 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555799423344 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31319] ppid=31251 vsize=11082080 memory=7540 CPUtime=0.08 cores=1,3,5,7
/proc/31254/task/31319/stat : 31319 (java) S 31251 31254 27600 0 -1 1077944384 3 13233 0 0 0 0 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140554281150944 140556377659093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
[pid=31254/tid=31320] ppid=31251 vsize=11082080 memory=812 CPUtime=0.6 cores=1,3,5,7
/proc/31254/task/31320/stat : 31320 (java) S 31251 31254 27600 0 -1 1077944384 1616 13233 0 0 24 28 5 3 20 0 15 0 229275198 11348049920 1552184 33554432000 4194304 4196468 140732817657088 140555798371248 140556377660034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 34349056 140732817660515 140732817663324 140732817663324 140732817665999 0
Current children cumulated CPU time: 1134.87 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 6208728 KiB

Child status: 0
Real time (s): 924.899
CPU time (s): 1135.04
CPU user time (s): 1128.96
CPU system time (s): 6.07602
CPU usage (%): 122.72
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 6228656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1128.96
system time used= 6.07602
maximum resident set size= 6228656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38175
involuntary context switches= 3408


# summary of solver processes directly reported to runsolver:
#   pid: 31254
#   total CPU time (s): 1135.04
#   total CPU user time (s): 1128.96
#   total CPU system time (s): 6.07602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.3222 second user time and 9.01303 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-13 01:38:40
IDJOB=4305116
IDBENCH=141451
IDSOLVER=2781
FILE ID=node148/4305116-1534117120
RUNJOBID= node148-1534098057-27632
PBS_JOBID= 21037003
Free space on /tmp= 33932 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/CarSequencing/CarSequencing-75-01_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305116-1534117120/watcher-4305116-1534117120 -o /tmp/evaluation-result-4305116-1534117120/solver-4305116-1534117120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534098057-27632 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1099662288 -superng HOME/instance-4305116-1534117120.xml

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

MD5SUM BENCH= 440a7f21d9ad6b426785aa5fd584fc01
RANDOM SEED=1099662288

node148.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.50
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.50
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.50
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.50
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:        11269904 kB
MemAvailable:   26029964 kB
Buffers:          196512 kB
Cached:         14613116 kB
SwapCached:          352 kB
Active:         13152608 kB
Inactive:        7575180 kB
Active(anon):    5871164 kB
Inactive(anon):    99412 kB
Active(file):    7281444 kB
Inactive(file):  7475768 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26604 kB
Writeback:             0 kB
AnonPages:       5925280 kB
Mapped:            67884 kB
Shmem:             49592 kB
Slab:             459348 kB
SReclaimable:     431308 kB
SUnreclaim:        28040 kB
KernelStack:        3504 kB
PageTables:        17008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6831764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5654528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33908 MiB
End job on node148 at 2018-08-13 01:54:05