Trace number 4297636

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
Choco-solver 4.0.7b par (e747e1e)SAT 11.4514 2.19855

General information on the benchmark

NameCarSequencing/
CarSequencing-70-01_c18.xml
MD5SUM5ebb66a2f72e45e9d6642a776a6cc19c
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 benchmark11.4514
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1402
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":19},{"degree":25,"count":19},{"degree":26,"count":19},"...",{"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":8}, {"degree":47,"count":8}, {"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":8}, {"degree":53,"count":9}, {"degree":54,"count":9}, {"degree":55,"count":53}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":3}, {"degree":63,"count":81}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1201},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297636-1532721408.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297636-1532721408.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.05/1.24	c solve instance...
10.91/2.17	s SATISFIABLE
10.91/2.17	v <instantiation>
10.91/2.17	v 	<list>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] </list>
10.91/2.18	v 	<values>7 3 19 9 13 18 23 3 19 9 11 8 7 25 19 20 5 18 14 25 19 20 11 8 5 9 19 3 7 8 19 9 11 18 5 9 19 3 22 6 19 25 11 15 5 25 10 3 11 6 19 25 11 15 5 25 0 3 11 24 19 2 5 15 5 3 0 8 5 9 19 3 5 15 19 8 5 3 21 2 5 12 5 3 21 2 5 12 19 18 0 18 19 2 0 2 4 2 19 2 19 2 1 2 1 2 19 2 16 2 1 2 1 2 16 2 1 2 1 2 2 15 8 18 6 2 18 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 17 2 2 18 6 8 18 6 18 2 8 2 2 18 2 8 2 18 6 18 8 6 18 2 6 8 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 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 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 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 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values>
10.91/2.18	v </instantiation>

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 (13459 MiB free)
  memory of node 1: 16384 MiB (14011 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297636-1532721408/watcher-4297636-1532721408 -o /tmp/evaluation-result-4297636-1532721408/solver-4297636-1532721408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580 HOME/xcsp3-exec -seed 170545166 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297636-1532721408.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=14948, runsolver pid=14945

[startup+0.100156 s]*
/proc/loadavg: 8.12 8.34 8.21 2/199 14969
/proc/meminfo: memFree=28113608/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26104152 memory=27792 CPUtime=0.12 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 5807 0 0 0 11 1 0 0 20 0 20 0 89703985 26730651648 6948 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6526038 6948 3032 1 0 6488315 0
[pid=14950/tid=14951] ppid=14948 vsize=26104152 memory=8329577318937696668 CPUtime=0.09 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) R 14948 14948 12605 0 -1 4202560 3824 0 0 0 8 1 0 0 20 0 20 0 89703986 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660713731888 140660709519962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26104152 memory=732370635028634597 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26104152 memory=140496691181184 CPUtime=0 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14955] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14955/stat : 14955 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660658960912 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14956] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14956/stat : 14956 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660657908624 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14957] ppid=14948 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14950/task/14957/stat : 14957 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660656855824 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14958] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14958/stat : 14958 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660655803536 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14959] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 6948 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703988 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703989 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 89703989 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) S 14948 14948 12605 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659764705904 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659763653104 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659762600816 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) S 14948 14948 12605 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703992 26730651648 6948 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29248 KiB

[startup+0.210358 s]*
/proc/loadavg: 8.12 8.34 8.21 4/199 14969
/proc/meminfo: memFree=28102428/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26104152 memory=39328 CPUtime=0.33 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 8495 0 0 0 31 2 0 0 20 0 20 0 89703985 26730651648 9832 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6526038 9832 3176 1 0 6488315 0
[pid=14950/tid=14951] ppid=14948 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) R 14948 14948 12605 0 -1 4202560 5592 0 0 0 18 1 0 0 20 0 20 0 89703986 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660713733312 140660693579102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26104152 memory=732370635028634597 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26104152 memory=140496691181184 CPUtime=0 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14955] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14955/stat : 14955 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660658960912 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14956] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14956/stat : 14956 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660657908624 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14957] ppid=14948 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14950/task/14957/stat : 14957 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660656855824 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14958] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14958/stat : 14958 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660655803536 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14959] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26730651648 9832 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703988 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703989 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 89703989 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) S 14948 14948 12605 0 -1 1077944384 724 0 0 0 1 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659764705904 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) S 14948 14948 12605 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659763653104 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) S 14948 14948 12605 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659762600816 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) S 14948 14948 12605 0 -1 1077944384 719 0 0 0 7 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703991 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703992 26730651648 9832 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40784 KiB

[startup+0.310333 s]*
/proc/loadavg: 8.12 8.34 8.21 4/199 14969
/proc/meminfo: memFree=28096224/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26108408 memory=46656 CPUtime=0.52 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 9391 0 0 0 50 2 0 0 20 0 20 0 89703985 26735009792 11664 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6527102 11664 3265 1 0 6488315 0
[pid=14950/tid=14951] ppid=14948 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) R 14948 14948 12605 0 -1 4202560 6300 0 0 0 28 1 0 0 20 0 20 0 89703986 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660713732400 140660709520541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14955] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14955/stat : 14955 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660658960912 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14956] ppid=14948 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/14950/task/14956/stat : 14956 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660657908624 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14957] ppid=14948 vsize=26108408 memory=140496567628719 CPUtime=0 cores=0-7
/proc/14950/task/14957/stat : 14957 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660656855824 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14958] ppid=14948 vsize=26108408 memory=140496567631024 CPUtime=0 cores=0-7
/proc/14950/task/14958/stat : 14958 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660655803536 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14959] ppid=14948 vsize=26108408 memory=140496567633328 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26735009792 11664 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703988 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26108408 memory=280993135273616 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703989 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26108408 memory=280993135280528 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 89703989 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26108408 memory=280993135221808 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26108408 memory=280993135294352 CPUtime=0.03 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) R 14948 14948 12605 0 -1 4202560 833 0 0 0 3 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659764696288 140660687915448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26108408 memory=280993135301264 CPUtime=0.02 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) S 14948 14948 12605 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659763653104 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26108408 memory=280993135298960 CPUtime=0.03 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) S 14948 14948 12605 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659762600816 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26108408 memory=280993135315120 CPUtime=0.12 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) S 14948 14948 12605 0 -1 1077944384 785 0 0 0 12 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703991 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703992 26735009792 11664 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48112 KiB

[startup+0.700989 s]
/proc/loadavg: 8.12 8.34 8.21 5/199 14969
/proc/meminfo: memFree=28074996/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26110532 memory=91396 CPUtime=1.87 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 14495 0 0 0 182 5 0 0 20 0 20 0 89703985 26737184768 22849 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6527633 22849 3363 1 0 6488827 0
[pid=14950/tid=14951] ppid=14948 vsize=26110532 memory=280993135610048 CPUtime=0.67 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) R 14948 14948 12605 0 -1 4202560 7154 0 0 0 64 3 0 0 20 0 20 0 89703986 26737184768 22849 33554432000 4194304 4196468 140736884248432 140660713733712 140660709510550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26737184768 22849 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703987 26737184768 22849 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703987 26737184768 22849 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0

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

[pid=14950/tid=14959] ppid=14948 vsize=26645092 memory=1228 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54459 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26645092 memory=1852 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 89703988 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26645092 memory=872 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26645092 memory=2241 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26645092 memory=2244 CPUtime=0.93 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) R 14948 14948 12605 0 -1 1077944384 3650 0 0 0 92 1 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659764705904 140660709509762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26645092 memory=140496567962912 CPUtime=0.97 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) R 14948 14948 12605 0 -1 4202560 4101 0 0 0 96 1 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659763653104 140660709510550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26645092 memory=0 CPUtime=1 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) S 14948 14948 12605 0 -1 1077944384 2911 0 0 0 100 0 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659762600816 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26645092 memory=0 CPUtime=0.64 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) S 14948 14948 12605 0 -1 1077944384 3113 0 0 0 63 1 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703992 27284574208 54459 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 7.65 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 219292 KiB

[startup+2.00162 s]*
/proc/loadavg: 8.12 8.34 8.21 13/207 14977
/proc/meminfo: memFree=27925052/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26645092 memory=218596 CPUtime=10.12 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 24147 0 0 0 995 17 0 0 20 0 28 0 89703985 27284574208 54649 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6661273 54649 3416 1 0 6622467 0
[pid=14950/tid=14951] ppid=14948 vsize=26645092 memory=280993135167848 CPUtime=1.21 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) S 14948 14948 12605 0 -1 1077944384 7776 0 0 0 116 5 0 0 20 0 28 0 89703986 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660713739392 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26645092 memory=732370635028634597 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26645092 memory=3471342893012018864 CPUtime=0.01 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 1 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26645092 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14955] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14955/stat : 14955 (java) S 14948 14948 12605 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660658960912 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14956] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14956/stat : 14956 (java) S 14948 14948 12605 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660657908624 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14957] ppid=14948 vsize=26645092 memory=140496567753551 CPUtime=0.01 cores=0-7
/proc/14950/task/14957/stat : 14957 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 1 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660656855824 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14958] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14958/stat : 14958 (java) S 14948 14948 12605 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660655803536 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14959] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54649 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 89703988 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26645092 memory=280993135149088 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26645092 memory=34484024 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26645092 memory=7955442992107186788 CPUtime=1.02 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) R 14948 14948 12605 0 -1 4202560 3669 0 0 0 101 1 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659764690768 140660690198919 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26645092 memory=5795117241467496816 CPUtime=1.15 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) R 14948 14948 12605 0 -1 4202560 4125 0 0 0 114 1 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659763653400 140660694398111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26645092 memory=7521689142396076132 CPUtime=1.1 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) R 14948 14948 12605 0 -1 4202560 2972 0 0 0 110 0 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659762600816 140660691022973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26645092 memory=-8675733323038954102 CPUtime=0.66 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) S 14948 14948 12605 0 -1 1077944384 3144 0 0 0 65 1 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26645092 memory=662363603739423024 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26645092 memory=2314885432474958440 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703992 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14970] ppid=14948 vsize=26645092 memory=2314885432473768785 CPUtime=0.6 cores=0-7
/proc/14950/task/14970/stat : 14970 (java) R 14948 14948 12605 0 -1 4202560 58 0 0 0 60 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659750844552 140660337469780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14971] ppid=14948 vsize=26645092 memory=4713742226031938934 CPUtime=0.7 cores=0-7
/proc/14950/task/14971/stat : 14971 (java) R 14948 14948 12605 0 -1 4202560 42 0 0 0 70 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659749789952 140660338043792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14972] ppid=14948 vsize=26645092 memory=8508281403248445837 CPUtime=0.53 cores=0-7
/proc/14950/task/14972/stat : 14972 (java) R 14948 14948 12605 0 -1 4202560 38 0 0 0 53 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659748740448 140660338044796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14973] ppid=14948 vsize=26645092 memory=7681905605394137914 CPUtime=0.63 cores=0-7
/proc/14950/task/14973/stat : 14973 (java) R 14948 14948 12605 0 -1 4202560 32 0 0 0 63 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659747687680 140660337305789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14974] ppid=14948 vsize=26645092 memory=-7025452035940392864 CPUtime=0.57 cores=0-7
/proc/14950/task/14974/stat : 14974 (java) R 14948 14948 12605 0 -1 4202560 28 0 0 0 57 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659746632528 140660337186879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14975] ppid=14948 vsize=26645092 memory=-7161732098442470212 CPUtime=0.58 cores=0-7
/proc/14950/task/14975/stat : 14975 (java) R 14948 14948 12605 0 -1 4202560 35 0 0 0 58 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659745582480 140660338044008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14976] ppid=14948 vsize=26645092 memory=6944656592455360604 CPUtime=0.59 cores=0-7
/proc/14950/task/14976/stat : 14976 (java) R 14948 14948 12605 0 -1 4202560 30 0 0 0 59 0 0 0 20 0 28 0 89704111 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659744529384 140660338044008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14977] ppid=14948 vsize=26645092 memory=6655300316396806240 CPUtime=0.56 cores=0-7
/proc/14950/task/14977/stat : 14977 (java) R 14948 14948 12605 0 -1 4202560 33 0 0 0 56 0 0 0 20 0 28 0 89704112 27284574208 54649 33554432000 4194304 4196468 140736884248432 140659743476632 140660330059464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 220052 KiB

[startup+2.11163 s]
/proc/loadavg: 8.12 8.34 8.21 13/207 14977
/proc/meminfo: memFree=27925052/32770624 swapFree=67108436/67108860
[pid=14948] ppid=14945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14948/stat : 14948 (xcsp3-exec) S 14945 14948 12605 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89703985 115843072 364 33554432000 4194304 5098028 140732869420496 140732869418600 140138825970300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19369984 140732869428278 140732869428480 140732869428480 140732869431242 0
/proc/14948/statm: 28282 364 306 221 0 87 0
[pid=14950] ppid=14948 vsize=26645092 memory=218892 CPUtime=10.91 cores=0-7
/proc/14950/stat : 14950 (java) S 14948 14948 12605 0 -1 1077944320 24298 0 0 0 1074 17 0 0 20 0 28 0 89703985 27284574208 54723 33554432000 4194304 4196468 140736884248432 140736884230976 140660709498615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
/proc/14950/statm: 6661273 54723 3416 1 0 6622467 0
[pid=14950/tid=14951] ppid=14948 vsize=26645092 memory=8693811668911618216 CPUtime=1.21 cores=0-7
/proc/14950/task/14951/stat : 14951 (java) S 14948 14948 12605 0 -1 1077944384 7776 0 0 0 116 5 0 0 20 0 28 0 89703986 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660713739392 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14952] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14952/stat : 14952 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660662118800 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14953] ppid=14948 vsize=26645092 memory=1 CPUtime=0.01 cores=0-7
/proc/14950/task/14953/stat : 14953 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 1 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660661066000 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14954] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14954/stat : 14954 (java) S 14948 14948 12605 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660660013712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14955] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14955/stat : 14955 (java) S 14948 14948 12605 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660658960912 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14956] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14956/stat : 14956 (java) S 14948 14948 12605 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660657908624 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14957] ppid=14948 vsize=26645092 memory=8028909219436910703 CPUtime=0.01 cores=0-7
/proc/14950/task/14957/stat : 14957 (java) S 14948 14948 12605 0 -1 1077944384 102 0 0 0 0 1 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660656855824 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14958] ppid=14948 vsize=26645092 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/14950/task/14958/stat : 14958 (java) S 14948 14948 12605 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660655803536 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14959] ppid=14948 vsize=26645092 memory=7163659534779897962 CPUtime=0 cores=0-7
/proc/14950/task/14959/stat : 14959 (java) S 14948 14948 12605 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 89703987 27284574208 54723 33554432000 4194304 4196468 140736884248432 140660654750736 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14960] ppid=14948 vsize=26645092 memory=7230638415855315031 CPUtime=0 cores=0-7
/proc/14950/task/14960/stat : 14960 (java) S 14948 14948 12605 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 89703988 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659768916080 140660709509762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14961] ppid=14948 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/14950/task/14961/stat : 14961 (java) S 14948 14948 12605 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659767862048 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14962] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14962/stat : 14962 (java) S 14948 14948 12605 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 89703989 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659766809712 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14963] ppid=14948 vsize=26645092 memory=140496567855776 CPUtime=0 cores=0-7
/proc/14950/task/14963/stat : 14963 (java) S 14948 14948 12605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659765758032 140660709517211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14964] ppid=14948 vsize=26645092 memory=140496567855872 CPUtime=1.08 cores=0-7
/proc/14950/task/14964/stat : 14964 (java) R 14948 14948 12605 0 -1 4202560 3718 0 0 0 107 1 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659764698392 140660692998671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14965] ppid=14948 vsize=26645092 memory=140496567855968 CPUtime=1.22 cores=0-7
/proc/14950/task/14965/stat : 14965 (java) R 14948 14948 12605 0 -1 4202560 4132 0 0 0 121 1 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659763634512 140660689160608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14966] ppid=14948 vsize=26645092 memory=140496567856064 CPUtime=1.17 cores=0-7
/proc/14950/task/14966/stat : 14966 (java) R 14948 14948 12605 0 -1 4202560 3056 0 0 0 117 0 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659762590416 140660690198912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14967] ppid=14948 vsize=26645092 memory=140496567856160 CPUtime=0.67 cores=0-7
/proc/14950/task/14967/stat : 14967 (java) R 14948 14948 12605 0 -1 1077944384 3163 0 0 0 66 1 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659761548016 140660709509762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14968] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14968/stat : 14968 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703991 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659760494944 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14969] ppid=14948 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/14950/task/14969/stat : 14969 (java) S 14948 14948 12605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703992 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659759442224 140660709509762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14970] ppid=14948 vsize=26645092 memory=0 CPUtime=0.68 cores=0-7
/proc/14950/task/14970/stat : 14970 (java) R 14948 14948 12605 0 -1 4202560 58 0 0 0 68 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659750844448 140660337505621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14971] ppid=14948 vsize=26645092 memory=0 CPUtime=0.78 cores=0-7
/proc/14950/task/14971/stat : 14971 (java) R 14948 14948 12605 0 -1 4202560 42 0 0 0 78 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659749792920 140660688557860 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14972] ppid=14948 vsize=26645092 memory=0 CPUtime=0.57 cores=0-7
/proc/14950/task/14972/stat : 14972 (java) R 14948 14948 12605 0 -1 4202560 38 0 0 0 57 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659748740496 140660338043747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14973] ppid=14948 vsize=26645092 memory=0 CPUtime=0.72 cores=0-7
/proc/14950/task/14973/stat : 14973 (java) R 14948 14948 12605 0 -1 1077944384 32 0 0 0 72 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659747687680 140660709508821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14974] ppid=14948 vsize=26645092 memory=0 CPUtime=0.62 cores=0-7
/proc/14950/task/14974/stat : 14974 (java) R 14948 14948 12605 0 -1 1077944384 28 0 0 0 62 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659746635968 140660709519805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14975] ppid=14948 vsize=26645092 memory=316659547139997722 CPUtime=0.63 cores=0-7
/proc/14950/task/14975/stat : 14975 (java) R 14948 14948 12605 0 -1 4202560 35 0 0 0 63 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659745582592 140660338044796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14976] ppid=14948 vsize=26645092 memory=318629893535695163 CPUtime=0.67 cores=0-7
/proc/14950/task/14976/stat : 14976 (java) R 14948 14948 12605 0 -1 4202560 30 0 0 0 67 0 0 0 20 0 28 0 89704111 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659744529296 140660337630517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
[pid=14950/tid=14977] ppid=14948 vsize=26645092 memory=15823295995971307 CPUtime=0.66 cores=0-7
/proc/14950/task/14977/stat : 14977 (java) S 14948 14948 12605 0 -1 1077944384 33 0 0 0 66 0 0 0 20 0 28 0 89704112 27284574208 54723 33554432000 4194304 4196468 140736884248432 140659743476496 140660709508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140736884253825 140736884253997 140736884253997 140736884256719 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 220348 KiB

Child status: 0
Real time (s): 2.19855
CPU time (s): 11.4514
CPU user time (s): 11.2624
CPU system time (s): 0.188977
CPU usage (%): 520.86
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 220348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2624
system time used= 0.188977
maximum resident set size= 222384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3380
involuntary context switches= 240


# summary of solver processes directly reported to runsolver:
#   pid: 14948
#   total CPU time (s): 11.4514
#   total CPU user time (s): 11.2624
#   total CPU system time (s): 0.188977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038839 second user time and 0.067181 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 21:56:48
IDJOB=4297636
IDBENCH=141454
IDSOLVER=2760
FILE ID=node137/4297636-1532721408
RUNJOBID= node137-1532714138-12632
PBS_JOBID= 21022323
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-01_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297636-1532721408/watcher-4297636-1532721408 -o /tmp/evaluation-result-4297636-1532721408/solver-4297636-1532721408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532714138-12632 --watchdog 2580  HOME/xcsp3-exec -seed 170545166 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297636-1532721408.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 5ebb66a2f72e45e9d6642a776a6cc19c
RANDOM SEED=170545166

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28131500 kB
MemAvailable:   31926040 kB
Buffers:          156600 kB
Cached:          3872596 kB
SwapCached:           32 kB
Active:          1796748 kB
Inactive:        2290124 kB
Active(anon):       5200 kB
Inactive(anon):    80064 kB
Active(file):    1791548 kB
Inactive(file):  2210060 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             21984 kB
Writeback:             8 kB
AnonPages:         64748 kB
Mapped:            39956 kB
Shmem:             25052 kB
Slab:             245540 kB
SReclaimable:     217536 kB
SUnreclaim:        28004 kB
KernelStack:        3232 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-27 21:56:50