Trace number 4404302

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-20 parallelSAT 124.658 16.4778

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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404302-1569001808.xml"  -tl '20160s' -p 8
0.09/0.20	c Choco 3fb4b153
0.09/0.20	c [HOME/instance-4404302-1569001808.xml, -tl, 20160s, -p, 8]
0.30/0.24	c 8 solvers in parallel
0.30/0.30	c parse instance...
4.47/1.34	c solve instance...
124.24/16.45	s SATISFIABLE
124.24/16.45	v <instantiation>
124.24/16.45	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>
124.24/16.45	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>
124.24/16.45	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 (11607 MiB free)
  memory of node 1: 16384 MiB (12666 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404302-1569001808/watcher-4404302-1569001808 -o /tmp/evaluation-result-4404302-1569001808/solver-4404302-1569001808 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 823666650 HOME/instance-4404302-1569001808.xml 

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

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

solver pid=19333, runsolver pid=19330

[startup+0.100161 s]*
/proc/loadavg: 7.31 7.37 7.33 3/211 19354
/proc/meminfo: memFree=24839432/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28227396 memory=29680 CPUtime=0.09 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 5851 0 0 0 8 1 0 0 20 0 20 0 476433856 28904853504 7420 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7056849 7420 3033 1 0 7019032 0
[pid=19335/tid=19336] ppid=19333 vsize=28227396 memory=576460756329955445 CPUtime=0.06 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) R 19333 19333 18400 0 -1 4202560 3896 0 0 0 6 0 0 0 20 0 20 0 476433856 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103485470720 140103481259165 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28227396 memory=139698816729335 CPUtime=0 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19340] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19340/stat : 19340 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103029467792 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19341] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19341/stat : 19341 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103028415248 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19342] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19342/stat : 19342 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103027362704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19343] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19343/stat : 19343 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103026310160 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19344] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19344/stat : 19344 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 7420 33554432000 4194304 4196468 140723504298976 140103025257616 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19345] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19345/stat : 19345 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433858 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102982318064 140103481248386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19346] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19346/stat : 19346 (java) S 19333 19333 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433859 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102981264288 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19347] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19347/stat : 19347 (java) S 19333 19333 18400 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 476433859 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102980211696 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19348] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19348/stat : 19348 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433861 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102979160272 140103481255835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19349] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19349/stat : 19349 (java) S 19333 19333 18400 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102978107888 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19350] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19350/stat : 19350 (java) S 19333 19333 18400 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102977055344 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19351] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19351/stat : 19351 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 7420 33554432000 4194304 4196468 140723504298976 140102976002800 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19352] ppid=19333 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) R 19333 19333 18400 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 20 0 476433863 28904853504 7420 33554432000 4194304 4196468 140723504298976 140101601586032 140103459225617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 7420 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433864 28904853504 7420 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31132 KiB

[startup+0.210397 s]*
/proc/loadavg: 7.31 7.37 7.33 3/211 19354
/proc/meminfo: memFree=24826816/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28227396 memory=41412 CPUtime=0.3 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 9563 0 0 0 27 3 0 0 20 0 20 0 476433856 28904853504 10353 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7056849 10353 3304 1 0 7019032 0
[pid=19335/tid=19336] ppid=19333 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) R 19333 19333 18400 0 -1 4202560 6729 0 0 0 16 2 0 0 20 0 20 0 476433856 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103485470336 140103481249174 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28227396 memory=288370074968422016 CPUtime=0 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19340] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19340/stat : 19340 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103029467792 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19341] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19341/stat : 19341 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103028415248 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19342] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19342/stat : 19342 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103027362704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19343] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19343/stat : 19343 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103026310160 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19344] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19344/stat : 19344 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433857 28904853504 10353 33554432000 4194304 4196468 140723504298976 140103025257616 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19345] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19345/stat : 19345 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433858 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102982318064 140103481248386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19346] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19346/stat : 19346 (java) S 19333 19333 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433859 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102981264288 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19347] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19347/stat : 19347 (java) S 19333 19333 18400 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 476433859 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102980211696 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19348] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19348/stat : 19348 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433861 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102979160272 140103481255835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19349] ppid=19333 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19335/task/19349/stat : 19349 (java) S 19333 19333 18400 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 476433863 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102978107888 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19350] ppid=19333 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19335/task/19350/stat : 19350 (java) S 19333 19333 18400 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 20 0 476433863 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102977055344 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19351] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19351/stat : 19351 (java) S 19333 19333 18400 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 10353 33554432000 4194304 4196468 140723504298976 140102976002800 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19352] ppid=19333 vsize=28227396 memory=0 CPUtime=0.06 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) R 19333 19333 18400 0 -1 4202560 684 0 0 0 6 0 0 0 20 0 20 0 476433863 28904853504 10353 33554432000 4194304 4196468 140723504298976 140101601586032 140103461157617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433863 28904853504 10353 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433864 28904853504 10353 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42864 KiB

[startup+0.310372 s]*
/proc/loadavg: 7.31 7.37 7.33 2/211 19354
/proc/meminfo: memFree=24822324/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28231652 memory=47148 CPUtime=0.47 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 10660 0 1 0 43 4 0 0 20 0 20 0 476433856 28909211648 11787 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7057913 11787 3328 1 0 7019032 0
[pid=19335/tid=19336] ppid=19333 vsize=28231652 memory=8317482817917895235 CPUtime=0.28 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) R 19333 19333 18400 0 -1 4202560 7702 0 1 0 25 3 0 0 20 0 20 0 476433856 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103485467936 140103465280869 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19340] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19340/stat : 19340 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103029467792 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19341] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19341/stat : 19341 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103028415248 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19342] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19342/stat : 19342 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103027362704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19343] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19343/stat : 19343 (java) S 19333 19333 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103026310160 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19344] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19344/stat : 19344 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433857 28909211648 11787 33554432000 4194304 4196468 140723504298976 140103025257616 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19345] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19345/stat : 19345 (java) S 19333 19333 18400 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476433858 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102982318064 140103481248386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19346] ppid=19333 vsize=28231652 memory=279397420703104 CPUtime=0 cores=0-7
/proc/19335/task/19346/stat : 19346 (java) S 19333 19333 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433859 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102981264288 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19347] ppid=19333 vsize=28231652 memory=279397420707712 CPUtime=0 cores=0-7
/proc/19335/task/19347/stat : 19347 (java) S 19333 19333 18400 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 476433859 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102980211696 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19348] ppid=19333 vsize=28231652 memory=279397420712320 CPUtime=0 cores=0-7
/proc/19335/task/19348/stat : 19348 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433861 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102979160272 140103481255835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19349] ppid=19333 vsize=28231652 memory=279397420716928 CPUtime=0.03 cores=0-7
/proc/19335/task/19349/stat : 19349 (java) S 19333 19333 18400 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 20 0 476433863 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102978107888 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19350] ppid=19333 vsize=28231652 memory=279397420721536 CPUtime=0.01 cores=0-7
/proc/19335/task/19350/stat : 19350 (java) S 19333 19333 18400 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 476433863 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102977055344 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19351] ppid=19333 vsize=28231652 memory=279397420726144 CPUtime=0.01 cores=0-7
/proc/19335/task/19351/stat : 19351 (java) S 19333 19333 18400 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 476433863 28909211648 11787 33554432000 4194304 4196468 140723504298976 140102976002800 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19352] ppid=19333 vsize=28231652 memory=279397420730752 CPUtime=0.11 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) R 19333 19333 18400 0 -1 4202560 763 0 0 0 11 0 0 0 20 0 20 0 476433863 28909211648 11787 33554432000 4194304 4196468 140723504298976 140101601586032 140103459903966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433863 28909211648 11787 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433864 28909211648 11787 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48600 KiB

[startup+0.700967 s]
/proc/loadavg: 7.31 7.37 7.33 3/211 19354
/proc/meminfo: memFree=24800912/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28233776 memory=93372 CPUtime=1.86 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 17154 0 1 0 179 7 0 0 20 0 20 0 476433856 28911386624 23343 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7058444 23343 3461 1 0 7019544 0
[pid=19335/tid=19336] ppid=19333 vsize=28233776 memory=4580 CPUtime=0.65 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) R 19333 19333 18400 0 -1 4202560 9454 0 1 0 61 4 0 0 20 0 20 0 476433856 28911386624 23343 33554432000 4194304 4196468 140723504298976 140103485473712 140103119640255 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28911386624 23343 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28911386624 23343 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28233776 memory=2828 CPUtime=0 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433857 28911386624 23343 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0

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

[pid=19335/tid=19352] ppid=19333 vsize=28768336 memory=2012 CPUtime=0.85 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) S 19333 19333 18400 0 -1 1077944384 5935 0 0 0 83 2 0 0 20 0 28 0 476433863 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101601586032 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433863 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28768336 memory=776 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 476433864 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19355] ppid=19333 vsize=28768336 memory=3604 CPUtime=12.74 cores=0-7
/proc/19335/task/19355/stat : 19355 (java) R 19333 19333 18400 0 -1 4202560 375 0 0 0 1274 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101590498792 140103127251054 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19356] ppid=19333 vsize=28768336 memory=2828 CPUtime=13.16 cores=0-7
/proc/19335/task/19356/stat : 19356 (java) R 19333 19333 18400 0 -1 4202560 363 0 0 0 1316 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101589447368 140103127252136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19357] ppid=19333 vsize=28768336 memory=676 CPUtime=13.01 cores=0-7
/proc/19335/task/19357/stat : 19357 (java) R 19333 19333 18400 0 -1 4202560 1155 0 0 0 1299 2 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101588394520 140103125602893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19358] ppid=19333 vsize=28768336 memory=1060 CPUtime=13.15 cores=0-7
/proc/19335/task/19358/stat : 19358 (java) R 19333 19333 18400 0 -1 4202560 317 0 0 0 1315 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101587341704 140103119639848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19359] ppid=19333 vsize=28768336 memory=1548 CPUtime=13.21 cores=0-7
/proc/19335/task/19359/stat : 19359 (java) R 19333 19333 18400 0 -1 4202560 845 0 0 0 1318 3 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101586289752 140103127627856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19360] ppid=19333 vsize=28768336 memory=8560 CPUtime=12.91 cores=0-7
/proc/19335/task/19360/stat : 19360 (java) R 19333 19333 18400 0 -1 4202560 188 0 0 0 1291 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101585236632 140103127628164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19361] ppid=19333 vsize=28768336 memory=129 CPUtime=13.27 cores=0-7
/proc/19335/task/19361/stat : 19361 (java) R 19333 19333 18400 0 -1 4202560 283 0 0 0 1327 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101584185288 140103125776844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19362] ppid=19333 vsize=28768336 memory=4 CPUtime=12.95 cores=0-7
/proc/19335/task/19362/stat : 19362 (java) R 19333 19333 18400 0 -1 4202560 243 0 0 0 1295 0 0 0 20 0 28 0 476433991 29458776064 103990 33554432000 4194304 4196468 140723504298976 140101583130584 140103125777061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 114.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 417412 KiB

[startup+16.0011 s]*
/proc/loadavg: 7.75 7.46 7.36 9/219 19363
/proc/meminfo: memFree=24427696/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28768336 memory=441112 CPUtime=121.11 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 51336 0 1 0 12067 44 0 0 20 0 28 0 476433856 29458776064 110278 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7192084 110278 3537 1 0 7153184 0
[pid=19335/tid=19336] ppid=19333 vsize=28768336 memory=8317482817917895235 CPUtime=1.29 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) S 19333 19333 18400 0 -1 1077944384 10130 0 1 0 123 6 0 0 20 0 28 0 476433856 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103485478016 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28768336 memory=1436 CPUtime=0.07 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 323 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28768336 memory=776 CPUtime=0.06 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 510 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28768336 memory=3604 CPUtime=0.07 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 477 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19340] ppid=19333 vsize=28768336 memory=2828 CPUtime=0.07 cores=0-7
/proc/19335/task/19340/stat : 19340 (java) S 19333 19333 18400 0 -1 1077944384 1256 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103029467792 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19341] ppid=19333 vsize=28768336 memory=676 CPUtime=0.07 cores=0-7
/proc/19335/task/19341/stat : 19341 (java) S 19333 19333 18400 0 -1 1077944384 580 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103028415248 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19342] ppid=19333 vsize=28768336 memory=1060 CPUtime=0.07 cores=0-7
/proc/19335/task/19342/stat : 19342 (java) S 19333 19333 18400 0 -1 1077944384 1287 0 0 0 5 2 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103027362704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19343] ppid=19333 vsize=28768336 memory=1548 CPUtime=0.06 cores=0-7
/proc/19335/task/19343/stat : 19343 (java) S 19333 19333 18400 0 -1 1077944384 420 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103026310160 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19344] ppid=19333 vsize=28768336 memory=8560 CPUtime=0.06 cores=0-7
/proc/19335/task/19344/stat : 19344 (java) S 19333 19333 18400 0 -1 1077944384 1463 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110278 33554432000 4194304 4196468 140723504298976 140103025257616 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19345] ppid=19333 vsize=28768336 memory=1712 CPUtime=0.01 cores=0-7
/proc/19335/task/19345/stat : 19345 (java) S 19333 19333 18400 0 -1 1077944384 881 0 0 0 1 0 0 0 20 0 28 0 476433858 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102982318064 140103481248386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19346] ppid=19333 vsize=28768336 memory=166283953870650 CPUtime=0 cores=0-7
/proc/19335/task/19346/stat : 19346 (java) S 19333 19333 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476433859 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102981264352 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19347] ppid=19333 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19347/stat : 19347 (java) S 19333 19333 18400 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476433859 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102980211712 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19348] ppid=19333 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/19335/task/19348/stat : 19348 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433861 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102979160272 140103481255835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19349] ppid=19333 vsize=28768336 memory=0 CPUtime=2.6 cores=0-7
/proc/19335/task/19349/stat : 19349 (java) S 19333 19333 18400 0 -1 1077944384 6423 0 0 0 259 1 0 0 20 0 28 0 476433863 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102978107888 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19350] ppid=19333 vsize=28768336 memory=0 CPUtime=2.44 cores=0-7
/proc/19335/task/19350/stat : 19350 (java) S 19333 19333 18400 0 -1 1077944384 8872 0 0 0 242 2 0 0 20 0 28 0 476433863 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102977055344 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19351] ppid=19333 vsize=28768336 memory=6944656592455088490 CPUtime=2.54 cores=0-7
/proc/19335/task/19351/stat : 19351 (java) S 19333 19333 18400 0 -1 1077944384 7336 0 0 0 253 1 0 0 20 0 28 0 476433863 29458776064 110278 33554432000 4194304 4196468 140723504298976 140102976002800 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19352] ppid=19333 vsize=28768336 memory=7800344859672537426 CPUtime=0.85 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) S 19333 19333 18400 0 -1 1077944384 5935 0 0 0 83 2 0 0 20 0 28 0 476433863 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101601586032 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28768336 memory=7533807676074704953 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433863 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28768336 memory=6082202987410648151 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476433864 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19355] ppid=19333 vsize=28768336 memory=166249594132274 CPUtime=13.51 cores=0-7
/proc/19335/task/19355/stat : 19355 (java) R 19333 19333 18400 0 -1 4202560 392 0 0 0 1351 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101590498280 140103127753536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19356] ppid=19333 vsize=28768336 memory=0 CPUtime=13.94 cores=0-7
/proc/19335/task/19356/stat : 19356 (java) R 19333 19333 18400 0 -1 4202560 393 0 0 0 1394 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101589446720 140103127113740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19357] ppid=19333 vsize=28768336 memory=0 CPUtime=13.8 cores=0-7
/proc/19335/task/19357/stat : 19357 (java) R 19333 19333 18400 0 -1 4202560 1230 0 0 0 1378 2 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101588396032 140103127627797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19358] ppid=19333 vsize=28768336 memory=6944656592455088490 CPUtime=13.94 cores=0-7
/proc/19335/task/19358/stat : 19358 (java) R 19333 19333 18400 0 -1 4202560 326 0 0 0 1394 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101587341504 140103126221586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19359] ppid=19333 vsize=28768336 memory=6944656592455088490 CPUtime=14 cores=0-7
/proc/19335/task/19359/stat : 19359 (java) R 19333 19333 18400 0 -1 4202560 883 0 0 0 1397 3 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101586289224 140103122148383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19360] ppid=19333 vsize=28768336 memory=0 CPUtime=13.7 cores=0-7
/proc/19335/task/19360/stat : 19360 (java) R 19333 19333 18400 0 -1 4202560 200 0 0 0 1370 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101585236544 140103127251213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19361] ppid=19333 vsize=28768336 memory=-1161699032756030039 CPUtime=14.06 cores=0-7
/proc/19335/task/19361/stat : 19361 (java) R 19333 19333 18400 0 -1 4202560 323 0 0 0 1406 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101584183160 140103126221624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19362] ppid=19333 vsize=28768336 memory=6946632346315744360 CPUtime=13.74 cores=0-7
/proc/19335/task/19362/stat : 19362 (java) R 19333 19333 18400 0 -1 4202560 271 0 0 0 1374 0 0 0 20 0 28 0 476433991 29458776064 110278 33554432000 4194304 4196468 140723504298976 140101583130448 140103125602851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 121.11 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 442564 KiB

[startup+16.4011 s]
/proc/loadavg: 7.75 7.46 7.36 9/219 19363
/proc/meminfo: memFree=24427696/32770624 swapFree=66999228/67108860
[pid=19333] ppid=19330 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19333/stat : 19333 (xcsp3-exec) S 19330 19333 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476433855 115843072 363 33554432000 4194304 5098028 140721015022272 140721015020376 140690590069372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36311040 140721015026550 140721015026793 140721015026793 140721015029706 0
/proc/19333/statm: 28282 363 304 221 0 87 0
[pid=19335] ppid=19333 vsize=28768336 memory=441128 CPUtime=124.24 cores=0-7
/proc/19335/stat : 19335 (java) S 19333 19333 18400 0 -1 1077944320 52199 0 1 0 12379 45 0 0 20 0 28 0 476433856 29458776064 110282 33554432000 4194304 4196468 140723504298976 140723504281520 140103481237239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
/proc/19335/statm: 7192084 110282 3537 1 0 7153184 0
[pid=19335/tid=19336] ppid=19333 vsize=28768336 memory=1980 CPUtime=1.29 cores=0-7
/proc/19335/task/19336/stat : 19336 (java) S 19333 19333 18400 0 -1 1077944384 10130 0 1 0 123 6 0 0 20 0 28 0 476433856 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103485478016 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19337] ppid=19333 vsize=28768336 memory=2512 CPUtime=0.07 cores=0-7
/proc/19335/task/19337/stat : 19337 (java) S 19333 19333 18400 0 -1 1077944384 323 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103032625424 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19338] ppid=19333 vsize=28768336 memory=3604 CPUtime=0.06 cores=0-7
/proc/19335/task/19338/stat : 19338 (java) S 19333 19333 18400 0 -1 1077944384 510 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103031572880 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19339] ppid=19333 vsize=28768336 memory=2828 CPUtime=0.07 cores=0-7
/proc/19335/task/19339/stat : 19339 (java) S 19333 19333 18400 0 -1 1077944384 477 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103030520336 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19340] ppid=19333 vsize=28768336 memory=676 CPUtime=0.07 cores=0-7
/proc/19335/task/19340/stat : 19340 (java) S 19333 19333 18400 0 -1 1077944384 1256 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103029467792 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19341] ppid=19333 vsize=28768336 memory=1060 CPUtime=0.07 cores=0-7
/proc/19335/task/19341/stat : 19341 (java) S 19333 19333 18400 0 -1 1077944384 580 0 0 0 4 3 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103028415248 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19342] ppid=19333 vsize=28768336 memory=1548 CPUtime=0.07 cores=0-7
/proc/19335/task/19342/stat : 19342 (java) S 19333 19333 18400 0 -1 1077944384 1287 0 0 0 5 2 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103027362704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19343] ppid=19333 vsize=28768336 memory=8560 CPUtime=0.06 cores=0-7
/proc/19335/task/19343/stat : 19343 (java) S 19333 19333 18400 0 -1 1077944384 420 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103026310160 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19344] ppid=19333 vsize=28768336 memory=1712 CPUtime=0.06 cores=0-7
/proc/19335/task/19344/stat : 19344 (java) S 19333 19333 18400 0 -1 1077944384 1463 0 0 0 4 2 0 0 20 0 28 0 476433857 29458776064 110282 33554432000 4194304 4196468 140723504298976 140103025257616 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19345] ppid=19333 vsize=28768336 memory=1112 CPUtime=0.01 cores=0-7
/proc/19335/task/19345/stat : 19345 (java) S 19333 19333 18400 0 -1 1077944384 881 0 0 0 1 0 0 0 20 0 28 0 476433858 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102982318064 140103481248386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19346] ppid=19333 vsize=28768336 memory=1004 CPUtime=0 cores=0-7
/proc/19335/task/19346/stat : 19346 (java) S 19333 19333 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476433859 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102981264352 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19347] ppid=19333 vsize=28768336 memory=5832 CPUtime=0 cores=0-7
/proc/19335/task/19347/stat : 19347 (java) S 19333 19333 18400 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476433859 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102980211712 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19348] ppid=19333 vsize=28768336 memory=13984 CPUtime=0 cores=0-7
/proc/19335/task/19348/stat : 19348 (java) S 19333 19333 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433861 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102979160272 140103481255835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19349] ppid=19333 vsize=28768336 memory=2124 CPUtime=2.6 cores=0-7
/proc/19335/task/19349/stat : 19349 (java) S 19333 19333 18400 0 -1 1077944384 6423 0 0 0 259 1 0 0 20 0 28 0 476433863 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102978107888 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19350] ppid=19333 vsize=28768336 memory=30608 CPUtime=2.46 cores=0-7
/proc/19335/task/19350/stat : 19350 (java) S 19333 19333 18400 0 -1 1077944384 9494 0 0 0 244 2 0 0 20 0 28 0 476433863 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102977055344 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19351] ppid=19333 vsize=28768336 memory=12024 CPUtime=2.54 cores=0-7
/proc/19335/task/19351/stat : 19351 (java) S 19333 19333 18400 0 -1 1077944384 7556 0 0 0 253 1 0 0 20 0 28 0 476433863 29458776064 110282 33554432000 4194304 4196468 140723504298976 140102976002800 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19352] ppid=19333 vsize=28768336 memory=500 CPUtime=0.85 cores=0-7
/proc/19335/task/19352/stat : 19352 (java) S 19333 19333 18400 0 -1 1077944384 5937 0 0 0 83 2 0 0 20 0 28 0 476433863 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101601586032 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19353] ppid=19333 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/19335/task/19353/stat : 19353 (java) S 19333 19333 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433863 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101600532704 140103481247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19354] ppid=19333 vsize=28768336 memory=932 CPUtime=0 cores=0-7
/proc/19335/task/19354/stat : 19354 (java) S 19333 19333 18400 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476433864 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101599480240 140103481248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19355] ppid=19333 vsize=28768336 memory=3768 CPUtime=13.89 cores=0-7
/proc/19335/task/19355/stat : 19355 (java) R 19333 19333 18400 0 -1 4202560 392 0 0 0 1389 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101590498280 140103127627932 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19356] ppid=19333 vsize=28768336 memory=1980 CPUtime=14.33 cores=0-7
/proc/19335/task/19356/stat : 19356 (java) R 19333 19333 18400 0 -1 4202560 393 0 0 0 1433 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101589446856 140103127251037 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19357] ppid=19333 vsize=28768336 memory=2512 CPUtime=14.19 cores=0-7
/proc/19335/task/19357/stat : 19357 (java) R 19333 19333 18400 0 -1 4202560 1231 0 0 0 1417 2 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101588396032 140103128464119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19358] ppid=19333 vsize=28768336 memory=1436 CPUtime=14.32 cores=0-7
/proc/19335/task/19358/stat : 19358 (java) R 19333 19333 18400 0 -1 4202560 326 0 0 0 1432 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101587341504 140103125776927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19359] ppid=19333 vsize=28768336 memory=796 CPUtime=14.39 cores=0-7
/proc/19335/task/19359/stat : 19359 (java) R 19333 19333 18400 0 -1 4202560 900 0 0 0 1436 3 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101586288968 140103122148372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19360] ppid=19333 vsize=28768336 memory=2241 CPUtime=14.09 cores=0-7
/proc/19335/task/19360/stat : 19360 (java) R 19333 19333 18400 0 -1 4202560 200 0 0 0 1409 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101585236680 140103127717128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19361] ppid=19333 vsize=28768336 memory=2244 CPUtime=14.43 cores=0-7
/proc/19335/task/19361/stat : 19361 (java) R 19333 19333 18400 0 -1 4202560 324 0 0 0 1443 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101584183160 140103125777179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
[pid=19335/tid=19362] ppid=19333 vsize=28768336 memory=0 CPUtime=14.13 cores=0-7
/proc/19335/task/19362/stat : 19362 (java) R 19333 19333 18400 0 -1 4202560 271 0 0 0 1413 0 0 0 20 0 28 0 476433991 29458776064 110282 33554432000 4194304 4196468 140723504298976 140101583130584 140103125777347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723504301034 140723504301206 140723504301206 140723504304079 0
Current children cumulated CPU time: 124.24 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 442580 KiB

Child status: 0
Real time (s): 16.4778
CPU time (s): 124.658
CPU user time (s): 124.194
CPU system time (s): 0.463807
CPU usage (%): 756.518
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 442580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.194
system time used= 0.463807
maximum resident set size= 441536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53832
page faults= 1
swaps= 0
block input operations= 184
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4382
involuntary context switches= 2241


# summary of solver processes directly reported to runsolver:
#   pid: 19333
#   total CPU time (s): 124.658
#   total CPU user time (s): 124.194
#   total CPU system time (s): 0.463807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.174455 second user time and 0.225028 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-20 19:49:09
IDJOB=4404302
IDBENCH=128127
IDSOLVER=2865
FILE ID=node103/4404302-1569001808
RUNJOBID= node103-1568994181-18427
PBS_JOBID= 21704716
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404302-1569001808/watcher-4404302-1569001808 -o /tmp/evaluation-result-4404302-1569001808/solver-4404302-1569001808 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 823666650 HOME/instance-4404302-1569001808.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=823666650

node103.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.74
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.74
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.74
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.74
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:        24855412 kB
MemAvailable:   31875180 kB
Buffers:           46976 kB
Cached:          7256168 kB
SwapCached:         6976 kB
Active:          3591208 kB
Inactive:        3726140 kB
Active(anon):       2992 kB
Inactive(anon):    60736 kB
Active(file):    3588216 kB
Inactive(file):  3665404 kB
Unevictable:      107480 kB
Mlocked:          107480 kB
SwapTotal:      67108860 kB
SwapFree:       66999228 kB
Dirty:             26072 kB
Writeback:             0 kB
AnonPages:        116256 kB
Mapped:            51944 kB
Shmem:             40864 kB
Slab:             192300 kB
SReclaimable:     163968 kB
SUnreclaim:        28332 kB
KernelStack:        3376 kB
PageTables:         5772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20832 MiB
End job on node103 at 2019-09-20 19:49:25