Trace number 4294951

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.8 2018-06-13SAT 822.972 696.711

General information on the benchmark

NameCarSequencing/
CarSequencing-60-01_c18.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark20.4936
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"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":1178},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.97/0.78	c Concrete v3.8.1528841891564 running
822.73/696.65	v <instantiation>
822.73/696.65	v       <list>
822.73/696.65	v         cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]
822.73/696.65	v       </list>
822.73/696.65	v       <values>
822.73/696.65	v         23 1 0 1 5 4 2 5 10 1 5 1 7 1 5 16 1 13 16 1 5 1 1 7 5 1 1 5 1 15 2 5 1 16 1 2 5 1 1 16 5 1 7 17 1 1 17 5 4 1 5 1 1 7 16 5 16 1 1 7 5 17 1 5 1 1 3 5 1 16 1 0 5 1 7 1 19 1 1 16 5 1 7 1 5 1 1 7 1 5 1 17 7 5 1 1 5 7 1 5 1 1 5 7 1 5 17 1 5 4 1 5 1 1 17 1 18 17 1 18 17 1 8 17 1 6 16 4 5 1 10 5 1 1 0 1 4 5 4 1 16 20 1 5 4 1 17 23 6 16 1 1 11 1 1 5 1 1 11 1 1 17 1 10 5 12 1 17 8 2 17 8 2 17 1 10 5 4 1 14 1 1 9 1 1 14 1 1 22 1 1 14 1 1 17 1 21 16 1 6 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 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 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 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 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 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 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0
822.73/696.65	v       </values>
822.73/696.65	v     </instantiation>
822.73/696.65	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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

solver pid=23767, runsolver pid=23760

[startup+0.10011 s]*
/proc/loadavg: 1.89 2.00 1.99 4/213 23840
/proc/meminfo: memFree=17630140/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=113256 memory=1604 CPUtime=0.01 cores=0,2,4,6
/proc/23767/stat : 23767 (bash) S 23760 23767 23703 0 -1 4202496 884 5663 0 1 0 0 0 1 20 0 1 0 69867694 115974144 401 33554432000 4194304 5098028 140730143673600 140730143667608 139783341628416 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 1 0 0 7196144 7232144 35225600 140730143675563 140730143675688 140730143675688 140730143678446 0
/proc/23767/statm: 28314 401 318 221 0 119 0
[pid=23820] ppid=23767 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/23820/stat : 23820 (bash) S 23767 23767 23703 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 69867698 115974144 178 33554432000 4194304 5098028 140730143673600 140730143666280 139783341453948 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35225600 140730143675563 140730143675688 140730143675688 140730143678446 0
/proc/23820/statm: 28314 178 95 221 0 119 0
[pid=23824] ppid=23820 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23824/stat : 23824 (awk) S 23820 23767 23703 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 69867698 116215808 308 33554432000 4194304 4609284 140723049037728 140723049036904 140366068505600 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 27742208 140723049043283 140723049043313 140723049043313 140723049045999 0
/proc/23824/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3548 KiB

[startup+0.210186 s]*
/proc/loadavg: 1.89 2.00 1.99 7/219 23898
/proc/meminfo: memFree=17615424/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10818904 memory=34096 CPUtime=0.22 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 6712 12877 0 1 13 1 5 3 20 0 15 0 69867694 11078557696 8524 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2704726 8524 2964 1 0 2667149 0
[pid=23767/tid=23872] ppid=23760 vsize=10818904 memory=4871374705135476842 CPUtime=0.16 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 3244 12877 0 1 8 0 5 3 20 0 15 0 69867706 11078557696 8524 33554432000 4194304 4196468 140720733772960 139930471653024 139930483909982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10818904 memory=4211973445895150986 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11078557696 8524 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10818904 memory=139719690360448 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11078557696 8524 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11078557696 8524 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867707 11078557696 8524 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867708 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 13 12877 0 1 0 0 5 3 20 0 15 0 69867709 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929497626016 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867709 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929296299504 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) R 23760 23767 23703 0 -1 1077944384 486 12877 0 1 1 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 141 12877 0 1 0 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10818904 memory=139719690360448 CPUtime=0.1 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 628 12877 0 1 2 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10818904 memory=139719690360448 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867712 11078557696 8524 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 34096 KiB

[startup+0.310422 s]*
/proc/loadavg: 1.89 2.00 1.99 5/219 23898
/proc/meminfo: memFree=17584084/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10819352 memory=47940 CPUtime=0.36 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 9915 12877 0 1 26 2 5 3 20 0 15 0 69867694 11079016448 11985 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2704838 11985 3098 1 0 2667149 0
[pid=23767/tid=23872] ppid=23760 vsize=10819352 memory=4871374705135476842 CPUtime=0.26 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 6360 12877 0 1 17 1 5 3 20 0 15 0 69867706 11079016448 11985 33554432000 4194304 4196468 140720733772960 139930471640064 139930492508717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10819384 memory=3471342116011198128 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079049216 11985 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10819384 memory=139719690384208 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079049216 11985 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10819384 memory=279439162481008 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079049216 12031 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079016448 12031 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867708 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 13 12877 0 1 0 0 5 3 20 0 15 0 69867709 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929497626016 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867709 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929296299504 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) S 23760 23767 23703 0 -1 1077944384 501 12877 0 1 2 0 5 3 20 0 15 0 69867712 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10819384 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 146 12877 0 1 1 0 5 3 20 0 15 0 69867712 11079049216 12031 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10819352 memory=139719690360448 CPUtime=0.12 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 691 12877 0 1 4 0 5 3 20 0 15 0 69867712 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10819352 memory=139719690360448 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 12031 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 47940 KiB

[startup+0.703216 s]
/proc/loadavg: 1.89 2.00 1.99 4/219 23898
/proc/meminfo: memFree=17559684/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10819352 memory=85344 CPUtime=0.97 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 16995 12877 0 1 85 4 5 3 20 0 15 0 69867694 11079016448 21336 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2704838 21336 3237 1 0 2667149 0
[pid=23767/tid=23872] ppid=23760 vsize=10819352 memory=139719581148368 CPUtime=0.64 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 12211 12877 0 1 53 3 5 3 20 0 15 0 69867706 11079016448 21336 33554432000 4194304 4196468 140720733772960 139930471656936 139930483873125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10819352 memory=139719581148464 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079016448 21336 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10819352 memory=139723876074044 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079016448 21336 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10819352 memory=17224 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079016448 21336 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10819352 memory=17804 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867707 11079016448 21336 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10819352 memory=4016 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 5 12877 0 1 0 0 5 3 20 0 15 0 69867708 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 13 12877 0 1 0 0 5 3 20 0 15 0 69867709 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929497626016 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10819352 memory=1676 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867709 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929296299504 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10819352 memory=960 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10819352 memory=1232 CPUtime=0.16 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) S 23760 23767 23703 0 -1 1077944384 889 12877 0 1 8 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10819352 memory=3988 CPUtime=0.17 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 777 12877 0 1 9 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10819352 memory=2244 CPUtime=0.21 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 898 12877 0 1 13 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10819352 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10819352 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867712 11079016448 21336 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85344 KiB

[startup+1.50076 s]
/proc/loadavg: 1.89 2.00 1.99 4/219 23898
/proc/meminfo: memFree=17482344/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10830156 memory=135372 CPUtime=2.4 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 23064 12877 0 1 225 7 5 3 20 0 15 0 69867694 11090079744 33843 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2707539 33843 3454 1 0 2669197 0
[pid=23767/tid=23872] ppid=23760 vsize=10830156 memory=6656426216303648864 CPUtime=1.26 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 15445 12877 0 1 113 5 5 3 20 0 15 0 69867706 11090079744 33843 33554432000 4194304 4196468 140720733772960 139930471644728 139930483909982 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10830156 memory=6944656592455088490 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11090079744 33843 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10830156 memory=279439162270784 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11090079744 33843 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10830156 memory=279439162275232 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867707 11090079744 33843 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10830156 memory=139719581147280 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 2 12877 0 1 0 0 5 3 20 0 15 0 69867707 11090079744 33843 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10830156 memory=279439162284032 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 6 12877 0 1 0 0 5 3 20 0 15 0 69867708 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10830156 memory=279439162288480 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 13 12877 0 1 0 0 5 3 20 0 15 0 69867709 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929497626016 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10830156 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867709 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929296299504 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10830156 memory=7444819964895187025 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10830156 memory=6935649255759568960 CPUtime=0.41 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) S 23760 23767 23703 0 -1 1077944384 1933 12877 0 1 33 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10830156 memory=6935649255759568960 CPUtime=0.45 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) R 23760 23767 23703 0 -1 4202560 1794 12877 0 1 37 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929769487944 139930499843399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10830156 memory=4638778428397469792 CPUtime=0.49 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) R 23760 23767 23703 0 -1 4202560 1672 12877 0 1 41 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929768454384 139930499850842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10830156 memory=7516877558933115733 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10830156 memory=4638778428715192400 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 1 12877 0 1 0 0 5 3 20 0 15 0 69867712 11090079744 33843 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 10830156 KiB
Current children cumulated memory: 135372 KiB

[startup+3.10998 s]
/proc/loadavg: 1.82 1.98 1.98 5/219 23898

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


[startup+694.401 s]
/proc/loadavg: 1.52 1.72 1.91 4/216 23941
/proc/meminfo: memFree=6669084/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10850656 memory=5422272 CPUtime=820.34 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 446873 12877 1 1 81381 645 5 3 20 0 15 0 69867694 11111071744 1355568 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2712664 1355568 3532 1 0 2674317 0
[pid=23767/tid=23872] ppid=23760 vsize=10850656 memory=2088 CPUtime=660.41 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 143818 12877 1 1 65999 34 5 3 20 0 15 0 69867706 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139930471663360 139930103436446 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10850656 memory=1040 CPUtime=32.66 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 39128 12877 0 1 3116 142 5 3 20 0 15 0 69867707 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10850656 memory=1628 CPUtime=32.66 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 43636 12877 0 1 3117 141 5 3 20 0 15 0 69867707 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10850656 memory=5422272 CPUtime=32.41 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 36123 12877 0 1 3092 141 5 3 20 0 15 0 69867707 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10850656 memory=5024 CPUtime=32.72 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 34164 12877 0 1 3121 143 5 3 20 0 15 0 69867707 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10850656 memory=4032 CPUtime=0.57 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 37722 12877 0 1 44 5 5 3 20 0 15 0 69867708 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10850656 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 40 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929497626080 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10850656 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 9 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929296299520 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10850656 memory=15044 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10850656 memory=17244 CPUtime=12.64 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) S 23760 23767 23703 0 -1 1077944384 36742 12877 0 1 1250 6 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10850656 memory=17804 CPUtime=12.12 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 36426 12877 0 1 1199 5 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10850656 memory=4016 CPUtime=4.27 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 34659 12877 0 1 411 8 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10850656 memory=5024 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10850656 memory=4032 CPUtime=0.47 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 2211 12877 0 1 19 20 5 3 20 0 15 0 69867712 11111071744 1355568 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 820.34 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5422272 KiB

[startup+696.001 s]*
/proc/loadavg: 1.52 1.72 1.91 4/216 23941
/proc/meminfo: memFree=6667036/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10850656 memory=5424320 CPUtime=821.98 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 447021 12877 1 1 81545 645 5 3 20 0 15 0 69867694 11111071744 1356080 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2712664 1356080 3532 1 0 2674317 0
[pid=23767/tid=23872] ppid=23760 vsize=10850656 memory=6791534058613427641 CPUtime=662 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 143959 12877 1 1 66158 34 5 3 20 0 15 0 69867706 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930471664048 139930119236377 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10850656 memory=-7003737579269690708 CPUtime=32.68 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 39130 12877 0 1 3118 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10850656 memory=-7023579799431922829 CPUtime=32.69 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 43637 12877 0 1 3119 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10850656 memory=5422272 CPUtime=32.43 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 36125 12877 0 1 3093 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10850656 memory=960 CPUtime=32.73 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 34166 12877 0 1 3122 143 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10850656 memory=1232 CPUtime=0.57 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 37722 12877 0 1 44 5 5 3 20 0 15 0 69867708 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10850656 memory=3988 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 40 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929497626080 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10850656 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 9 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929296299520 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10850656 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10850656 memory=924 CPUtime=12.64 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) S 23760 23767 23703 0 -1 1077944384 36742 12877 0 1 1250 6 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929770559472 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10850656 memory=1572 CPUtime=12.12 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 36426 12877 0 1 1199 5 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10850656 memory=2092 CPUtime=4.27 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 34659 12877 0 1 411 8 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10850656 memory=7524 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10850656 memory=840 CPUtime=0.47 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 2211 12877 0 1 19 20 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 821.98 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5424320 KiB

[startup+696.401 s]
/proc/loadavg: 1.52 1.72 1.91 4/216 23941
/proc/meminfo: memFree=6667036/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10850656 memory=5424320 CPUtime=822.39 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 452404 12877 1 1 81586 645 5 3 20 0 15 0 69867694 11111071744 1356080 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2712664 1356080 3532 1 0 2674317 0
[pid=23767/tid=23872] ppid=23760 vsize=10850656 memory=1676 CPUtime=662.39 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 144299 12877 1 1 66197 34 5 3 20 0 15 0 69867706 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930471661328 139930127342565 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10850656 memory=960 CPUtime=32.68 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 39130 12877 0 1 3118 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10850656 memory=1232 CPUtime=32.69 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 43637 12877 0 1 3119 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10850656 memory=3988 CPUtime=32.43 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 36125 12877 0 1 3093 142 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10850656 memory=2244 CPUtime=32.73 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 34166 12877 0 1 3122 143 5 3 20 0 15 0 69867707 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10850656 memory=5024 CPUtime=0.57 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 37722 12877 0 1 44 5 5 3 20 0 15 0 69867708 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10850656 memory=4032 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 40 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929497626080 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10850656 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 9 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929296299520 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10850656 memory=1088 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10850656 memory=1796 CPUtime=12.64 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) R 23760 23767 23703 0 -1 4202560 37285 12877 0 1 1250 6 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929770559472 139930483937581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10850656 memory=7012 CPUtime=12.13 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) S 23760 23767 23703 0 -1 1077944384 38596 12877 0 1 1200 5 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929769506928 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10850656 memory=15044 CPUtime=4.27 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 36993 12877 0 1 411 8 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10850656 memory=17244 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10850656 memory=17804 CPUtime=0.47 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 2211 12877 0 1 19 20 5 3 20 0 15 0 69867712 11111071744 1356080 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 822.39 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5424320 KiB

[startup+696.601 s]
/proc/loadavg: 1.52 1.72 1.91 4/216 23941
/proc/meminfo: memFree=6667036/32770624 swapFree=67108796/67108860
[pid=23767] ppid=23760 vsize=10850656 memory=5424436 CPUtime=822.73 cores=0,2,4,6
/proc/23767/stat : 23767 (java) S 23760 23767 23703 0 -1 1077944320 457390 12877 1 1 81619 646 5 3 20 0 15 0 69867694 11111071744 1356109 33554432000 4194304 4196468 140720733772960 140720733755504 139930499829495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
/proc/23767/statm: 2712664 1356109 3532 1 0 2674317 0
[pid=23767/tid=23872] ppid=23760 vsize=10850656 memory=924 CPUtime=662.59 cores=0,2,4,6
/proc/23767/task/23872/stat : 23872 (java) R 23760 23767 23703 0 -1 4202560 146418 12877 1 1 66217 34 5 3 20 0 15 0 69867706 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139930471663312 139930477053648 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23873] ppid=23760 vsize=10850656 memory=1572 CPUtime=32.68 cores=0,2,4,6
/proc/23767/task/23873/stat : 23873 (java) S 23760 23767 23703 0 -1 1077944384 39130 12877 0 1 3118 142 5 3 20 0 15 0 69867707 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139930504071440 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23875] ppid=23760 vsize=10850656 memory=2092 CPUtime=32.69 cores=0,2,4,6
/proc/23767/task/23875/stat : 23875 (java) S 23760 23767 23703 0 -1 1077944384 43637 12877 0 1 3119 142 5 3 20 0 15 0 69867707 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139930072615312 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23877] ppid=23760 vsize=10850656 memory=7524 CPUtime=32.43 cores=0,2,4,6
/proc/23767/task/23877/stat : 23877 (java) S 23760 23767 23703 0 -1 1077944384 36125 12877 0 1 3093 142 5 3 20 0 15 0 69867707 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139930071562768 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23879] ppid=23760 vsize=10850656 memory=840 CPUtime=32.73 cores=0,2,4,6
/proc/23767/task/23879/stat : 23879 (java) S 23760 23767 23703 0 -1 1077944384 34166 12877 0 1 3122 143 5 3 20 0 15 0 69867707 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139930070510224 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23881] ppid=23760 vsize=10850656 memory=4104 CPUtime=0.57 cores=0,2,4,6
/proc/23767/task/23881/stat : 23881 (java) S 23760 23767 23703 0 -1 1077944384 37722 12877 0 1 44 5 5 3 20 0 15 0 69867708 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929771612656 139930499840642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23884] ppid=23760 vsize=10850656 memory=1800 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23884/stat : 23884 (java) S 23760 23767 23703 0 -1 1077944384 40 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929497626080 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23886] ppid=23760 vsize=10850656 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23886/stat : 23886 (java) S 23760 23767 23703 0 -1 1077944384 9 12877 0 1 0 0 5 3 20 0 15 0 69867709 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929296299520 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23889] ppid=23760 vsize=10850656 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23889/stat : 23889 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929056008912 139930499848091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23892] ppid=23760 vsize=10850656 memory=288230574492221466 CPUtime=12.72 cores=0,2,4,6
/proc/23767/task/23892/stat : 23892 (java) R 23760 23767 23703 0 -1 4202560 38863 12877 0 1 1258 6 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929770544784 139930484738399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23893] ppid=23760 vsize=10850656 memory=288230621803970871 CPUtime=12.19 cores=0,2,4,6
/proc/23767/task/23893/stat : 23893 (java) R 23760 23767 23703 0 -1 4202560 39739 12877 0 1 1206 5 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929769506928 139930481239503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23894] ppid=23760 vsize=10850656 memory=13852958290872887 CPUtime=4.28 cores=0,2,4,6
/proc/23767/task/23894/stat : 23894 (java) S 23760 23767 23703 0 -1 1077944384 37139 12877 0 1 412 8 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929768454384 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23896] ppid=23760 vsize=10850656 memory=13481902344460 CPUtime=0.08 cores=0,2,4,6
/proc/23767/task/23896/stat : 23896 (java) S 23760 23767 23703 0 -1 1077944384 3 12877 0 1 0 0 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929022450272 139930499839701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
[pid=23767/tid=23898] ppid=23760 vsize=10850656 memory=288230621803970871 CPUtime=0.47 cores=0,2,4,6
/proc/23767/task/23898/stat : 23898 (java) S 23760 23767 23703 0 -1 1077944384 2211 12877 0 1 19 20 5 3 20 0 15 0 69867712 11111071744 1356109 33554432000 4194304 4196468 140720733772960 139929767402288 139930499840642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6787072 140720733776494 140720733779292 140720733779292 140720733781967 0
Current children cumulated CPU time: 822.73 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5424436 KiB

[startup+696.701 s]*
/proc/loadavg: 1.52 1.72 1.91 3/203 23942
/proc/meminfo: memFree=12031132/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 696.711
CPU time (s): 822.972
CPU user time (s): 816.435
CPU system time (s): 6.53764
CPU usage (%): 118.123
Max. virtual memory (cumulated for all children) (KiB): 10851320
Max. memory (cumulated for all children) (KiB): 5424436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.435
system time used= 6.53764
maximum resident set size= 5426796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474502
page faults= 2
swaps= 0
block input operations= 2344
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35930
involuntary context switches= 4281


# summary of solver processes directly reported to runsolver:
#   pid: 23767
#   total CPU time (s): 822.972
#   total CPU user time (s): 816.435
#   total CPU system time (s): 6.53764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79624 second user time and 6.55776 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-25 14:50:45
IDJOB=4294951
IDBENCH=141448
IDSOLVER=2750
FILE ID=node138/4294951-1532523045
RUNJOBID= node138-1532523045-23734
PBS_JOBID= 21021594
Free space on /tmp= 53804 MiB

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

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=1741314333

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17656552 kB
MemAvailable:   31923288 kB
Buffers:          156500 kB
Cached:         14258364 kB
SwapCached:           44 kB
Active:          2378744 kB
Inactive:       12094360 kB
Active(anon):       7496 kB
Inactive(anon):    79320 kB
Active(file):    2371248 kB
Inactive(file): 12015040 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             53092 kB
Writeback:             0 kB
AnonPages:         66268 kB
Mapped:            34404 kB
Shmem:             25164 kB
Slab:             337000 kB
SReclaimable:     308908 kB
SUnreclaim:        28092 kB
KernelStack:        3248 kB
PageTables:         5032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     327704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53748 MiB
End job on node138 at 2018-07-25 15:02:22