Trace number 4403402

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-20SAT 63.8687 16.3982

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-07.xml
MD5SUM551365d3bcc7e6d8199baaf77d133a5e
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 benchmark53.4289
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1428
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree76
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":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"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":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}]
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":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1227},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403402-1568991455.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403402-1568991455.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.82/1.08	c solve instance...
63.54/16.38	s SATISFIABLE
63.54/16.38	v <instantiation>
63.54/16.38	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>
63.54/16.38	v 	<values>4 11 0 8 16 13 8 17 8 0 13 12 8 18 0 2 17 0 8 16 14 2 19 15 22 22 19 18 22 0 15 16 8 23 16 22 18 5 0 2 14 12 7 0 11 2 15 5 15 0 0 15 4 3 8 0 15 0 0 8 13 0 18 16 14 8 23 12 14 0 15 16 14 1 12 14 22 12 9 8 17 22 15 16 15 0 6 0 7 12 0 4 8 20 22 15 0 9 8 11 0 14 19 0 21 15 16 22 15 5 2 7 0 11 0 15 12 4 7 12 0 15 0 12 13 22 11 0 7 2 16 14 8 11 4 0 12 0 15 4 11 0 7 12 1 0 0 8 17 2 14 5 18 0 6 0 15 12 0 2 17 0 8 14 10 15 0 0 15 10 8 14 22 12 4 8 20 22 22 23 22 20 0 22 1 12 15 0 3 2 8 17 0 15 2 8 7 0 15 2 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 </values>
63.54/16.38	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 (6329 MiB free)
  memory of node 1: 16384 MiB (8655 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403402-1568991455/watcher-4403402-1568991455 -o /var/tmp/evaluation-result-4403402-1568991455/solver-4403402-1568991455 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 573429365 HOME/instance-4403402-1568991455.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100057 s]*
/proc/loadavg: 8.32 8.41 8.02 8/233 9707
/proc/meminfo: memFree=15326988/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15144776 memory=29380 CPUtime=0.13 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 5796 0 0 0 12 1 0 0 20 0 15 0 475408150 15508250624 7345 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3786194 7345 3151 1 0 3748377 0
[pid=9693/tid=9694] ppid=9691 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) R 9691 9691 6055 0 -1 4202560 3712 0 0 0 9 0 0 0 20 0 15 0 475408150 15508250624 7345 33554432000 4194304 4196468 140732839607616 140373507087152 140373502877078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15144776 memory=3472468452134761680 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 7345 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 7345 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 7345 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 7345 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372970301088 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372969247984 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0.02 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 7345 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30832 KiB

[startup+0.210626 s]*
/proc/loadavg: 8.32 8.41 8.02 8/233 9707
/proc/meminfo: memFree=15314584/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15144776 memory=41144 CPUtime=0.34 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 9475 0 0 0 32 2 0 0 20 0 15 0 475408150 15508250624 10286 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3786194 10286 3305 1 0 3748377 0
[pid=9693/tid=9694] ppid=9691 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) R 9691 9691 6055 0 -1 4202560 6604 0 0 0 19 1 0 0 20 0 15 0 475408150 15508250624 10286 33554432000 4194304 4196468 140732839607616 140373507101904 140373105641946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15144776 memory=3472468452134761680 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 10286 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 10286 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 10286 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408151 15508250624 10286 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372970301088 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408153 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372969247984 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 675 0 0 0 2 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0.08 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15144776 memory=140323239609984 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408156 15508250624 10286 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42596 KiB

[startup+0.31837 s]*
/proc/loadavg: 8.32 8.41 8.02 7/233 9707
/proc/meminfo: memFree=15307324/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15149032 memory=50544 CPUtime=0.54 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 10916 0 0 0 51 3 0 0 20 0 15 0 475408150 15512608768 12636 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3787258 12636 3362 1 0 3748377 0
[pid=9693/tid=9694] ppid=9691 vsize=15149032 memory=-8094235084319000145 CPUtime=0.31 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) R 9691 9691 6055 0 -1 4202560 7873 0 0 0 29 2 0 0 20 0 15 0 475408150 15512608768 12636 33554432000 4194304 4196468 140732839607616 140373507099200 140373502887069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15149032 memory=3472468452134761680 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15512608768 12636 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15149032 memory=280646330841472 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15512608768 12636 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15149032 memory=280646182495264 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15512608768 12636 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15149032 memory=140323091231503 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408151 15512608768 12636 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15149032 memory=280646330848384 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475408153 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15149032 memory=140323091236111 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408153 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372970301088 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15149032 memory=140323091244503 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408153 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372969247984 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15149032 memory=140323091250241 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 773 0 0 0 5 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 147 0 0 0 4 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15149032 memory=140323239609984 CPUtime=0.12 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15149032 memory=140323239611436 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408156 15512608768 12636 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51996 KiB

[startup+0.701372 s]
/proc/loadavg: 8.32 8.41 8.02 11/233 9707
/proc/meminfo: memFree=15278944/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15151156 memory=91552 CPUtime=1.77 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 16586 0 0 0 171 6 0 0 20 0 15 0 475408150 15514783744 22888 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3787789 22888 3455 1 0 3748889 0
[pid=9693/tid=9694] ppid=9691 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) R 9691 9691 6055 0 -1 4202560 9194 0 0 0 64 3 0 0 20 0 15 0 475408150 15514783744 22888 33554432000 4194304 4196468 140732839607616 140373507101680 140373105137574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15514783744 22888 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15514783744 22888 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408151 15514783744 22888 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475408151 15514783744 22888 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475408153 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475408153 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372970301088 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475408153 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372969247984 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15151156 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15151156 memory=1164 CPUtime=0.35 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) R 9691 9691 6055 0 -1 4202560 2283 0 0 0 35 0 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372967124680 140373484409361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15151156 memory=9520 CPUtime=0.3 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) R 9691 9691 6055 0 -1 4202560 1033 0 0 0 30 0 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372966077936 140373482103620 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15151156 memory=14008 CPUtime=0.41 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) R 9691 9691 6055 0 -1 4202560 2767 0 0 0 40 1 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372965038064 140373495964990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15151156 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475408156 15514783744 22888 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93004 KiB

[startup+1.50537 s]
/proc/loadavg: 8.32 8.41 8.02 10/233 9707
/proc/meminfo: memFree=15202636/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0

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

/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60975 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9708] ppid=9691 vsize=15419460 memory=243900 CPUtime=12.94 cores=1,3,5,7
/proc/9693/task/9708/stat : 9708 (java) R 9691 9691 6055 0 -1 4202560 483 0 0 0 1294 0 0 0 20 0 19 0 475408260 15789527040 60975 33554432000 4194304 4196468 140732839607616 140372885884296 140373111769566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9709] ppid=9691 vsize=15419460 memory=-2893623298589923098 CPUtime=12.92 cores=1,3,5,7
/proc/9693/task/9709/stat : 9709 (java) R 9691 9691 6055 0 -1 4202560 1008 0 0 0 1292 0 0 0 20 0 19 0 475408260 15789527040 60975 33554432000 4194304 4196468 140732839607616 140372884832040 140373107826823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9710] ppid=9691 vsize=15419460 memory=-1807685287724412255 CPUtime=13.32 cores=1,3,5,7
/proc/9693/task/9710/stat : 9710 (java) R 9691 9691 6055 0 -1 4202560 200 0 0 0 1332 0 0 0 20 0 19 0 475408260 15789527040 60975 33554432000 4194304 4196468 140732839607616 140372883779816 140373111687996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9711] ppid=9691 vsize=15419460 memory=-3967418655009478193 CPUtime=13.09 cores=1,3,5,7
/proc/9693/task/9711/stat : 9711 (java) R 9691 9691 6055 0 -1 4202560 418 0 0 0 1309 0 0 0 20 0 19 0 475408260 15789527040 60975 33554432000 4194304 4196468 140732839607616 140372882729320 140373111123760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 59.17 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245352 KiB

[startup+16.0014 s]*
/proc/loadavg: 8.47 8.44 8.03 9/237 9711
/proc/meminfo: memFree=15112492/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15419460 memory=243972 CPUtime=62.38 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 44392 0 0 0 6223 15 0 0 20 0 19 0 475408150 15789527040 60993 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3854865 60993 3529 1 0 3815965 0
[pid=9693/tid=9694] ppid=9691 vsize=15419460 memory=1398722017469774279 CPUtime=1.08 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) S 9691 9691 6055 0 -1 1077944384 11351 0 0 0 103 5 0 0 20 0 19 0 475408150 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373507105920 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15419460 memory=-7003737579269690708 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15419460 memory=9520 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 246 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15419460 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 376 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15419460 memory=2120 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 1197 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15419460 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15419460 memory=280646182415776 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372970301152 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372969248000 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15419460 memory=7595998321549399138 CPUtime=2.52 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 10858 0 0 0 251 1 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15419460 memory=7738432541013338706 CPUtime=2.28 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 8650 0 0 0 228 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15419460 memory=7733634199205145189 CPUtime=0.83 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 6221 0 0 0 81 2 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15419460 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15419460 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9708] ppid=9691 vsize=15419460 memory=0 CPUtime=13.73 cores=1,3,5,7
/proc/9693/task/9708/stat : 9708 (java) R 9691 9691 6055 0 -1 4202560 483 0 0 0 1373 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372885884160 140373111689222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9709] ppid=9691 vsize=15419460 memory=0 CPUtime=13.72 cores=1,3,5,7
/proc/9693/task/9709/stat : 9709 (java) R 9691 9691 6055 0 -1 4202560 1012 0 0 0 1372 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372884834752 140373110528726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9710] ppid=9691 vsize=15419460 memory=6943526294502006880 CPUtime=14.1 cores=1,3,5,7
/proc/9693/task/9710/stat : 9710 (java) R 9691 9691 6055 0 -1 4202560 200 0 0 0 1410 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372883779832 140373111687744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9711] ppid=9691 vsize=15419460 memory=6944656592455097440 CPUtime=13.89 cores=1,3,5,7
/proc/9693/task/9711/stat : 9711 (java) R 9691 9691 6055 0 -1 4202560 418 0 0 0 1389 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372882726872 140373111123825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 62.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245424 KiB

[startup+16.2014 s]
/proc/loadavg: 8.47 8.44 8.03 9/237 9711
/proc/meminfo: memFree=15112492/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15419460 memory=243972 CPUtime=63.14 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 44393 0 0 0 6299 15 0 0 20 0 19 0 475408150 15789527040 60993 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3854865 60993 3529 1 0 3815965 0
[pid=9693/tid=9694] ppid=9691 vsize=15419460 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) S 9691 9691 6055 0 -1 1077944384 11351 0 0 0 103 5 0 0 20 0 19 0 475408150 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373507105920 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 246 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 376 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 1197 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 60993 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15419460 memory=-2843871824456565918 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372970301152 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15419460 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372969248000 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15419460 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15419460 memory=14689690934577591 CPUtime=2.52 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 10858 0 0 0 251 1 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15419460 memory=9520 CPUtime=2.28 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 8650 0 0 0 228 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15419460 memory=14008 CPUtime=0.83 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 6221 0 0 0 81 2 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15419460 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15419460 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9708] ppid=9691 vsize=15419460 memory=15680 CPUtime=13.92 cores=1,3,5,7
/proc/9693/task/9708/stat : 9708 (java) R 9691 9691 6055 0 -1 4202560 483 0 0 0 1392 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372885884048 140373111689322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9709] ppid=9691 vsize=15419460 memory=512 CPUtime=13.91 cores=1,3,5,7
/proc/9693/task/9709/stat : 9709 (java) R 9691 9691 6055 0 -1 4202560 1013 0 0 0 1391 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372884834752 140373111687916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9710] ppid=9691 vsize=15419460 memory=1564 CPUtime=14.29 cores=1,3,5,7
/proc/9693/task/9710/stat : 9710 (java) R 9691 9691 6055 0 -1 4202560 200 0 0 0 1429 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372883779832 140373105137716 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9711] ppid=9691 vsize=15419460 memory=928 CPUtime=14.08 cores=1,3,5,7
/proc/9693/task/9711/stat : 9711 (java) R 9691 9691 6055 0 -1 4202560 418 0 0 0 1408 0 0 0 20 0 19 0 475408260 15789527040 60993 33554432000 4194304 4196468 140732839607616 140372882726872 140373107826839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 63.14 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245424 KiB

[startup+16.3014 s]
/proc/loadavg: 8.47 8.44 8.03 9/237 9711
/proc/meminfo: memFree=15112492/32770624 swapFree=66988744/67108860
[pid=9691] ppid=9688 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (xcsp3-exec) S 9688 9691 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475408150 115843072 363 33554432000 4194304 5098028 140721719661440 140721719659544 139712949850748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26206208 140721719669591 140721719669849 140721719669849 140721719672774 0
/proc/9691/statm: 28282 363 304 221 0 87 0
[pid=9693] ppid=9691 vsize=15419460 memory=244016 CPUtime=63.54 cores=1,3,5,7
/proc/9693/stat : 9693 (java) S 9691 9691 6055 0 -1 1077944320 44444 0 0 0 6339 15 0 0 20 0 19 0 475408150 15789527040 61004 33554432000 4194304 4196468 140732839607616 140732839590160 140373502865143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
/proc/9693/statm: 3854865 61004 3529 1 0 3815965 0
[pid=9693/tid=9694] ppid=9691 vsize=15419460 memory=280646183099504 CPUtime=1.08 cores=1,3,5,7
/proc/9693/task/9694/stat : 9694 (java) S 9691 9691 6055 0 -1 1077944384 11351 0 0 0 103 5 0 0 20 0 19 0 475408150 15789527040 61004 33554432000 4194304 4196468 140732839607616 140373507105920 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9695] ppid=9691 vsize=15419460 memory=7523933237154115689 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9695/stat : 9695 (java) S 9691 9691 6055 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 61004 33554432000 4194304 4196468 140732839607616 140373430905360 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9696] ppid=9691 vsize=15419460 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9696/stat : 9696 (java) S 9691 9691 6055 0 -1 1077944384 246 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 61004 33554432000 4194304 4196468 140732839607616 140373429852816 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9697] ppid=9691 vsize=15419460 memory=288230621803970871 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9697/stat : 9697 (java) S 9691 9691 6055 0 -1 1077944384 376 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 61004 33554432000 4194304 4196468 140732839607616 140373428799760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9698] ppid=9691 vsize=15419460 memory=14689690934577591 CPUtime=0.03 cores=1,3,5,7
/proc/9693/task/9698/stat : 9698 (java) S 9691 9691 6055 0 -1 1077944384 1197 0 0 0 2 1 0 0 20 0 19 0 475408151 15789527040 61004 33554432000 4194304 4196468 140732839607616 140373427747216 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9699] ppid=9691 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9699/stat : 9699 (java) S 9691 9691 6055 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372971354864 140373502876290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9700] ppid=9691 vsize=15419460 memory=243972 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9700/stat : 9700 (java) S 9691 9691 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372970301152 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9701] ppid=9691 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9701/stat : 9701 (java) S 9691 9691 6055 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 475408153 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372969248000 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9702] ppid=9691 vsize=15419460 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9702/stat : 9702 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372968196560 140373502883739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9703] ppid=9691 vsize=15419460 memory=38964 CPUtime=2.52 cores=1,3,5,7
/proc/9693/task/9703/stat : 9703 (java) S 9691 9691 6055 0 -1 1077944384 10858 0 0 0 251 1 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372967143664 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9704] ppid=9691 vsize=15419460 memory=0 CPUtime=2.28 cores=1,3,5,7
/proc/9693/task/9704/stat : 9704 (java) S 9691 9691 6055 0 -1 1077944384 8650 0 0 0 228 0 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372966091120 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9705] ppid=9691 vsize=15419460 memory=15680 CPUtime=0.83 cores=1,3,5,7
/proc/9693/task/9705/stat : 9705 (java) S 9691 9691 6055 0 -1 1077944384 6268 0 0 0 81 2 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372965038064 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9706] ppid=9691 vsize=15419460 memory=512 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9706/stat : 9706 (java) S 9691 9691 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372963985760 140373502875349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9707] ppid=9691 vsize=15419460 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9693/task/9707/stat : 9707 (java) S 9691 9691 6055 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 19 0 475408156 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372962933808 140373502876290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9708] ppid=9691 vsize=15419460 memory=0 CPUtime=14.02 cores=1,3,5,7
/proc/9693/task/9708/stat : 9708 (java) R 9691 9691 6055 0 -1 4202560 483 0 0 0 1402 0 0 0 20 0 19 0 475408260 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372885884048 140373111688050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9709] ppid=9691 vsize=15419460 memory=0 CPUtime=14.01 cores=1,3,5,7
/proc/9693/task/9709/stat : 9709 (java) R 9691 9691 6055 0 -1 4202560 1017 0 0 0 1401 0 0 0 20 0 19 0 475408260 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372884834640 140373111688050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9710] ppid=9691 vsize=15419460 memory=576461252103989788 CPUtime=14.39 cores=1,3,5,7
/proc/9693/task/9710/stat : 9710 (java) R 9691 9691 6055 0 -1 4202560 200 0 0 0 1439 0 0 0 20 0 19 0 475408260 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372883781992 140373111687744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
[pid=9693/tid=9711] ppid=9691 vsize=15419460 memory=8112282956445269571 CPUtime=14.18 cores=1,3,5,7
/proc/9693/task/9711/stat : 9711 (java) R 9691 9691 6055 0 -1 4202560 418 0 0 0 1418 0 0 0 20 0 19 0 475408260 15789527040 61004 33554432000 4194304 4196468 140732839607616 140372882726872 140373111123948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140732839613403 140732839613578 140732839613578 140732839616463 0
Current children cumulated CPU time: 63.54 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245468 KiB

Child status: 0
Real time (s): 16.3982
CPU time (s): 63.8687
CPU user time (s): 63.7059
CPU system time (s): 0.162822
CPU usage (%): 389.486
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 245468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.7059
system time used= 0.162822
maximum resident set size= 244204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2853
involuntary context switches= 1621


# summary of solver processes directly reported to runsolver:
#   pid: 9691
#   total CPU time (s): 63.8687
#   total CPU user time (s): 63.7059
#   total CPU system time (s): 0.162822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.125344 second user time and 0.224453 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-20 16:56:53
IDJOB=4403402
IDBENCH=128127
IDSOLVER=2863
FILE ID=node121/4403402-1568991455
RUNJOBID= node121-1568988421-6087
PBS_JOBID= 21704645
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403402-1568991455/watcher-4403402-1568991455 -o /var/tmp/evaluation-result-4403402-1568991455/solver-4403402-1568991455 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 573429365 HOME/instance-4403402-1568991455.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=573429365

node121.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.75
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.75
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.75
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.75
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:        15343972 kB
MemAvailable:   31646852 kB
Buffers:          120636 kB
Cached:         16135404 kB
SwapCached:         5524 kB
Active:          8283296 kB
Inactive:        8195200 kB
Active(anon):     216240 kB
Inactive(anon):    44016 kB
Active(file):    8067056 kB
Inactive(file):  8151184 kB
Unevictable:      111180 kB
Mlocked:          111180 kB
SwapTotal:      67108860 kB
SwapFree:       66988744 kB
Dirty:             26312 kB
Writeback:             0 kB
AnonPages:        336724 kB
Mapped:            60268 kB
Shmem:             29312 kB
Slab:             542768 kB
SReclaimable:     513100 kB
SUnreclaim:        29668 kB
KernelStack:        4064 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1519924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node121 at 2019-09-20 16:57:09