Trace number 4402492

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.3SAT 29.9324 12.9867

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-03.xml
MD5SUM20e15596ff36696b27df04e6639fd466
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 benchmark14.7818
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1369
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 degree53
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":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}]
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":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"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":1168},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.77/0.57	c Concrete v3.12.3.1568965526260 running
29.79/12.95	v <instantiation
29.79/12.95	v         >
29.79/12.95	v       <list>
29.79/12.95	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]
29.79/12.95	v       </list>
29.79/12.95	v       <values>
29.79/12.95	v         2 11 9 18 11 23 9 17 11 0 2 11 7 11 2 23 20 1 11 11 2 2 11 11 9 2 2 16 9 23 2 23 2 3 11 17 11 2 2 9 11 11 12 11 17 2 17 14 23 2 21 17 11 9 2 2 9 11 11 8 11 16 20 11 2 11 9 17 2 11 2 9 17 11 11 17 2 11 11 13 2 15 9 2 11 8 11 9 2 11 2 9 11 2 9 2 11 13 11 2 2 11 11 9 15 11 9 2 11 2 9 11 11 2 16 13 11 11 9 2 2 11 19 9 17 2 20 16 23 14 2 2 10 11 17 2 9 11 2 9 16 2 9 11 2 13 11 4 9 11 2 11 11 9 6 2 11 9 11 5 9 6 11 9 2 11 8 11 17 22 23 2 23 14 16 11 2 6 9 11 17 2 14 2 1 9 11 2 9 2 11 9 6 11 8 9 11 6 9 6 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 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 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0
29.79/12.95	v       </values>
29.79/12.95	v     </instantiation>
29.79/12.96	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 (6061 MiB free)
  memory of node 1: 16384 MiB (3812 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402492-1568977135/watcher-4402492-1568977135 -o /var/tmp/evaluation-result-4402492-1568977135/solver-4402492-1568977135 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402492-1568977135.xml 

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

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


[startup+0.10016 s]*
/proc/loadavg: 1.06 1.29 1.43 4/217 22454
/proc/meminfo: memFree=10106284/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=9972712 memory=15172 CPUtime=0.09 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 4527 13022 0 0 1 1 5 2 20 0 6 0 473971557 10212057088 3793 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2493178 3793 1934 1 0 2481616 0
[pid=22397/tid=22450] ppid=22394 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 2334 13022 0 0 1 0 5 2 20 0 6 0 473971566 10212057088 3793 33554432000 4194304 4196468 140723223446176 139636406350416 139636434535581 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 473971567 10212057088 3793 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=9972712 memory=140590786565760 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 6 0 473971567 10212057088 3793 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 473971567 10212057088 3793 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 6 0 473971567 10212057088 3793 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15172 KiB

[startup+0.211098 s]*
/proc/loadavg: 1.06 1.29 1.43 3/226 22463
/proc/meminfo: memFree=10083492/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10819716 memory=44200 CPUtime=0.25 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 7359 13022 0 0 16 2 5 2 20 0 15 0 473971557 11079389184 11050 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2704929 11050 3189 1 0 2667149 0
[pid=22397/tid=22450] ppid=22394 vsize=10819716 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 3850 13022 0 0 10 1 5 2 20 0 15 0 473971566 11079389184 11050 33554432000 4194304 4196468 140723223446176 139636406301040 139636419679294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10819716 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079389184 11050 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10819716 memory=140590786587034 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079389184 11050 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10819716 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079389184 11050 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10819716 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079389184 11050 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10819716 memory=140590786565760 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971569 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10819716 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 473971569 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635892135584 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10819716 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971570 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635762128112 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10819716 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 469 13022 0 0 1 0 5 2 20 0 15 0 473971572 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10819716 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 170 13022 0 0 0 0 5 2 20 0 15 0 473971572 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10819716 memory=140590786565760 CPUtime=0.1 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 619 13022 0 0 3 0 5 2 20 0 15 0 473971572 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10819716 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11079389184 11050 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10819716 memory=140590786565760 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971573 11079389184 11050 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 44200 KiB

[startup+0.310471 s]*
/proc/loadavg: 1.06 1.29 1.43 3/226 22463
/proc/meminfo: memFree=10071912/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10820196 memory=53164 CPUtime=0.39 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 10998 13022 0 0 28 4 5 2 20 0 15 0 473971557 11079880704 13291 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2705049 13291 3321 1 0 2667149 0
[pid=22397/tid=22450] ppid=22394 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 7473 13022 0 0 18 3 5 2 20 0 15 0 473971566 11079880704 13291 33554432000 4194304 4196468 140723223446176 139636406322576 139636415158322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079880704 13291 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079880704 13291 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079880704 13291 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11079880704 13291 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971569 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 473971569 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635892135584 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971570 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635762128112 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 478 13022 0 0 2 0 5 2 20 0 15 0 473971572 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 171 13022 0 0 1 0 5 2 20 0 15 0 473971572 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10820196 memory=140590786565760 CPUtime=0.12 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 627 13022 0 0 5 0 5 2 20 0 15 0 473971572 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11079880704 13291 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10820196 memory=140590786565760 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971573 11079880704 13291 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53164 KiB

[startup+0.700663 s]
/proc/loadavg: 1.06 1.29 1.43 3/226 22463
/proc/meminfo: memFree=10059300/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10824364 memory=83456 CPUtime=1.13 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 15114 13022 0 0 100 6 5 2 20 0 15 0 473971557 11084148736 20864 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2706091 20864 3502 1 0 2668173 0
[pid=22397/tid=22450] ppid=22394 vsize=10824364 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 10489 13022 0 0 54 4 5 2 20 0 15 0 473971566 11084148736 20864 33554432000 4194304 4196468 140723223446176 139636406336784 139636418594142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11084148736 20864 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11084148736 20864 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10824364 memory=140590654304464 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971567 11084148736 20864 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10824364 memory=140591459467881 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971567 11084148736 20864 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10824364 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 5 13022 0 0 0 0 5 2 20 0 15 0 473971569 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10824364 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 473971569 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635892135584 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10824364 memory=7739528784169232748 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971570 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635762128112 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10824364 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10824364 memory=2116 CPUtime=0.19 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) R 22394 22397 19941 0 -1 1077944384 912 13022 0 0 12 0 5 2 20 0 15 0 473971572 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10824364 memory=516 CPUtime=0.22 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 750 13022 0 0 15 0 5 2 20 0 15 0 473971572 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10824364 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) R 22394 22397 19941 0 -1 4202560 709 13022 0 0 17 0 5 2 20 0 15 0 473971572 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635856472048 139636434535002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10824364 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11084148736 20864 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10824364 memory=1772 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971573 11084148736 20864 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83456 KiB

[startup+1.50079 s]
/proc/loadavg: 1.06 1.29 1.43 5/226 22463
/proc/meminfo: memFree=10001236/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10832632 memory=231288 CPUtime=3.42 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 41057 13022 0 0 321 14 5 2 20 0 15 0 473971557 11092615168 57822 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2708158 57822 3583 1 0 2670221 0
[pid=22397/tid=22450] ppid=22394 vsize=10832632 memory=189348 CPUtime=1.42 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 17725 13022 0 0 128 7 5 2 20 0 15 0 473971566 11092615168 57822 33554432000 4194304 4196468 140723223446176 139636406335584 139636419883563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10832632 memory=2436 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 23 13022 0 0 1 0 5 2 20 0 15 0 473971567 11092615168 57822 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10832632 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 322 13022 0 0 1 0 5 2 20 0 15 0 473971567 11092615168 57822 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 47 13022 0 0 1 0 5 2 20 0 15 0 473971567 11092615168 57822 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10832632 memory=-7303279828959712342 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 68 13022 0 0 1 0 5 2 20 0 15 0 473971567 11092615168 57822 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10832632 memory=3833724587141655611 CPUtime=0.08 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 99 13022 0 0 1 0 5 2 20 0 15 0 473971569 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10832632 memory=-7016161123436706971 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 473971569 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635892135584 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10832632 memory=-6005673638262905286 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971570 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635762128112 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10832632 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10832632 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 8298 13022 0 0 68 1 5 2 20 0 15 0 473971572 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10832632 memory=4580 CPUtime=0.81 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 9463 13022 0 0 73 1 5 2 20 0 15 0 473971572 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10832632 memory=7228928657825222742 CPUtime=0.5 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 2768 13022 0 0 43 0 5 2 20 0 15 0 473971572 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10832632 memory=7516883056576586816 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11092615168 57822 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10832632 memory=8101246106709156951 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 473971573 11092615168 57822 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 10832632 KiB

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

[startup+6.30073 s]
/proc/loadavg: 1.13 1.30 1.44 4/227 22465
/proc/meminfo: memFree=9517644/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10844940 memory=609372 CPUtime=14.11 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 58456 13022 0 0 1363 41 5 2 20 0 15 0 473971557 11105218560 152343 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2711235 152343 3623 1 0 2673293 0
[pid=22397/tid=22450] ppid=22394 vsize=10844940 memory=23 CPUtime=5.95 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 24783 13022 0 0 576 12 5 2 20 0 15 0 473971566 11105218560 152343 33554432000 4194304 4196468 140723223446176 139636406346616 139636053711660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10844940 memory=281181308664288 CPUtime=0.3 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 277 13022 0 0 18 5 5 2 20 0 15 0 473971567 11105218560 152343 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10844940 memory=-6861001314482542224 CPUtime=0.33 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 526 13022 0 0 21 5 5 2 20 0 15 0 473971567 11105218560 152343 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10844940 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 231 13022 0 0 20 5 5 2 20 0 15 0 473971567 11105218560 152343 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10844940 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 235 13022 0 0 21 5 5 2 20 0 15 0 473971567 11105218560 152343 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10844940 memory=233236 CPUtime=0.1 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 896 13022 0 0 3 0 5 2 20 0 15 0 473971569 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10844940 memory=18 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 40 13022 0 0 0 0 5 2 20 0 15 0 473971569 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635892135648 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10844940 memory=491800 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 5 13022 0 0 0 0 5 2 20 0 15 0 473971570 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635762128128 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10844940 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10844940 memory=928 CPUtime=2.77 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 9903 13022 0 0 268 2 5 2 20 0 15 0 473971572 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10844940 memory=1772 CPUtime=2.91 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 11015 13022 0 0 282 2 5 2 20 0 15 0 473971572 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10844940 memory=281181308875072 CPUtime=1.57 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 7938 13022 0 0 149 1 5 2 20 0 15 0 473971572 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11105218560 152343 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 399 13022 0 0 0 0 5 2 20 0 15 0 473971573 11105218560 152343 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 14.11 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 609372 KiB

[startup+12.7008 s]
/proc/loadavg: 1.44 1.36 1.46 4/226 22465
/proc/meminfo: memFree=8970280/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10849036 memory=1155320 CPUtime=29.57 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 87969 13022 0 0 2883 67 5 2 20 0 15 0 473971557 11109412864 288830 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2712259 288830 3634 1 0 2674317 0
[pid=22397/tid=22450] ppid=22394 vsize=10849036 memory=1155320 CPUtime=12.08 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 32560 13022 0 0 1182 19 5 2 20 0 15 0 473971566 11109412864 288830 33554432000 4194304 4196468 140723223446176 139636406350224 139636046490695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10849036 memory=1155320 CPUtime=0.5 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 979 13022 0 0 34 9 5 2 20 0 15 0 473971567 11109412864 288830 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10849036 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 699 13022 0 0 36 9 5 2 20 0 15 0 473971567 11109412864 288830 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10849036 memory=3272 CPUtime=0.54 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 435 13022 0 0 38 9 5 2 20 0 15 0 473971567 11109412864 288830 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10849036 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 387 13022 0 0 37 8 5 2 20 0 15 0 473971567 11109412864 288830 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10849036 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 4570 13022 0 0 6 1 5 2 20 0 15 0 473971569 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10849036 memory=4426639978525455914 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 53 13022 0 0 0 0 5 2 20 0 15 0 473971569 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635892135648 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10849036 memory=3047711553219693942 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 10 13022 0 0 0 0 5 2 20 0 15 0 473971570 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635762128128 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10849036 memory=1155264 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10849036 memory=940988 CPUtime=6.45 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 13804 13022 0 0 636 2 5 2 20 0 15 0 473971572 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10849036 memory=281181308818256 CPUtime=6.72 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 14352 13022 0 0 663 2 5 2 20 0 15 0 473971572 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10849036 memory=45 CPUtime=2.55 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 17499 13022 0 0 245 3 5 2 20 0 15 0 473971572 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10849036 memory=281177818958628 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288830 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10849036 memory=281181309112032 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 413 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288830 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 29.57 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1155320 KiB

[startup+12.9867 s]
# the end of solver process 22397 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.2071 s, system=0.725303 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.801 s]
/proc/loadavg: 1.44 1.36 1.46 4/226 22465
/proc/meminfo: memFree=8970280/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10849036 memory=1155352 CPUtime=29.69 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 87971 13022 0 0 2895 67 5 2 20 0 15 0 473971557 11109412864 288838 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2712259 288838 3634 1 0 2674317 0
[pid=22397/tid=22450] ppid=22394 vsize=10849036 memory=2016 CPUtime=12.18 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 32560 13022 0 0 1192 19 5 2 20 0 15 0 473971566 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636406350224 139636046393822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10849036 memory=1412 CPUtime=0.5 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 979 13022 0 0 34 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10849036 memory=1548 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 699 13022 0 0 36 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10849036 memory=7552 CPUtime=0.54 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 435 13022 0 0 38 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10849036 memory=3608 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 387 13022 0 0 37 8 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10849036 memory=616 CPUtime=0.14 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 4570 13022 0 0 6 1 5 2 20 0 15 0 473971569 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10849036 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 53 13022 0 0 0 0 5 2 20 0 15 0 473971569 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635892135648 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10849036 memory=1620 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 10 13022 0 0 0 0 5 2 20 0 15 0 473971570 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635762128128 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10849036 memory=1136 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10849036 memory=20129 CPUtime=6.45 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 13804 13022 0 0 636 2 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10849036 memory=4420 CPUtime=6.73 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 14354 13022 0 0 664 2 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10849036 memory=6628 CPUtime=2.55 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 17499 13022 0 0 245 3 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10849036 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288838 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10849036 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 413 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 29.69 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1155352 KiB

[startup+12.9008 s]
/proc/loadavg: 1.44 1.36 1.46 4/226 22465
/proc/meminfo: memFree=8970280/32770624 swapFree=66955224/67108860
[pid=22397] ppid=22394 vsize=10849036 memory=1155352 CPUtime=29.79 cores=0,2,4,6
/proc/22397/stat : 22397 (java) S 22394 22397 19941 0 -1 1077944320 87971 13022 0 0 2905 67 5 2 20 0 15 0 473971557 11109412864 288838 33554432000 4194304 4196468 140723223446176 140723223428720 139636434513655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
/proc/22397/statm: 2712259 288838 3634 1 0 2674317 0
[pid=22397/tid=22450] ppid=22394 vsize=10849036 memory=1155320 CPUtime=12.28 cores=0,2,4,6
/proc/22397/task/22450/stat : 22450 (java) R 22394 22397 19941 0 -1 4202560 32560 13022 0 0 1202 19 5 2 20 0 15 0 473971566 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636406350224 139636054178001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22451] ppid=22394 vsize=10849036 memory=1155320 CPUtime=0.5 cores=0,2,4,6
/proc/22397/task/22451/stat : 22451 (java) S 22394 22397 19941 0 -1 1077944384 979 13022 0 0 34 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636438755856 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22452] ppid=22394 vsize=10849036 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22452/stat : 22452 (java) S 22394 22397 19941 0 -1 1077944384 699 13022 0 0 36 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636008135312 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22453] ppid=22394 vsize=10849036 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/22397/task/22453/stat : 22453 (java) S 22394 22397 19941 0 -1 1077944384 435 13022 0 0 38 9 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636007082256 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22454] ppid=22394 vsize=10849036 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/22397/task/22454/stat : 22454 (java) S 22394 22397 19941 0 -1 1077944384 387 13022 0 0 37 8 5 2 20 0 15 0 473971567 11109412864 288838 33554432000 4194304 4196468 140723223446176 139636006029712 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22455] ppid=22394 vsize=10849036 memory=3272 CPUtime=0.14 cores=0,2,4,6
/proc/22397/task/22455/stat : 22455 (java) S 22394 22397 19941 0 -1 1077944384 4570 13022 0 0 6 1 5 2 20 0 15 0 473971569 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635893189360 139636434524802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22456] ppid=22394 vsize=10849036 memory=4426639978525455914 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22456/stat : 22456 (java) S 22394 22397 19941 0 -1 1077944384 53 13022 0 0 0 0 5 2 20 0 15 0 473971569 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635892135648 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22457] ppid=22394 vsize=10849036 memory=3047711553219693942 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22457/stat : 22457 (java) S 22394 22397 19941 0 -1 1077944384 10 13022 0 0 0 0 5 2 20 0 15 0 473971570 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635762128128 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22458] ppid=22394 vsize=10849036 memory=1155264 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22458/stat : 22458 (java) S 22394 22397 19941 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635158149584 139636434532251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22459] ppid=22394 vsize=10849036 memory=940988 CPUtime=6.45 cores=0,2,4,6
/proc/22397/task/22459/stat : 22459 (java) S 22394 22397 19941 0 -1 1077944384 13804 13022 0 0 636 2 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635858577648 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22460] ppid=22394 vsize=10849036 memory=281181308818256 CPUtime=6.73 cores=0,2,4,6
/proc/22397/task/22460/stat : 22460 (java) S 22394 22397 19941 0 -1 1077944384 14354 13022 0 0 664 2 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635857525104 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22461] ppid=22394 vsize=10849036 memory=45 CPUtime=2.55 cores=0,2,4,6
/proc/22397/task/22461/stat : 22461 (java) S 22394 22397 19941 0 -1 1077944384 17499 13022 0 0 245 3 5 2 20 0 15 0 473971572 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635856472048 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22462] ppid=22394 vsize=10849036 memory=281177818958628 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22462/stat : 22462 (java) S 22394 22397 19941 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288838 33554432000 4194304 4196468 140723223446176 139634688387424 139636434523861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
[pid=22397/tid=22463] ppid=22394 vsize=10849036 memory=281181309112032 CPUtime=0.07 cores=0,2,4,6
/proc/22397/task/22463/stat : 22463 (java) S 22394 22397 19941 0 -1 1077944384 413 13022 0 0 0 0 5 2 20 0 15 0 473971573 11109412864 288838 33554432000 4194304 4196468 140723223446176 139635855420464 139636434524802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 13824000 140723223448163 140723223450805 140723223450805 140723223453647 0
Current children cumulated CPU time: 29.79 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1155352 KiB

Child status: 0
Real time (s): 12.9867
CPU time (s): 29.9324
CPU user time (s): 29.2071
CPU system time (s): 0.725303
CPU usage (%): 230.485
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1155352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2071
system time used= 0.725303
maximum resident set size= 1157656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9801
involuntary context switches= 122


# summary of solver processes directly reported to runsolver:
#   pid: 22397
#   total CPU time (s): 29.9324
#   total CPU user time (s): 29.2071
#   total CPU system time (s): 0.725303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.120395 second user time and 0.143391 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-20 11:57:17
IDJOB=4402492
IDBENCH=128111
IDSOLVER=2861
FILE ID=node105/4402492-1568977135
RUNJOBID= node105-1568963940-19972
PBS_JOBID= 21704633
Free space on /var/tmp= 13144 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402492-1568977135/watcher-4402492-1568977135 -o /var/tmp/evaluation-result-4402492-1568977135/solver-4402492-1568977135 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402492-1568977135.xml

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

MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466
RANDOM SEED=2142651045

node105.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.00
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.00
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.00
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.00
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:        10112116 kB
MemAvailable:   30534520 kB
Buffers:          135440 kB
Cached:         20186624 kB
SwapCached:        49560 kB
Active:         11370464 kB
Inactive:       10275444 kB
Active(anon):    1275512 kB
Inactive(anon):    93436 kB
Active(file):   10094952 kB
Inactive(file): 10182008 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       66955224 kB
Dirty:             35368 kB
Writeback:             0 kB
AnonPages:       1398752 kB
Mapped:            61980 kB
Shmem:             36576 kB
Slab:             602800 kB
SReclaimable:     573904 kB
SUnreclaim:        28896 kB
KernelStack:        3968 kB
PageTables:         8324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2523300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13108 MiB
End job on node105 at 2019-09-20 11:57:30