Trace number 4393580

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 112.939 15.1298

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-05.xml
MD5SUMd843be5d5ecd152a475a61904cced3da
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 benchmark31.7231
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1412
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree85
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":18},"...",{"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"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":1211},{"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-4393580-1568430771.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393580-1568430771.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.04/1.27	c solve instance...
112.22/15.10	s SATISFIABLE
112.22/15.10	v <instantiation>
112.22/15.10	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>
112.22/15.10	v 	<values>17 2 20 2 6 2 9 17 2 19 22 17 6 2 17 20 2 18 14 2 18 2 9 2 23 2 18 11 17 5 18 2 6 20 2 17 0 4 17 17 2 17 19 16 14 17 20 18 2 18 13 17 15 17 11 0 2 6 2 17 5 6 6 2 17 20 2 6 11 6 14 17 6 2 6 20 3 14 18 16 20 17 22 20 2 18 2 6 1 2 18 2 6 17 2 14 6 11 6 3 23 4 17 2 20 22 6 3 19 2 14 16 17 19 2 17 14 3 20 2 17 2 19 15 17 2 21 2 17 11 6 18 2 20 2 18 2 13 2 17 17 6 8 17 2 0 2 9 17 2 17 2 7 3 18 11 17 16 20 17 10 17 4 17 17 5 6 6 3 20 14 3 6 2 6 14 3 6 11 6 3 14 3 17 4 17 3 14 11 6 3 6 11 23 6 2 17 12 14 3 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 </values>
112.22/15.10	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 (9618 MiB free)
  memory of node 1: 16384 MiB (15615 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393580-1568430771/watcher-4393580-1568430771 -o /tmp/evaluation-result-4393580-1568430771/solver-4393580-1568430771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 664350082 HOME/instance-4393580-1568430771.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=12831, runsolver pid=12828
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 6.10 7.29 7.39 3/212 12853
/proc/meminfo: memFree=25824316/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28227388 memory=27636 CPUtime=0.12 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 20 0 419325809 28904845312 6909 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7056847 6909 3148 1 0 7019032 0
[pid=12833/tid=12834] ppid=12831 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) R 12831 12831 11851 0 -1 4202560 3658 0 0 0 8 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279707549344 140279703324373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28227388 memory=139905499936384 CPUtime=0 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12838] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12838/stat : 12838 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279251790736 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12839] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12839/stat : 12839 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279250737680 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12841] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325811 28904845312 6909 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12844] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12844/stat : 12844 (java) S 12831 12831 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325812 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277899074288 140279703325314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325812 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277898020512 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325813 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277896967408 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277895915984 140279703332763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) S 12831 12831 11851 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277894863088 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277893810544 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277892757488 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) R 12831 12831 11851 0 -1 4202560 401 0 0 0 1 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277891704944 140279682439865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12853] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12853/stat : 12853 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325816 28904845312 6909 33554432000 4194304 4196468 140730830782064 140277889600688 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 29092 KiB

[startup+0.211068 s]*
/proc/loadavg: 6.10 7.29 7.39 2/212 12853
/proc/meminfo: memFree=25810300/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28227388 memory=39996 CPUtime=0.33 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 9772 0 0 0 30 3 0 0 20 0 20 0 419325809 28904845312 9999 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7056847 9999 3305 1 0 7019032 0
[pid=12833/tid=12834] ppid=12831 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) R 12831 12831 11851 0 -1 4202560 6691 0 0 0 18 2 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279707543888 140279687394654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28227388 memory=330 CPUtime=0 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28227388 memory=288370281651648128 CPUtime=0 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12838] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12838/stat : 12838 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279251790736 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12839] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12839/stat : 12839 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279250737680 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12841] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325810 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325811 28904845312 9999 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12844] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12844/stat : 12844 (java) S 12831 12831 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419325812 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277899074288 140279703325314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325812 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277898020512 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325813 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277896967408 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277895915984 140279703332763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) S 12831 12831 11851 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277894863088 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277893810544 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) S 12831 12831 11851 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277892757488 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) S 12831 12831 11851 0 -1 1077944384 896 0 0 0 7 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277891704944 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325815 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12853] ppid=12831 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12853/stat : 12853 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325816 28904845312 9999 33554432000 4194304 4196468 140730830782064 140277889600688 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41452 KiB

[startup+0.312575 s]*
/proc/loadavg: 6.10 7.29 7.39 3/212 12853
/proc/meminfo: memFree=25804828/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28231644 memory=49276 CPUtime=0.53 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 11203 0 0 0 48 5 0 0 20 0 20 0 419325809 28909203456 12319 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7057911 12319 3354 1 0 7019032 0
[pid=12833/tid=12834] ppid=12831 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) R 12831 12831 11851 0 -1 4202560 7809 0 0 0 27 3 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279707552624 140279687394654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12838] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12838/stat : 12838 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279251790736 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12839] ppid=12831 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/12833/task/12839/stat : 12839 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279250737680 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12841] ppid=12831 vsize=28231644 memory=139905338536879 CPUtime=0 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28231644 memory=139905338539184 CPUtime=0 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325810 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28231644 memory=139905338541488 CPUtime=0 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325811 28909203456 12319 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12844] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12844/stat : 12844 (java) S 12831 12831 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419325812 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277899074288 140279703325314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28231644 memory=279810677089936 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325812 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277898020512 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28231644 memory=279810677096848 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325813 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277896967408 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28231644 memory=279810677038128 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277895915984 140279703332763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28231644 memory=279810677110672 CPUtime=0.03 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) R 12831 12831 11851 0 -1 4202560 805 0 0 0 3 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277894844104 140279683002661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28231644 memory=279810677117584 CPUtime=0.02 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277893810544 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28231644 memory=279810677115280 CPUtime=0.02 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) S 12831 12831 11851 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277892757488 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28231644 memory=279810677131440 CPUtime=0.12 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) S 12831 12831 11851 0 -1 1077944384 1061 0 0 0 12 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277891704944 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325815 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12853] ppid=12831 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/12833/task/12853/stat : 12853 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325816 28909203456 12319 33554432000 4194304 4196468 140730830782064 140277889600688 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50732 KiB

[startup+0.700981 s]
/proc/loadavg: 5.77 7.20 7.36 6/212 12853
/proc/meminfo: memFree=25783024/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28233768 memory=92096 CPUtime=1.9 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 17277 0 0 0 183 7 0 0 20 0 20 0 419325809 28911378432 23024 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7058442 23024 3464 1 0 7019544 0
[pid=12833/tid=12834] ppid=12831 vsize=28233768 memory=279810677489328 CPUtime=0.67 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) R 12831 12831 11851 0 -1 4202560 9282 0 0 0 63 4 0 0 20 0 20 0 419325810 28911378432 23024 33554432000 4194304 4196468 140730830782064 140279707551280 140279342431669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28233768 memory=139905338745712 CPUtime=0 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28911378432 23024 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28911378432 23024 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325810 28911378432 23024 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0

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

[pid=12833/tid=12841] ppid=12831 vsize=28768328 memory=279810678644896 CPUtime=0.06 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 249 0 0 0 3 3 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 1039 0 0 0 3 2 0 0 20 0 28 0 419325811 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12844] ppid=12831 vsize=28768328 memory=8330969454845486047 CPUtime=0.01 cores=0-7
/proc/12833/task/12844/stat : 12844 (java) S 12831 12831 11851 0 -1 1077944384 651 0 0 0 1 0 0 0 20 0 28 0 419325812 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277899074288 140279703325314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 419325812 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277898020576 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28768328 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 419325813 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277896967424 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277895915984 140279703332763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28768328 memory=1040 CPUtime=5.25 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) S 12831 12831 11851 0 -1 1077944384 22661 0 0 0 519 6 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277894863088 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28768328 memory=14004 CPUtime=4.9 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 22126 0 0 0 486 4 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277893810544 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28768328 memory=12040 CPUtime=4.92 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) R 12831 12831 11851 0 -1 4202560 21296 0 0 0 487 5 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277892757784 140279688439546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28768328 memory=2120 CPUtime=1.17 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) S 12831 12831 11851 0 -1 1077944384 7933 0 0 0 115 2 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277891704944 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28768328 memory=21620 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12853] ppid=12831 vsize=28768328 memory=1556 CPUtime=0 cores=0-7
/proc/12833/task/12853/stat : 12853 (java) S 12831 12831 11851 0 -1 1077944384 709 0 0 0 0 0 0 0 20 0 28 0 419325816 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277889600688 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12854] ppid=12831 vsize=28768328 memory=500 CPUtime=11.81 cores=0-7
/proc/12833/task/12854/stat : 12854 (java) R 12831 12831 11851 0 -1 4202560 299 0 0 0 1181 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277878291416 140279348748263 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12855] ppid=12831 vsize=28768328 memory=932 CPUtime=11.97 cores=0-7
/proc/12833/task/12855/stat : 12855 (java) R 12831 12831 11851 0 -1 4202560 304 0 0 0 1197 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277877240016 140279348643539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12856] ppid=12831 vsize=28768328 memory=1768 CPUtime=10.86 cores=0-7
/proc/12833/task/12856/stat : 12856 (java) R 12831 12831 11851 0 -1 4202560 1931 0 0 0 1085 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277876189096 140279348644258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12857] ppid=12831 vsize=28768328 memory=1656 CPUtime=11.71 cores=0-7
/proc/12833/task/12857/stat : 12857 (java) R 12831 12831 11851 0 -1 4202560 753 0 0 0 1170 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277875134984 140279353896961 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12858] ppid=12831 vsize=28768328 memory=804 CPUtime=11.61 cores=0-7
/proc/12833/task/12858/stat : 12858 (java) R 12831 12831 11851 0 -1 4202560 357 0 0 0 1161 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277874081416 140279347522961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12859] ppid=12831 vsize=28768328 memory=1448 CPUtime=11.22 cores=0-7
/proc/12833/task/12859/stat : 12859 (java) R 12831 12831 11851 0 -1 4202560 803 0 0 0 1122 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277873028648 140279347522767 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12860] ppid=12831 vsize=28768328 memory=1980 CPUtime=11.99 cores=0-7
/proc/12833/task/12860/stat : 12860 (java) R 12831 12831 11851 0 -1 4202560 301 0 0 0 1198 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277871976936 140279347264140 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12861] ppid=12831 vsize=28768328 memory=2580 CPUtime=11.2 cores=0-7
/proc/12833/task/12861/stat : 12861 (java) R 12831 12831 11851 0 -1 4202560 492 0 0 0 1120 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277870924392 140279347522237 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 110.56 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 508296 KiB

[startup+15.0013 s]*
/proc/loadavg: 6.26 7.26 7.38 9/220 12861
/proc/meminfo: memFree=25346424/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28768328 memory=506840 CPUtime=112.22 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 97180 0 0 0 11169 53 0 0 20 0 28 0 419325809 29458767872 126710 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7192082 126710 3533 1 0 7153184 0
[pid=12833/tid=12834] ppid=12831 vsize=28768328 memory=6791534058613427641 CPUtime=1.25 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) S 12831 12831 11851 0 -1 1077944384 10896 0 0 0 119 6 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279707554944 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 274 0 0 0 4 1 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 270 0 0 0 5 2 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 191 0 0 0 2 2 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12838] ppid=12831 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/12833/task/12838/stat : 12838 (java) S 12831 12831 11851 0 -1 1077944384 518 0 0 0 4 3 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279251790736 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12839] ppid=12831 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/12833/task/12839/stat : 12839 (java) S 12831 12831 11851 0 -1 1077944384 1382 0 0 0 3 2 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279250737680 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12841] ppid=12831 vsize=28768328 memory=139905339302831 CPUtime=0.06 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 249 0 0 0 3 3 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 28 0 419325810 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28768328 memory=7018394248814813523 CPUtime=0.05 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 1039 0 0 0 3 2 0 0 20 0 28 0 419325811 29458767872 126710 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12844] ppid=12831 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/12833/task/12844/stat : 12844 (java) S 12831 12831 11851 0 -1 1077944384 651 0 0 0 1 0 0 0 20 0 28 0 419325812 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277899074288 140279703325314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28768328 memory=7524214613381180014 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 419325812 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277898020576 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28768328 memory=279810677200200 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 419325813 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277896967424 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28768328 memory=4627829655977429107 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277895915984 140279703332763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28768328 memory=0 CPUtime=5.25 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) S 12831 12831 11851 0 -1 1077944384 22661 0 0 0 519 6 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277894863088 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28768328 memory=0 CPUtime=4.93 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 22172 0 0 0 489 4 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277893810544 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28768328 memory=0 CPUtime=4.94 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) S 12831 12831 11851 0 -1 1077944384 21404 0 0 0 489 5 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277892757488 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28768328 memory=0 CPUtime=1.17 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) S 12831 12831 11851 0 -1 1077944384 7933 0 0 0 115 2 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277891704944 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419325815 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12853] ppid=12831 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/12833/task/12853/stat : 12853 (java) S 12831 12831 11851 0 -1 1077944384 709 0 0 0 0 1 0 0 20 0 28 0 419325816 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277889600688 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12854] ppid=12831 vsize=28768328 memory=3539882221917713951 CPUtime=12.02 cores=0-7
/proc/12833/task/12854/stat : 12854 (java) R 12831 12831 11851 0 -1 4202560 299 0 0 0 1202 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277878291416 140279347533749 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12855] ppid=12831 vsize=28768328 memory=3690471420374037559 CPUtime=12.18 cores=0-7
/proc/12833/task/12855/stat : 12855 (java) R 12831 12831 11851 0 -1 4202560 304 0 0 0 1218 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277877240016 140279348644113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12856] ppid=12831 vsize=28768328 memory=6720696446780535410 CPUtime=11.07 cores=0-7
/proc/12833/task/12856/stat : 12856 (java) R 12831 12831 11851 0 -1 4202560 1934 0 0 0 1106 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277876189096 140279347522655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12857] ppid=12831 vsize=28768328 memory=7737557359838587240 CPUtime=11.91 cores=0-7
/proc/12833/task/12857/stat : 12857 (java) R 12831 12831 11851 0 -1 4202560 754 0 0 0 1190 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277875134984 140279348726540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12858] ppid=12831 vsize=28768328 memory=8242832241811678803 CPUtime=11.82 cores=0-7
/proc/12833/task/12858/stat : 12858 (java) R 12831 12831 11851 0 -1 4202560 357 0 0 0 1182 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277874081416 140279347522307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12859] ppid=12831 vsize=28768328 memory=7737557351248981608 CPUtime=11.38 cores=0-7
/proc/12833/task/12859/stat : 12859 (java) R 12831 12831 11851 0 -1 4202560 811 0 0 0 1138 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277873028424 140279347522163 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12860] ppid=12831 vsize=28768328 memory=7013068218989176939 CPUtime=12.19 cores=0-7
/proc/12833/task/12860/stat : 12860 (java) R 12831 12831 11851 0 -1 4202560 301 0 0 0 1218 1 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277871976936 140279347323682 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12861] ppid=12831 vsize=28768328 memory=279810678547488 CPUtime=11.41 cores=0-7
/proc/12833/task/12861/stat : 12861 (java) R 12831 12831 11851 0 -1 4202560 492 0 0 0 1141 0 0 0 20 0 28 0 419325940 29458767872 126710 33554432000 4194304 4196468 140730830782064 140277870924392 140279347514461 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 112.22 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 508296 KiB

[startup+15.111 s]
/proc/loadavg: 6.26 7.26 7.38 9/220 12861
/proc/meminfo: memFree=25346424/32770624 swapFree=67002152/67108860
[pid=12831] ppid=12828 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12831/stat : 12831 (xcsp3-exec) S 12828 12831 11851 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419325809 115843072 364 33554432000 4194304 5098028 140736926010064 140736926008168 140236396712572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29716480 140736926016374 140736926016617 140736926016617 140736926019530 0
/proc/12831/statm: 28282 364 305 221 0 87 0
[pid=12833] ppid=12831 vsize=28768328 memory=506500 CPUtime=112.91 cores=0-7
/proc/12833/stat : 12833 (java) S 12831 12831 11851 0 -1 1077944320 99167 0 0 0 11237 54 0 0 20 0 19 0 419325809 29458767872 126625 33554432000 4194304 4196468 140730830782064 140730830764608 140279703314167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
/proc/12833/statm: 7192082 126625 3535 1 0 7153184 0
[pid=12833/tid=12834] ppid=12831 vsize=28768328 memory=506840 CPUtime=1.25 cores=0-7
/proc/12833/task/12834/stat : 12834 (java) S 12831 12831 11851 0 -1 1077944384 11512 0 0 0 119 6 0 0 20 0 19 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279707557008 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12835] ppid=12831 vsize=28768328 memory=506828 CPUtime=0.05 cores=0-7
/proc/12833/task/12835/stat : 12835 (java) S 12831 12831 11851 0 -1 1077944384 274 0 0 0 4 1 0 0 20 0 19 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279673027600 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12836] ppid=12831 vsize=28768328 memory=-1624781813439352349 CPUtime=0.07 cores=0-7
/proc/12833/task/12836/stat : 12836 (java) S 12831 12831 11851 0 -1 1077944384 270 0 0 0 5 2 0 0 20 0 19 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279253896336 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12837] ppid=12831 vsize=28768328 memory=8976414709404591081 CPUtime=0.04 cores=0-7
/proc/12833/task/12837/stat : 12837 (java) S 12831 12831 11851 0 -1 1077944384 191 0 0 0 2 2 0 0 20 0 19 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279252843280 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12838] ppid=12831 vsize=28768328 memory=279809603411506 CPUtime=0.07 cores=0-7
/proc/12833/task/12838/stat : 12838 (java) S 12831 12831 11851 0 -1 1077944384 518 0 0 0 4 3 0 0 20 0 19 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279251790736 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12839] ppid=12831 vsize=28768328 memory=8993858465908885556 CPUtime=0.05 cores=0-7
/proc/12833/task/12839/stat : 12839 (java) S 12831 12831 11851 0 -1 1077944384 1382 0 0 0 3 2 0 0 20 0 18 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279250737680 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12841] ppid=12831 vsize=28768328 memory=-8452003593126069702 CPUtime=0.06 cores=0-7
/proc/12833/task/12841/stat : 12841 (java) S 12831 12831 11851 0 -1 1077944384 249 0 0 0 3 3 0 0 20 0 18 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279249685136 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12842] ppid=12831 vsize=28768328 memory=506828 CPUtime=0.07 cores=0-7
/proc/12833/task/12842/stat : 12842 (java) S 12831 12831 11851 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 18 0 419325810 29458767872 126625 33554432000 4194304 4196468 140730830782064 140279248632080 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12843] ppid=12831 vsize=28768328 memory=111632 CPUtime=0.05 cores=0-7
/proc/12833/task/12843/stat : 12843 (java) S 12831 12831 11851 0 -1 1077944384 1039 0 0 0 3 2 0 0 20 0 18 0 419325811 29458767872 126597 33554432000 4194304 4196468 140730830782064 140279247579536 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12845] ppid=12831 vsize=28768328 memory=1568 CPUtime=0 cores=0-7
/proc/12833/task/12845/stat : 12845 (java) S 12831 12831 11851 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 419325812 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277898020576 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12846] ppid=12831 vsize=28768328 memory=1040 CPUtime=0 cores=0-7
/proc/12833/task/12846/stat : 12846 (java) S 12831 12831 11851 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 419325813 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277896967424 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12847] ppid=12831 vsize=28768328 memory=14004 CPUtime=0 cores=0-7
/proc/12833/task/12847/stat : 12847 (java) S 12831 12831 11851 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 419325815 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277895915696 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12848] ppid=12831 vsize=28768328 memory=56 CPUtime=5.26 cores=0-7
/proc/12833/task/12848/stat : 12848 (java) S 12831 12831 11851 0 -1 1077944384 22665 0 0 0 520 6 0 0 20 0 17 0 419325815 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277894848144 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12849] ppid=12831 vsize=28768328 memory=13841 CPUtime=4.94 cores=0-7
/proc/12833/task/12849/stat : 12849 (java) S 12831 12831 11851 0 -1 1077944384 22339 0 0 0 490 4 0 0 20 0 17 0 419325815 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277893797808 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12850] ppid=12831 vsize=28768328 memory=39584 CPUtime=4.94 cores=0-7
/proc/12833/task/12850/stat : 12850 (java) S 12831 12831 11851 0 -1 1077944384 21410 0 0 0 489 5 0 0 20 0 17 0 419325815 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277892757488 140279703325314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12851] ppid=12831 vsize=28768328 memory=988 CPUtime=1.18 cores=0-7
/proc/12833/task/12851/stat : 12851 (java) S 12831 12831 11851 0 -1 1077944384 8813 0 0 0 116 2 0 0 20 0 17 0 419325815 29458767872 126597 33554432000 4194304 4196468 140730830782064 140277891704512 140279703324373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
[pid=12833/tid=12852] ppid=12831 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/12833/task/12852/stat : 12852 (java) S 12831 12831 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 419325815 29458767872 126696 33554432000 4194304 4196468 140730830782064 140277890653152 140279703324373 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38211584 140730830787562 140730830787734 140730830787734 140730830790607 0
Current children cumulated CPU time: 112.91 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 507956 KiB

Child status: 0
Real time (s): 15.1298
CPU time (s): 112.939
CPU user time (s): 112.378
CPU system time (s): 0.561106
CPU usage (%): 746.465
Max. virtual memory (cumulated for all children) (KiB): 28884484
Max. memory (cumulated for all children) (KiB): 508296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.378
system time used= 0.561106
maximum resident set size= 507284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6919
involuntary context switches= 2915


# summary of solver processes directly reported to runsolver:
#   pid: 12831
#   total CPU time (s): 112.939
#   total CPU user time (s): 112.378
#   total CPU system time (s): 0.561106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157367 second user time and 0.221792 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 05:12:07
IDJOB=4393580
IDBENCH=128067
IDSOLVER=2841
FILE ID=node136/4393580-1568430771
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 61168 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.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-4393580-1568430771/watcher-4393580-1568430771 -o /tmp/evaluation-result-4393580-1568430771/solver-4393580-1568430771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 664350082 HOME/instance-4393580-1568430771.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=664350082

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25839324 kB
MemAvailable:   31889364 kB
Buffers:           81216 kB
Cached:          6245188 kB
SwapCached:         3116 kB
Active:          2037108 kB
Inactive:        4297280 kB
Active(anon):       6276 kB
Inactive(anon):    42132 kB
Active(file):    2030832 kB
Inactive(file):  4255148 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002152 kB
Dirty:             26384 kB
Writeback:             0 kB
AnonPages:        153688 kB
Mapped:            44208 kB
Shmem:             31936 kB
Slab:             189532 kB
SReclaimable:     159788 kB
SUnreclaim:        29744 kB
KernelStack:        3776 kB
PageTables:         5356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 61140 MiB
End job on node136 at 2019-09-14 05:12:23