Trace number 4399530

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-09-16 parallelSAT 20.0493 3.28901

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-03.xml
MD5SUM09f7292054b32b27f786cbe3f3fae605
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 benchmark6.32732
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1419
Number of domains2
Minimum domain size2
Maximum domain size27
Distribution of domain sizes[{"size":2,"count":1000},{"size":27,"count":200}]
Minimum variable degree2
Maximum variable degree73
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":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":10}, {"degree":54,"count":57}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
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":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},{"arity":77,"count":2},{"arity":78,"count":1},{"arity":80,"count":5},"...",{"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":1218},{"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-4399530-1568707807.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399530-1568707807.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.06/1.26	c solve instance...
19.55/3.26	s SATISFIABLE
19.55/3.26	v <instantiation>
19.55/3.26	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>
19.55/3.26	v 	<values>23 26 14 26 13 15 3 20 13 11 26 3 19 16 26 3 3 13 26 9 3 13 19 22 13 3 26 11 20 13 16 10 13 22 1 13 8 19 11 13 10 14 13 18 11 13 13 15 3 19 3 11 26 23 19 11 26 3 18 26 3 11 8 13 25 13 13 6 8 13 15 13 20 24 13 19 16 7 3 17 13 19 8 16 10 13 17 11 13 3 22 19 13 11 5 8 15 13 26 11 26 3 11 10 18 24 3 19 11 10 13 5 19 16 3 13 18 3 12 8 19 13 18 0 13 3 13 19 11 17 8 11 10 13 2 13 7 14 19 13 1 22 26 3 26 13 19 16 20 3 15 13 13 18 26 11 8 8 2 13 13 10 11 26 13 3 19 16 8 19 8 11 26 21 15 13 3 13 26 11 17 8 11 10 13 18 13 10 13 11 19 3 4 13 3 13 12 3 26 18 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 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 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 </values>
19.55/3.26	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 (10670 MiB free)
  memory of node 1: 16384 MiB (15478 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399530-1568707807/watcher-4399530-1568707807 -o /tmp/evaluation-result-4399530-1568707807/solver-4399530-1568707807 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 268839365 HOME/instance-4399530-1568707807.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=28795, runsolver pid=28792
Current StackSize limit: 8192 KiB


[startup+0.100165 s]*
/proc/loadavg: 8.12 8.24 8.27 3/211 28816
/proc/meminfo: memFree=26760048/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28227396 memory=30068 CPUtime=0.13 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 5493 0 0 0 12 1 0 0 20 0 20 0 447019377 28904853504 7517 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7056849 7517 3119 1 0 7019032 0
[pid=28797/tid=28798] ppid=28795 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) R 28795 28795 21699 0 -1 4202560 3397 0 0 0 8 0 0 0 20 0 20 0 447019377 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814725178976 139814720957846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28227396 memory=140643902486144 CPUtime=0 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28802] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814268684688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28803] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814267632656 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28804] ppid=28795 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814266580112 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28805] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814265527056 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28806] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814264474512 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28807] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019379 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814105807088 139814720957058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28808] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28795 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447019380 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814104753312 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28809] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28795 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447019380 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814103700208 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28810] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28795 21699 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814101596912 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28795 21699 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814100544368 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814099491312 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) R 28795 28795 21699 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814098438768 139814713183038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019383 28904853504 7517 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31524 KiB

[startup+0.21049 s]*
/proc/loadavg: 7.55 8.12 8.23 3/211 28816
/proc/meminfo: memFree=26747812/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28227396 memory=40628 CPUtime=0.34 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 8921 0 0 0 31 3 0 0 20 0 20 0 447019377 28904853504 10157 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7056849 10157 3265 1 0 7019032 0
[pid=28797/tid=28798] ppid=28795 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) R 28795 28795 21699 0 -1 4202560 6198 0 0 0 18 1 0 0 20 0 20 0 447019377 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814725179360 139814720957846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28227396 memory=288371020054197888 CPUtime=0 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28802] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814268684688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28803] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814267632656 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28804] ppid=28795 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814266580112 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28805] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814265527056 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28806] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019378 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814264474512 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28807] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28795 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447019379 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814105807088 139814720957058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28808] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28795 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447019380 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814104753312 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28809] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28795 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447019380 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814103700208 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28810] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28795 21699 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814101596912 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28795 21699 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814100544368 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28795 21699 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814099491312 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) R 28795 28795 21699 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814098438768 139814701261849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019382 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019383 28904853504 10157 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42084 KiB

[startup+0.310186 s]*
/proc/loadavg: 7.55 8.12 8.23 4/211 28816
/proc/meminfo: memFree=26740280/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28231652 memory=49872 CPUtime=0.53 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 10377 0 0 0 49 4 0 0 20 0 20 0 447019377 28909211648 12468 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7057913 12468 3364 1 0 7019032 0
[pid=28797/tid=28798] ppid=28795 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) R 28795 28795 21699 0 -1 4202560 7324 0 0 0 27 2 0 0 20 0 20 0 447019377 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814725177024 139814705026398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28802] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814268684688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28803] ppid=28795 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814267632656 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28804] ppid=28795 vsize=28231652 memory=140643804476335 CPUtime=0 cores=0-7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814266580112 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28805] ppid=28795 vsize=28231652 memory=140643804478640 CPUtime=0 cores=0-7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814265527056 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28806] ppid=28795 vsize=28231652 memory=140643804480944 CPUtime=0 cores=0-7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019378 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814264474512 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28807] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28795 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447019379 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814105807088 139814720957058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28808] ppid=28795 vsize=28231652 memory=281287608968848 CPUtime=0 cores=0-7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28795 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447019380 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814104753312 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28809] ppid=28795 vsize=28231652 memory=281287608975760 CPUtime=0 cores=0-7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28795 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447019380 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814103700208 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28810] ppid=28795 vsize=28231652 memory=281287608916912 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28231652 memory=281287608989584 CPUtime=0.03 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) R 28795 28795 21699 0 -1 4202560 499 0 0 0 3 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814101578024 139814702465786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28231652 memory=281287608996496 CPUtime=0.03 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28795 21699 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814100544368 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28231652 memory=281287608994192 CPUtime=0.02 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28795 21699 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814099491312 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28231652 memory=281287609010352 CPUtime=0.12 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28795 21699 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814098438768 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019382 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447019383 28909211648 12468 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51328 KiB

[startup+0.700972 s]
/proc/loadavg: 7.55 8.12 8.23 6/211 28816
/proc/meminfo: memFree=26718736/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28233776 memory=94544 CPUtime=1.9 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 16337 0 0 0 183 7 0 0 20 0 20 0 447019377 28911386624 23636 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7058444 23636 3456 1 0 7019544 0
[pid=28797/tid=28798] ppid=28795 vsize=28233776 memory=281287609368240 CPUtime=0.67 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) R 28795 28795 21699 0 -1 4202560 8796 0 0 0 64 3 0 0 20 0 20 0 447019377 28911386624 23636 33554432000 4194304 4196468 140733209644160 139814725182920 139814720957846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28233776 memory=140643804685168 CPUtime=0 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28911386624 23636 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447019378 28911386624 23636 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28233776 memory=6004 CPUtime=0 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447019378 28911386624 23636 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0

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

[pid=28797/tid=28810] ppid=28795 vsize=28768336 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28768336 memory=-7019007802211101846 CPUtime=0.92 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) R 28795 28795 21699 0 -1 4202560 3292 0 0 0 91 1 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814101596912 139814704431853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28768336 memory=7682744562847679290 CPUtime=0.91 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) R 28795 28795 21699 0 -1 4202560 3947 0 0 0 90 1 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814100530912 139814700798002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28768336 memory=6004 CPUtime=0.97 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) R 28795 28795 21699 0 -1 4202560 2801 0 0 0 97 0 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814099484336 139814700279536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28768336 memory=624 CPUtime=0.63 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) R 28795 28795 21699 0 -1 1077944384 3835 0 0 0 61 2 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814098438768 139814720957058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28768336 memory=4004 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447019383 29458776064 54431 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 219180 KiB

[startup+3.11675 s]
/proc/loadavg: 7.55 8.12 8.23 10/219 28824
/proc/meminfo: memFree=26515064/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28768336 memory=274460 CPUtime=18.84 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 33480 0 0 0 1857 27 0 0 20 0 28 0 447019377 29458776064 68615 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7192084 68615 3534 1 0 7153184 0
[pid=28797/tid=28798] ppid=28795 vsize=28768336 memory=216388 CPUtime=1.23 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) S 28795 28795 21699 0 -1 1077944384 10399 0 0 0 117 6 0 0 20 0 28 0 447019377 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814725186688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28768336 memory=116 CPUtime=0.03 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28768336 memory=139 CPUtime=0.02 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28768336 memory=136 CPUtime=0.03 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28802] ppid=28795 vsize=28768336 memory=120 CPUtime=0.03 cores=0-7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28795 21699 0 -1 1077944384 245 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814268684688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28803] ppid=28795 vsize=28768336 memory=133 CPUtime=0.03 cores=0-7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28795 21699 0 -1 1077944384 101 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814267632656 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28804] ppid=28795 vsize=28768336 memory=273920 CPUtime=0.04 cores=0-7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28795 21699 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814266580112 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28805] ppid=28795 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28795 21699 0 -1 1077944384 522 0 0 0 3 1 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814265527056 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28806] ppid=28795 vsize=28768336 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28795 21699 0 -1 1077944384 205 0 0 0 2 2 0 0 20 0 28 0 447019378 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814264474512 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28807] ppid=28795 vsize=28768336 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28795 21699 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 28 0 447019379 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814105807088 139814720957058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28808] ppid=28795 vsize=28768336 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28795 21699 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447019380 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814104753376 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28809] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28795 21699 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447019380 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814103700224 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28810] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28768336 memory=0 CPUtime=1.89 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) R 28795 28795 21699 0 -1 4202560 5062 0 0 0 188 1 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814101597208 139814705875333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28768336 memory=0 CPUtime=1.82 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) R 28795 28795 21699 0 -1 4202560 5660 0 0 0 181 1 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814100530384 139814702467248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28768336 memory=0 CPUtime=1.77 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28795 21699 0 -1 1077944384 4255 0 0 0 176 1 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814099491312 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28768336 memory=0 CPUtime=0.75 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28795 21699 0 -1 1077944384 4229 0 0 0 73 2 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814098438768 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447019383 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28817] ppid=28795 vsize=28768336 memory=0 CPUtime=1.25 cores=0-7
/proc/28797/task/28817/stat : 28817 (java) R 28795 28795 21699 0 -1 4202560 111 0 0 0 125 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814087113976 139814362857014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28818] ppid=28795 vsize=28768336 memory=57 CPUtime=1.27 cores=0-7
/proc/28797/task/28818/stat : 28818 (java) R 28795 28795 21699 0 -1 4202560 63 0 0 0 127 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814086064040 139814363164802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28819] ppid=28795 vsize=28768336 memory=7302974177930731887 CPUtime=1.22 cores=0-7
/proc/28797/task/28819/stat : 28819 (java) R 28795 28795 21699 0 -1 4202560 67 0 0 0 122 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814085010056 139814364141353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28820] ppid=28795 vsize=28768336 memory=6226606230051120482 CPUtime=1.32 cores=0-7
/proc/28797/task/28820/stat : 28820 (java) R 28795 28795 21699 0 -1 4202560 89 0 0 0 132 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814083957384 139814362857424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28821] ppid=28795 vsize=28768336 memory=6226606230051120482 CPUtime=1.5 cores=0-7
/proc/28797/task/28821/stat : 28821 (java) R 28795 28795 21699 0 -1 4202560 60 0 0 0 150 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814082904328 139814363102362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28822] ppid=28795 vsize=28768336 memory=7301577827975065188 CPUtime=1.46 cores=0-7
/proc/28797/task/28822/stat : 28822 (java) R 28795 28795 21699 0 -1 4202560 54 0 0 0 146 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814081853592 139814362857488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28823] ppid=28795 vsize=28768336 memory=7230920973366092909 CPUtime=1.39 cores=0-7
/proc/28797/task/28823/stat : 28823 (java) R 28795 28795 21699 0 -1 4202560 36 0 0 0 139 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814080799416 139814364639307 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28824] ppid=28795 vsize=28768336 memory=7735043756166243437 CPUtime=1.53 cores=0-7
/proc/28797/task/28824/stat : 28824 (java) R 28795 28795 21699 0 -1 4202560 36 0 0 0 153 0 0 0 20 0 28 0 447019505 29458776064 68615 33554432000 4194304 4196468 140733209644160 139814079745480 139814364636418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 18.84 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 275916 KiB

[startup+3.28896 s]
# the end of solver process 28795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.7563 s, system=0.292978 s

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

[startup+3.20497 s]
/proc/loadavg: 7.55 8.12 8.23 10/219 28824
/proc/meminfo: memFree=26515064/32770624 swapFree=66941544/67108860
[pid=28795] ppid=28792 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28795/stat : 28795 (xcsp3-exec) S 28792 28795 21699 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447019376 115843072 364 33554432000 4194304 5098028 140726442464944 140726442463048 140447806403196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140726442468214 140726442468457 140726442468457 140726442471370 0
/proc/28795/statm: 28282 364 305 221 0 87 0
[pid=28797] ppid=28795 vsize=28768336 memory=274496 CPUtime=19.55 cores=0-7
/proc/28797/stat : 28797 (java) S 28795 28795 21699 0 -1 1077944320 33522 0 0 0 1928 27 0 0 20 0 28 0 447019377 29458776064 68624 33554432000 4194304 4196468 140733209644160 140733209626704 139814720945911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
/proc/28797/statm: 7192084 68624 3534 1 0 7153184 0
[pid=28797/tid=28798] ppid=28795 vsize=28768336 memory=281287608804712 CPUtime=1.23 cores=0-7
/proc/28797/task/28798/stat : 28798 (java) S 28795 28795 21699 0 -1 1077944384 10399 0 0 0 117 6 0 0 20 0 28 0 447019377 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814725186688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28799] ppid=28795 vsize=28768336 memory=4010351747230335008 CPUtime=0.03 cores=0-7
/proc/28797/task/28799/stat : 28799 (java) S 28795 28795 21699 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814677498384 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28800] ppid=28795 vsize=28768336 memory=1943650 CPUtime=0.02 cores=0-7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28795 21699 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814676445840 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28801] ppid=28795 vsize=28768336 memory=301848051811781873 CPUtime=0.03 cores=0-7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28795 21699 0 -1 1077944384 241 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814269737232 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28802] ppid=28795 vsize=28768336 memory=288230574492221466 CPUtime=0.03 cores=0-7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28795 21699 0 -1 1077944384 245 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814268684688 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28803] ppid=28795 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28795 21699 0 -1 1077944384 101 0 0 0 2 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814267632656 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28804] ppid=28795 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28795 21699 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814266580112 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28805] ppid=28795 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28795 21699 0 -1 1077944384 522 0 0 0 3 1 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814265527056 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28806] ppid=28795 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28795 21699 0 -1 1077944384 205 0 0 0 2 2 0 0 20 0 28 0 447019378 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814264474512 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28807] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28795 21699 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 28 0 447019379 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814105807088 139814720957058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28808] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28795 21699 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447019380 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814104753376 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28809] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28795 21699 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447019380 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814103700224 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28810] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28795 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814102648784 139814720964507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28811] ppid=28795 vsize=28768336 memory=0 CPUtime=1.92 cores=0-7
/proc/28797/task/28811/stat : 28811 (java) R 28795 28795 21699 0 -1 1077944384 5071 0 0 0 191 1 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814101596800 139814720956117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28812] ppid=28795 vsize=28768336 memory=0 CPUtime=1.86 cores=0-7
/proc/28797/task/28812/stat : 28812 (java) R 28795 28795 21699 0 -1 4202560 5683 0 0 0 185 1 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814100544368 139814720957846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28813] ppid=28795 vsize=28768336 memory=0 CPUtime=1.8 cores=0-7
/proc/28797/task/28813/stat : 28813 (java) R 28795 28795 21699 0 -1 4202560 4255 0 0 0 179 1 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814099491608 139814704442699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28814] ppid=28795 vsize=28768336 memory=0 CPUtime=0.75 cores=0-7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28795 21699 0 -1 1077944384 4239 0 0 0 73 2 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814098438768 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28815] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28795 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447019382 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814097385952 139814720956117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28816] ppid=28795 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28795 21699 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447019383 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814096333488 139814720957058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28817] ppid=28795 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/28797/task/28817/stat : 28817 (java) R 28795 28795 21699 0 -1 4202560 111 0 0 0 132 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814087113976 139814364140916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28818] ppid=28795 vsize=28768336 memory=151 CPUtime=1.33 cores=0-7
/proc/28797/task/28818/stat : 28818 (java) R 28795 28795 21699 0 -1 4202560 63 0 0 0 133 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814086064040 139814362838356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28819] ppid=28795 vsize=28768336 memory=153 CPUtime=1.3 cores=0-7
/proc/28797/task/28819/stat : 28819 (java) R 28795 28795 21699 0 -1 4202560 67 0 0 0 130 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814085011672 139814364141353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28820] ppid=28795 vsize=28768336 memory=154 CPUtime=1.41 cores=0-7
/proc/28797/task/28820/stat : 28820 (java) R 28795 28795 21699 0 -1 4202560 89 0 0 0 141 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814083957232 139814362857488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28821] ppid=28795 vsize=28768336 memory=72 CPUtime=1.57 cores=0-7
/proc/28797/task/28821/stat : 28821 (java) R 28795 28795 21699 0 -1 4202560 60 0 0 0 157 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814082904328 139814363102192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28822] ppid=28795 vsize=28768336 memory=0 CPUtime=1.53 cores=0-7
/proc/28797/task/28822/stat : 28822 (java) R 28795 28795 21699 0 -1 4202560 54 0 0 0 153 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814081852328 139814364141054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28823] ppid=28795 vsize=28768336 memory=0 CPUtime=1.47 cores=0-7
/proc/28797/task/28823/stat : 28823 (java) R 28795 28795 21699 0 -1 4202560 36 0 0 0 147 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814080798824 139814364141051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
[pid=28797/tid=28824] ppid=28795 vsize=28768336 memory=93 CPUtime=1.62 cores=0-7
/proc/28797/task/28824/stat : 28824 (java) R 28795 28795 21699 0 -1 4202560 36 0 0 0 162 0 0 0 20 0 28 0 447019505 29458776064 68624 33554432000 4194304 4196468 140733209644160 139814079745480 139814363378988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20586496 140733209650154 140733209650326 140733209650326 140733209653199 0
Current children cumulated CPU time: 19.55 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 275952 KiB

Child status: 0
Real time (s): 3.28901
CPU time (s): 20.0493
CPU user time (s): 19.7563
CPU system time (s): 0.292978
CPU usage (%): 609.584
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 275952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.7563
system time used= 0.292978
maximum resident set size= 276300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34229
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3609
involuntary context switches= 567


# summary of solver processes directly reported to runsolver:
#   pid: 28795
#   total CPU time (s): 20.0493
#   total CPU user time (s): 19.7563
#   total CPU system time (s): 0.292978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045574 second user time and 0.081945 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-17 10:09:29
IDJOB=4399530
IDBENCH=128113
IDSOLVER=2854
FILE ID=node149/4399530-1568707807
RUNJOBID= node149-1568700680-21726
PBS_JOBID= 21703901
Free space on /tmp= 61420 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-03.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-4399530-1568707807/watcher-4399530-1568707807 -o /tmp/evaluation-result-4399530-1568707807/solver-4399530-1568707807 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 268839365 HOME/instance-4399530-1568707807.xml

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

MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605
RANDOM SEED=268839365

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26777616 kB
MemAvailable:   31841120 kB
Buffers:          113100 kB
Cached:          5252396 kB
SwapCached:        61056 kB
Active:          2424184 kB
Inactive:        3002288 kB
Active(anon):       3380 kB
Inactive(anon):   106216 kB
Active(file):    2420804 kB
Inactive(file):  2896072 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       66941544 kB
Dirty:             26252 kB
Writeback:             0 kB
AnonPages:        112740 kB
Mapped:            48644 kB
Shmem:             40000 kB
Slab:             154528 kB
SReclaimable:     124928 kB
SUnreclaim:        29600 kB
KernelStack:        3360 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61396 MiB
End job on node149 at 2019-09-17 10:09:32