Trace number 4393501

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 2019-06-14 parallelSAT 72.6145 9.89368

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-65-10.xml
MD5SUMc4baa3ff261117e16f7eeec964fc150b
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 benchmark1.89381
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1395
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree68
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":3}, {"degree":68,"count":71}]
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":50,"count":1},{"arity":53,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":62,"count":1},{"arity":65,"count":1},{"arity":68,"count":1},{"arity":71,"count":1},{"arity":72,"count":1},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":1},{"arity":78,"count":1},{"arity":80,"count":4},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":2},{"arity":86,"count":3},{"arity":88,"count":1},"...",{"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":1194},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393501-1568430877.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393501-1568430877.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.11/1.23	c solve instance...
72.08/9.86	s SATISFIABLE
72.08/9.86	v <instantiation>
72.08/9.86	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>
72.08/9.86	v 	<values>4 9 16 8 19 14 4 19 14 16 14 4 16 13 2 4 13 5 13 15 13 4 10 16 14 17 8 16 15 16 4 11 21 5 20 15 13 21 1 16 14 15 14 23 15 20 21 24 23 13 17 16 20 15 13 5 15 20 16 24 23 14 16 9 16 14 22 16 14 16 15 23 13 4 7 16 23 14 15 16 13 19 8 4 14 15 16 18 15 13 4 4 13 16 17 13 5 7 21 13 17 23 13 19 14 16 14 15 13 12 15 14 4 16 15 14 16 3 4 13 4 14 0 4 4 16 4 4 13 4 4 13 4 4 6 4 4 13 4 4 13 4 4 7 4 4 6 4 4 7 4 4 6 4 4 13 4 4 13 4 4 6 4 4 16 4 4 11 4 4 16 4 4 11 4 4 7 4 4 16 4 3 13 4 4 11 4 4 16 4 4 13 4 4 13 4 4 13 4 4 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 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 1 0 1 1 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 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 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 </values>
72.08/9.86	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 (11766 MiB free)
  memory of node 1: 16384 MiB (14447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393501-1568430877/watcher-4393501-1568430877 -o /tmp/evaluation-result-4393501-1568430877/solver-4393501-1568430877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2033810475 HOME/instance-4393501-1568430877.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
solver pid=21090, runsolver pid=21087
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 4.99 5.01 5.08 2/212 21111
/proc/meminfo: memFree=26827396/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28227388 memory=29380 CPUtime=0.12 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 5824 0 0 0 10 2 0 0 20 0 20 0 419001580 28904845312 7345 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7056847 7345 3118 1 0 7019032 0
[pid=21092/tid=21093] ppid=21090 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) R 21090 21090 16596 0 -1 4202560 3730 0 0 0 8 1 0 0 20 0 20 0 419001580 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053720061248 140053715840406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28227388 memory=139909563123328 CPUtime=0 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21097] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21097/stat : 21097 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053665290512 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21098] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21098/stat : 21098 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053664238736 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21099] ppid=21090 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21099/stat : 21099 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053663185936 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21100] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21100/stat : 21100 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053662133136 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21101] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21101/stat : 21101 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 7345 33554432000 4194304 4196468 140725336703040 140053661080336 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21102] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21102/stat : 21102 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001582 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051911522672 140053715839618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21103] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21103/stat : 21103 (java) S 21090 21090 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419001583 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051910468640 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21104] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21104/stat : 21104 (java) S 21090 21090 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419001583 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051909415792 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21105] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21105/stat : 21105 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001585 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051908364112 140053715847067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21106] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21106/stat : 21106 (java) S 21090 21090 16596 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 419001585 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051907312496 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21107] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21107/stat : 21107 (java) S 21090 21090 16596 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419001585 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051906259696 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21108] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21108/stat : 21108 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001585 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051462576752 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21109] ppid=21090 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) R 21090 21090 16596 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 20 0 419001585 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051461523952 140053694797934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001586 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001586 28904845312 7345 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30832 KiB

[startup+0.210462 s]*
/proc/loadavg: 4.99 5.01 5.08 2/212 21111
/proc/meminfo: memFree=26814932/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28227388 memory=40844 CPUtime=0.33 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 9504 0 0 0 30 3 0 0 20 0 20 0 419001580 28904845312 10211 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7056847 10211 3277 1 0 7019032 0
[pid=21092/tid=21093] ppid=21090 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) R 21090 21090 16596 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 20 0 419001580 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053720062512 140053715840406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28227388 memory=139909563137681 CPUtime=0 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21097] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21097/stat : 21097 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053665290512 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21098] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21098/stat : 21098 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053664238736 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21099] ppid=21090 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21099/stat : 21099 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053663185936 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21100] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21100/stat : 21100 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053662133136 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21101] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21101/stat : 21101 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28904845312 10211 33554432000 4194304 4196468 140725336703040 140053661080336 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21102] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21102/stat : 21102 (java) S 21090 21090 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419001582 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051911522672 140053715839618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21103] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21103/stat : 21103 (java) S 21090 21090 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419001583 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051910468640 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21104] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21104/stat : 21104 (java) S 21090 21090 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419001583 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051909415792 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21105] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21105/stat : 21105 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001585 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051908364112 140053715847067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21106] ppid=21090 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21092/task/21106/stat : 21106 (java) S 21090 21090 16596 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 419001585 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051907312496 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21107] ppid=21090 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21092/task/21107/stat : 21107 (java) S 21090 21090 16596 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 419001585 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051906259696 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21108] ppid=21090 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/21092/task/21108/stat : 21108 (java) S 21090 21090 16596 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 419001585 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051462576752 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21109] ppid=21090 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) R 21090 21090 16596 0 -1 4202560 725 0 0 0 7 0 0 0 20 0 20 0 419001585 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051461523952 140053715840406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001586 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001586 28904845312 10211 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42296 KiB

[startup+0.310176 s]*
/proc/loadavg: 4.99 5.01 5.08 4/212 21111
/proc/meminfo: memFree=26809068/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28231644 memory=50020 CPUtime=0.52 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 10856 0 0 0 48 4 0 0 20 0 20 0 419001580 28909203456 12505 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7057911 12505 3364 1 0 7019032 0
[pid=21092/tid=21093] ppid=21090 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) R 21090 21090 16596 0 -1 4202560 7759 0 0 0 27 3 0 0 20 0 20 0 419001580 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053720062256 140053699908958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21097] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21097/stat : 21097 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053665290512 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21098] ppid=21090 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/21092/task/21098/stat : 21098 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053664238736 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21099] ppid=21090 vsize=28231644 memory=139909432177583 CPUtime=0 cores=0-7
/proc/21092/task/21099/stat : 21099 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053663185936 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21100] ppid=21090 vsize=28231644 memory=139909432179888 CPUtime=0 cores=0-7
/proc/21092/task/21100/stat : 21100 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053662133136 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21101] ppid=21090 vsize=28231644 memory=139909432182192 CPUtime=0 cores=0-7
/proc/21092/task/21101/stat : 21101 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001581 28909203456 12505 33554432000 4194304 4196468 140725336703040 140053661080336 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21102] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21102/stat : 21102 (java) S 21090 21090 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419001582 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051911522672 140053715839618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21103] ppid=21090 vsize=28231644 memory=279818864371344 CPUtime=0 cores=0-7
/proc/21092/task/21103/stat : 21103 (java) S 21090 21090 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419001583 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051910468640 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21104] ppid=21090 vsize=28231644 memory=279818864378256 CPUtime=0 cores=0-7
/proc/21092/task/21104/stat : 21104 (java) S 21090 21090 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419001583 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051909415792 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21105] ppid=21090 vsize=28231644 memory=279818864319536 CPUtime=0 cores=0-7
/proc/21092/task/21105/stat : 21105 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001585 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051908364112 140053715847067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21106] ppid=21090 vsize=28231644 memory=279818864392080 CPUtime=0.03 cores=0-7
/proc/21092/task/21106/stat : 21106 (java) S 21090 21090 16596 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 20 0 419001585 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051907312496 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21107] ppid=21090 vsize=28231644 memory=279818864398992 CPUtime=0.02 cores=0-7
/proc/21092/task/21107/stat : 21107 (java) S 21090 21090 16596 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 419001585 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051906259696 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21108] ppid=21090 vsize=28231644 memory=279818864396688 CPUtime=0.03 cores=0-7
/proc/21092/task/21108/stat : 21108 (java) R 21090 21090 16596 0 -1 4202560 344 0 0 0 3 0 0 0 20 0 20 0 419001585 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051462567136 140053695484346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21109] ppid=21090 vsize=28231644 memory=279818864412848 CPUtime=0.12 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) S 21090 21090 16596 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 419001585 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051461523952 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419001586 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001586 28909203456 12505 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51472 KiB

[startup+0.701055 s]
/proc/loadavg: 4.99 5.01 5.08 5/212 21111
/proc/meminfo: memFree=26786476/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28233768 memory=98616 CPUtime=1.93 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 17887 0 0 0 186 7 0 0 20 0 20 0 419001580 28911378432 24654 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7058442 24654 3454 1 0 7019544 0
[pid=21092/tid=21093] ppid=21090 vsize=28233768 memory=279818864770736 CPUtime=0.67 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) R 21090 21090 16596 0 -1 4202560 9238 0 0 0 63 4 0 0 20 0 20 0 419001580 28911378432 24654 33554432000 4194304 4196468 140725336703040 140053720064288 140053334839304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28233768 memory=139909432386416 CPUtime=0 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419001581 28911378432 24654 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28911378432 24654 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28233768 memory=1096 CPUtime=0 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419001581 28911378432 24654 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0

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

[pid=21092/tid=21109] ppid=21090 vsize=28768328 memory=920 CPUtime=1.16 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) S 21090 21090 16596 0 -1 1077944384 6806 0 0 0 114 2 0 0 20 0 28 0 419001585 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051461523952 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28768328 memory=4308 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21112] ppid=21090 vsize=28768328 memory=2792 CPUtime=6.63 cores=0-7
/proc/21092/task/21112/stat : 21112 (java) R 21090 21090 16596 0 -1 4202560 259 0 0 0 663 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051448347808 140053331414484 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21113] ppid=21090 vsize=28768328 memory=1452 CPUtime=5.38 cores=0-7
/proc/21092/task/21113/stat : 21113 (java) R 21090 21090 16596 0 -1 4202560 2502 0 0 0 534 4 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051447295480 140053344530691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21114] ppid=21090 vsize=28768328 memory=510504 CPUtime=5.83 cores=0-7
/proc/21092/task/21114/stat : 21114 (java) R 21090 21090 16596 0 -1 4202560 193 0 0 0 583 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051446243744 140053337789782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21115] ppid=21090 vsize=28768328 memory=0 CPUtime=6.14 cores=0-7
/proc/21092/task/21115/stat : 21115 (java) R 21090 21090 16596 0 -1 4202560 177 0 0 0 614 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051445191016 140053334028175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21116] ppid=21090 vsize=28768328 memory=0 CPUtime=6.18 cores=0-7
/proc/21092/task/21116/stat : 21116 (java) R 21090 21090 16596 0 -1 4202560 174 0 0 0 618 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051444139000 140053338063690 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21117] ppid=21090 vsize=28768328 memory=0 CPUtime=5.92 cores=0-7
/proc/21092/task/21117/stat : 21117 (java) R 21090 21090 16596 0 -1 4202560 465 0 0 0 592 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051443085608 140053337789803 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21118] ppid=21090 vsize=28768328 memory=0 CPUtime=5.68 cores=0-7
/proc/21092/task/21118/stat : 21118 (java) R 21090 21090 16596 0 -1 4202560 133 0 0 0 568 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051442032776 140053339722493 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21119] ppid=21090 vsize=28768328 memory=0 CPUtime=5.59 cores=0-7
/proc/21092/task/21119/stat : 21119 (java) R 21090 21090 16596 0 -1 4202560 158 0 0 0 559 0 0 0 20 0 28 0 419001706 29458767872 181450 33554432000 4194304 4196468 140725336703040 140051440980152 140053331414582 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 64.16 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 727252 KiB

[startup+9.60672 s]
/proc/loadavg: 5.92 5.21 5.14 12/220 21119
/proc/meminfo: memFree=26128372/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28768328 memory=725908 CPUtime=70.52 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 58666 0 0 0 6999 53 0 0 20 0 28 0 419001580 29458767872 181477 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7192082 181477 3535 1 0 7153184 0
[pid=21092/tid=21093] ppid=21090 vsize=28768328 memory=472364 CPUtime=1.21 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) S 21090 21090 16596 0 -1 1077944384 9998 0 0 0 115 6 0 0 20 0 28 0 419001580 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053720069248 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28768328 memory=4 CPUtime=0.09 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 217 0 0 0 6 3 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28768328 memory=3 CPUtime=0.08 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 365 0 0 0 5 3 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28768328 memory=6 CPUtime=0.06 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 155 0 0 0 4 2 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21097] ppid=21090 vsize=28768328 memory=2 CPUtime=0.1 cores=0-7
/proc/21092/task/21097/stat : 21097 (java) S 21090 21090 16596 0 -1 1077944384 581 0 0 0 7 3 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053665290512 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21098] ppid=21090 vsize=28768328 memory=6 CPUtime=0.06 cores=0-7
/proc/21092/task/21098/stat : 21098 (java) S 21090 21090 16596 0 -1 1077944384 251 0 0 0 5 1 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053664238736 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21099] ppid=21090 vsize=28768328 memory=7 CPUtime=0.1 cores=0-7
/proc/21092/task/21099/stat : 21099 (java) S 21090 21090 16596 0 -1 1077944384 394 0 0 0 6 4 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053663185936 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21100] ppid=21090 vsize=28768328 memory=4 CPUtime=0.09 cores=0-7
/proc/21092/task/21100/stat : 21100 (java) S 21090 21090 16596 0 -1 1077944384 291 0 0 0 7 2 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053662133136 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21101] ppid=21090 vsize=28768328 memory=139909432775325 CPUtime=0.07 cores=0-7
/proc/21092/task/21101/stat : 21101 (java) S 21090 21090 16596 0 -1 1077944384 319 0 0 0 5 2 0 0 20 0 28 0 419001581 29458767872 181477 33554432000 4194304 4196468 140725336703040 140053661080336 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21102] ppid=21090 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/21092/task/21102/stat : 21102 (java) S 21090 21090 16596 0 -1 1077944384 1182 0 0 0 1 0 0 0 20 0 28 0 419001582 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051911522672 140053715839618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21103] ppid=21090 vsize=28768328 memory=230489419982032 CPUtime=0 cores=0-7
/proc/21092/task/21103/stat : 21103 (java) S 21090 21090 16596 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 419001583 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051910468704 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21104] ppid=21090 vsize=28768328 memory=230489419982033 CPUtime=0 cores=0-7
/proc/21092/task/21104/stat : 21104 (java) S 21090 21090 16596 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 419001583 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051909415808 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21105] ppid=21090 vsize=28768328 memory=230489419982034 CPUtime=0 cores=0-7
/proc/21092/task/21105/stat : 21105 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419001585 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051908364112 140053715847067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21106] ppid=21090 vsize=28768328 memory=230489419982035 CPUtime=4.57 cores=0-7
/proc/21092/task/21106/stat : 21106 (java) R 21090 21090 16596 0 -1 1077944384 8820 0 0 0 454 3 0 0 20 0 28 0 419001585 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051907312496 140053715839618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21107] ppid=21090 vsize=28768328 memory=230489419982036 CPUtime=4.68 cores=0-7
/proc/21092/task/21107/stat : 21107 (java) S 21090 21090 16596 0 -1 1077944384 12130 0 0 0 465 3 0 0 20 0 28 0 419001585 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051906259696 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21108] ppid=21090 vsize=28768328 memory=230489419982037 CPUtime=4.63 cores=0-7
/proc/21092/task/21108/stat : 21108 (java) R 21090 21090 16596 0 -1 4202560 11144 0 0 0 460 3 0 0 20 0 28 0 419001585 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051462576752 140053700706860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21109] ppid=21090 vsize=28768328 memory=230489419982038 CPUtime=1.17 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) S 21090 21090 16596 0 -1 1077944384 7185 0 0 0 115 2 0 0 20 0 28 0 419001585 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051461523952 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28768328 memory=230489419982039 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28768328 memory=230489419982040 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21112] ppid=21090 vsize=28768328 memory=279818864595920 CPUtime=7.43 cores=0-7
/proc/21092/task/21112/stat : 21112 (java) R 21090 21090 16596 0 -1 4202560 288 0 0 0 743 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051448347432 140053338280650 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21113] ppid=21090 vsize=28768328 memory=139909432710384 CPUtime=6.13 cores=0-7
/proc/21092/task/21113/stat : 21113 (java) R 21090 21090 16596 0 -1 4202560 2581 0 0 0 608 5 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051447296056 140053338063538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21114] ppid=21090 vsize=28768328 memory=33 CPUtime=6.59 cores=0-7
/proc/21092/task/21114/stat : 21114 (java) R 21090 21090 16596 0 -1 4202560 195 0 0 0 659 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051446244008 140053339722511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21115] ppid=21090 vsize=28768328 memory=6944656592387989600 CPUtime=6.9 cores=0-7
/proc/21092/task/21115/stat : 21115 (java) R 21090 21090 16596 0 -1 4202560 182 0 0 0 690 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051445191176 140053334028132 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21116] ppid=21090 vsize=28768328 memory=6944656575208382560 CPUtime=6.92 cores=0-7
/proc/21092/task/21116/stat : 21116 (java) R 21090 21090 16596 0 -1 4202560 178 0 0 0 692 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051444138240 140053338281195 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21117] ppid=21090 vsize=28768328 memory=6656426216303648864 CPUtime=6.63 cores=0-7
/proc/21092/task/21117/stat : 21117 (java) R 21090 21090 16596 0 -1 4202560 518 0 0 0 662 1 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051443085864 140053339722427 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21118] ppid=21090 vsize=28768328 memory=6656426216303648864 CPUtime=6.42 cores=0-7
/proc/21092/task/21118/stat : 21118 (java) R 21090 21090 16596 0 -1 4202560 153 0 0 0 642 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051442032688 140053338897617 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21119] ppid=21090 vsize=28768328 memory=6944656575208382560 CPUtime=6.39 cores=0-7
/proc/21092/task/21119/stat : 21119 (java) R 21090 21090 16596 0 -1 4202560 162 0 0 0 639 0 0 0 20 0 28 0 419001706 29458767872 181477 33554432000 4194304 4196468 140725336703040 140051440979992 140053338897636 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 70.52 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 727360 KiB

[startup+9.80203 s]
/proc/loadavg: 5.92 5.21 5.14 12/220 21119
/proc/meminfo: memFree=26128372/32770624 swapFree=66957016/67108860
[pid=21090] ppid=21087 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (xcsp3-exec) S 21087 21090 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419001579 115843072 363 33554432000 4194304 5098028 140737227333504 140737227331608 139709653361276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24928256 140737227342709 140737227342953 140737227342953 140737227345866 0
/proc/21090/statm: 28282 363 304 221 0 87 0
[pid=21092] ppid=21090 vsize=28768328 memory=726068 CPUtime=72.08 cores=0-7
/proc/21092/stat : 21092 (java) S 21090 21090 16596 0 -1 1077944320 59339 0 0 0 7155 53 0 0 20 0 28 0 419001580 29458767872 181517 33554432000 4194304 4196468 140725336703040 140725336685584 140053715828471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
/proc/21092/statm: 7192082 181517 3535 1 0 7153184 0
[pid=21092/tid=21093] ppid=21090 vsize=28768328 memory=1452 CPUtime=1.21 cores=0-7
/proc/21092/task/21093/stat : 21093 (java) S 21090 21090 16596 0 -1 1077944384 9998 0 0 0 115 6 0 0 20 0 28 0 419001580 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053720069248 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21094] ppid=21090 vsize=28768328 memory=604800 CPUtime=0.09 cores=0-7
/proc/21092/task/21094/stat : 21094 (java) S 21090 21090 16596 0 -1 1077944384 217 0 0 0 6 3 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053668448912 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21095] ppid=21090 vsize=28768328 memory=139909432710608 CPUtime=0.08 cores=0-7
/proc/21092/task/21095/stat : 21095 (java) S 21090 21090 16596 0 -1 1077944384 365 0 0 0 5 3 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053667396112 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21096] ppid=21090 vsize=28768328 memory=279818865419040 CPUtime=0.06 cores=0-7
/proc/21092/task/21096/stat : 21096 (java) S 21090 21090 16596 0 -1 1077944384 155 0 0 0 4 2 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053666343312 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21097] ppid=21090 vsize=28768328 memory=1452 CPUtime=0.1 cores=0-7
/proc/21092/task/21097/stat : 21097 (java) S 21090 21090 16596 0 -1 1077944384 581 0 0 0 7 3 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053665290512 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21098] ppid=21090 vsize=28768328 memory=725852 CPUtime=0.06 cores=0-7
/proc/21092/task/21098/stat : 21098 (java) S 21090 21090 16596 0 -1 1077944384 251 0 0 0 5 1 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053664238736 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21099] ppid=21090 vsize=28768328 memory=3512 CPUtime=0.1 cores=0-7
/proc/21092/task/21099/stat : 21099 (java) S 21090 21090 16596 0 -1 1077944384 394 0 0 0 6 4 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053663185936 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21100] ppid=21090 vsize=28768328 memory=41084 CPUtime=0.09 cores=0-7
/proc/21092/task/21100/stat : 21100 (java) S 21090 21090 16596 0 -1 1077944384 291 0 0 0 7 2 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053662133136 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21101] ppid=21090 vsize=28768328 memory=2020 CPUtime=0.07 cores=0-7
/proc/21092/task/21101/stat : 21101 (java) S 21090 21090 16596 0 -1 1077944384 319 0 0 0 5 2 0 0 20 0 28 0 419001581 29458767872 181517 33554432000 4194304 4196468 140725336703040 140053661080336 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21102] ppid=21090 vsize=28768328 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/21092/task/21102/stat : 21102 (java) S 21090 21090 16596 0 -1 1077944384 1182 0 0 0 1 0 0 0 20 0 28 0 419001582 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051911522672 140053715839618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21103] ppid=21090 vsize=28768328 memory=725616 CPUtime=0 cores=0-7
/proc/21092/task/21103/stat : 21103 (java) S 21090 21090 16596 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 419001583 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051910468704 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21104] ppid=21090 vsize=28768328 memory=279818864347200 CPUtime=0 cores=0-7
/proc/21092/task/21104/stat : 21104 (java) S 21090 21090 16596 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 419001583 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051909415808 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21105] ppid=21090 vsize=28768328 memory=4712545785129166945 CPUtime=0 cores=0-7
/proc/21092/task/21105/stat : 21105 (java) S 21090 21090 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419001585 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051908364112 140053715847067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21106] ppid=21090 vsize=28768328 memory=7084497845789879398 CPUtime=4.66 cores=0-7
/proc/21092/task/21106/stat : 21106 (java) S 21090 21090 16596 0 -1 1077944384 9006 0 0 0 463 3 0 0 20 0 28 0 419001585 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051907312496 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21107] ppid=21090 vsize=28768328 memory=7521945225475746412 CPUtime=4.75 cores=0-7
/proc/21092/task/21107/stat : 21107 (java) S 21090 21090 16596 0 -1 1077944384 12385 0 0 0 472 3 0 0 20 0 28 0 419001585 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051906259696 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21108] ppid=21090 vsize=28768328 memory=7085963653838758505 CPUtime=4.72 cores=0-7
/proc/21092/task/21108/stat : 21108 (java) S 21090 21090 16596 0 -1 1077944384 11327 0 0 0 469 3 0 0 20 0 28 0 419001585 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051462576752 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21109] ppid=21090 vsize=28768328 memory=0 CPUtime=1.17 cores=0-7
/proc/21092/task/21109/stat : 21109 (java) S 21090 21090 16596 0 -1 1077944384 7197 0 0 0 115 2 0 0 20 0 28 0 419001585 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051461523952 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21110] ppid=21090 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/21092/task/21110/stat : 21110 (java) S 21090 21090 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051460471392 140053715838677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21111] ppid=21090 vsize=28768328 memory=279818865823872 CPUtime=0 cores=0-7
/proc/21092/task/21111/stat : 21111 (java) S 21090 21090 16596 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419001586 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051459418672 140053715839618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21112] ppid=21090 vsize=28768328 memory=139909432943104 CPUtime=7.62 cores=0-7
/proc/21092/task/21112/stat : 21112 (java) R 21090 21090 16596 0 -1 4202560 299 0 0 0 762 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051448347688 140053337789768 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21113] ppid=21090 vsize=28768328 memory=0 CPUtime=6.26 cores=0-7
/proc/21092/task/21113/stat : 21113 (java) R 21090 21090 16596 0 -1 4202560 2587 0 0 0 621 5 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051447296056 140053343806964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21114] ppid=21090 vsize=28768328 memory=0 CPUtime=6.74 cores=0-7
/proc/21092/task/21114/stat : 21114 (java) R 21090 21090 16596 0 -1 4202560 197 0 0 0 674 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051446243848 140053338297935 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21115] ppid=21090 vsize=28768328 memory=0 CPUtime=7.09 cores=0-7
/proc/21092/task/21115/stat : 21115 (java) R 21090 21090 16596 0 -1 4202560 184 0 0 0 709 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051445191176 140053339722638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21116] ppid=21090 vsize=28768328 memory=0 CPUtime=7.11 cores=0-7
/proc/21092/task/21116/stat : 21116 (java) R 21090 21090 16596 0 -1 4202560 180 0 0 0 711 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051444138240 140725336721658 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21117] ppid=21090 vsize=28768328 memory=0 CPUtime=6.73 cores=0-7
/proc/21092/task/21117/stat : 21117 (java) R 21090 21090 16596 0 -1 4202560 528 0 0 0 672 1 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051443085880 140053340640622 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21118] ppid=21090 vsize=28768328 memory=0 CPUtime=6.59 cores=0-7
/proc/21092/task/21118/stat : 21118 (java) R 21090 21090 16596 0 -1 4202560 156 0 0 0 659 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051442032824 140053339722880 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
[pid=21092/tid=21119] ppid=21090 vsize=28768328 memory=0 CPUtime=6.57 cores=0-7
/proc/21092/task/21119/stat : 21119 (java) R 21090 21090 16596 0 -1 4202560 163 0 0 0 657 0 0 0 20 0 28 0 419001706 29458767872 181517 33554432000 4194304 4196468 140725336703040 140051440979568 140053337789676 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 12488704 140725336708074 140725336708246 140725336708246 140725336711119 0
Current children cumulated CPU time: 72.08 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 727520 KiB

Child status: 0
Real time (s): 9.89368
CPU time (s): 72.6145
CPU user time (s): 72.0625
CPU system time (s): 0.551967
CPU usage (%): 733.948
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 727520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.0625
system time used= 0.551967
maximum resident set size= 726132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4775
involuntary context switches= 2449


# summary of solver processes directly reported to runsolver:
#   pid: 21090
#   total CPU time (s): 72.6145
#   total CPU user time (s): 72.0625
#   total CPU system time (s): 0.551967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108046 second user time and 0.158034 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-14 05:13:54
IDJOB=4393501
IDBENCH=128096
IDSOLVER=2841
FILE ID=node147/4393501-1568430877
RUNJOBID= node147-1568427292-16623
PBS_JOBID= 21702296
Free space on /tmp= 58880 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-65-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393501-1568430877/watcher-4393501-1568430877 -o /tmp/evaluation-result-4393501-1568430877/solver-4393501-1568430877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2033810475 HOME/instance-4393501-1568430877.xml

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

MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b
RANDOM SEED=2033810475

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26843940 kB
MemAvailable:   31813548 kB
Buffers:          189616 kB
Cached:          5007144 kB
SwapCached:        48496 kB
Active:          2037196 kB
Inactive:        3210740 kB
Active(anon):       3224 kB
Inactive(anon):    89344 kB
Active(file):    2033972 kB
Inactive(file):  3121396 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957016 kB
Dirty:             26108 kB
Writeback:             0 kB
AnonPages:        112504 kB
Mapped:            44972 kB
Shmem:             32768 kB
Slab:             271856 kB
SReclaimable:     242700 kB
SUnreclaim:        29156 kB
KernelStack:        3360 kB
PageTables:         5156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58856 MiB
End job on node147 at 2019-09-14 05:14:04