Trace number 4399527

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT 103.532 13.7833

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-09.xml
MD5SUM3e3af1bae7de9ef5515b71e9dbb47d41
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 benchmark15.5446
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1421
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree72
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":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":9}, {"degree":51,"count":9}, {"degree":52,"count":62}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":3}, {"degree":72,"count":63}]
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":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":2},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},"...",{"arity":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":1220},{"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-4399527-1568707751.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399527-1568707751.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.07/1.24	c solve instance...
103.06/13.76	s SATISFIABLE
103.06/13.76	v <instantiation>
103.06/13.76	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>
103.06/13.76	v 	<values>22 16 1 16 10 5 18 2 6 0 6 2 14 2 6 0 6 2 6 0 10 2 2 10 0 7 2 16 16 5 19 18 13 16 10 17 18 23 16 4 20 18 10 5 2 16 2 5 16 12 6 16 23 18 16 17 10 16 13 2 20 23 16 5 23 12 5 23 16 16 24 6 21 2 10 24 13 16 10 11 3 6 16 16 13 18 22 20 6 5 2 10 0 2 9 5 2 10 2 0 6 2 0 2 10 0 7 2 0 2 6 0 7 2 2 10 5 10 2 4 2 20 6 11 16 10 20 8 16 18 6 16 2 6 16 15 6 18 5 10 2 10 2 9 0 2 16 2 5 10 18 5 3 16 6 5 10 2 2 7 5 6 16 0 2 9 11 16 16 13 3 6 21 6 16 21 6 12 22 5 22 16 20 8 16 18 13 20 16 2 6 5 18 20 22 5 10 18 20 21 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 </values>
103.06/13.76	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10670 MiB free)
  memory of node 1: 16384 MiB (15478 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100124 s]*
/proc/loadavg: 8.68 8.36 8.31 2/211 28510
/proc/meminfo: memFree=26758116/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28227396 memory=29804 CPUtime=0.12 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 5862 0 0 0 11 1 0 0 20 0 20 0 447013760 28904853504 7451 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7056849 7451 3152 1 0 7019032 0
[pid=28491/tid=28492] ppid=28489 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 21699 0 -1 4202560 3775 0 0 0 8 1 0 0 20 0 20 0 447013760 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712750257024 139712746032534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28227396 memory=140090558256768 CPUtime=0 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712696536080 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28496] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712695483536 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28497] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712694429968 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28498] ppid=28489 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712693377424 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28499] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712692324880 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28500] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 7451 33554432000 4194304 4196468 140729853183296 139712691272336 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28501] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710940826096 139712746031746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28502] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710939772320 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28503] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710938719728 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28504] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710937668304 139712746039195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28505] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 21699 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710936614896 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28506] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28506/stat : 28506 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710935562352 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28507] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28507/stat : 28507 (java) R 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710934509808 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28508] ppid=28489 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) S 28489 28489 21699 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710933457264 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 7451 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31256 KiB

[startup+0.210592 s]*
/proc/loadavg: 8.68 8.36 8.31 3/211 28510
/proc/meminfo: memFree=26746408/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28227396 memory=41412 CPUtime=0.33 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 447013760 28904853504 10353 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7056849 10353 3315 1 0 7019032 0
[pid=28491/tid=28492] ppid=28489 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 21699 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 20 0 447013760 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712750253328 139712350224736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28227396 memory=288370466709968512 CPUtime=0 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712696536080 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28496] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712695483536 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28497] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712694429968 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28498] ppid=28489 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712693377424 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28499] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712692324880 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28500] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28904853504 10353 33554432000 4194304 4196468 140729853183296 139712691272336 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28501] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710940826096 139712746031746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28502] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710939772320 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28503] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447013763 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710938719728 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28504] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710937668304 139712746039195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28505] ppid=28489 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 21699 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710936614896 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28506] ppid=28489 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28491/task/28506/stat : 28506 (java) R 28489 28489 21699 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710935562352 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28507] ppid=28489 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/28491/task/28507/stat : 28507 (java) S 28489 28489 21699 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710934509808 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28508] ppid=28489 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) R 28489 28489 21699 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710933457264 139712724980464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28904853504 10353 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42864 KiB

[startup+0.312535 s]*
/proc/loadavg: 8.68 8.36 8.31 3/211 28510
/proc/meminfo: memFree=26738640/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28231652 memory=50688 CPUtime=0.52 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 10972 0 0 0 48 4 0 0 20 0 20 0 447013760 28909211648 12672 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7057913 12672 3354 1 0 7019032 0
[pid=28491/tid=28492] ppid=28489 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 21699 0 -1 4202560 7864 0 0 0 28 2 0 0 20 0 20 0 447013760 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712750248800 139712730101086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712696536080 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28496] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712695483536 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28497] ppid=28489 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712694429968 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28498] ppid=28489 vsize=28231652 memory=140090424783791 CPUtime=0 cores=0-7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712693377424 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28499] ppid=28489 vsize=28231652 memory=140090424786096 CPUtime=0 cores=0-7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712692324880 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28500] ppid=28489 vsize=28231652 memory=140090424788400 CPUtime=0 cores=0-7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28909211648 12672 33554432000 4194304 4196468 140729853183296 139712691272336 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28501] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447013763 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710940826096 139712746031746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28502] ppid=28489 vsize=28231652 memory=280180849583760 CPUtime=0 cores=0-7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447013763 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710939772320 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28503] ppid=28489 vsize=28231652 memory=280180849590672 CPUtime=0 cores=0-7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447013763 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710938719728 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28504] ppid=28489 vsize=28231652 memory=280180849531824 CPUtime=0 cores=0-7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710937668304 139712746039195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28505] ppid=28489 vsize=28231652 memory=280180849604496 CPUtime=0.02 cores=0-7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 21699 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710936614896 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28506] ppid=28489 vsize=28231652 memory=280180849611408 CPUtime=0.02 cores=0-7
/proc/28491/task/28506/stat : 28506 (java) S 28489 28489 21699 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710935562352 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28507] ppid=28489 vsize=28231652 memory=280180849609104 CPUtime=0.03 cores=0-7
/proc/28491/task/28507/stat : 28507 (java) S 28489 28489 21699 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710934509808 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28508] ppid=28489 vsize=28231652 memory=280180849625264 CPUtime=0.12 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) S 28489 28489 21699 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710933457264 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013766 28909211648 12672 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52140 KiB

[startup+0.700983 s]
/proc/loadavg: 8.68 8.36 8.31 4/211 28510
/proc/meminfo: memFree=26717492/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28233776 memory=94756 CPUtime=1.91 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 16774 0 0 0 184 7 0 0 20 0 20 0 447013760 28911386624 23689 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7058444 23689 3468 1 0 7019544 0
[pid=28491/tid=28492] ppid=28489 vsize=28233776 memory=280180849983152 CPUtime=0.68 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) R 28489 28489 21699 0 -1 4202560 9203 0 0 0 65 3 0 0 20 0 20 0 447013760 28911386624 23689 33554432000 4194304 4196468 140729853183296 139712750257760 139712354641859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28233776 memory=140090424992624 CPUtime=0 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447013761 28911386624 23689 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447013761 28911386624 23689 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28233776 memory=6004 CPUtime=0 cores=0-7

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

[pid=28491/tid=28508] ppid=28489 vsize=28768336 memory=280180850596064 CPUtime=0.85 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) S 28489 28489 21699 0 -1 1077944384 4569 0 0 0 84 1 0 0 20 0 28 0 447013766 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710933457264 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28768336 memory=9970095490817 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28768336 memory=10275038168833 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28511] ppid=28489 vsize=28768336 memory=10360937514753 CPUtime=11.12 cores=0-7
/proc/28491/task/28511/stat : 28511 (java) R 28489 28489 21699 0 -1 4202560 384 0 0 0 1112 0 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710480334152 139712358156431 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28512] ppid=28489 vsize=28768336 memory=95371225205482 CPUtime=11.3 cores=0-7
/proc/28491/task/28512/stat : 28512 (java) R 28489 28489 21699 0 -1 4202560 147 0 0 0 1130 0 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710479282496 139712358983120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28513] ppid=28489 vsize=28768336 memory=95482894355178 CPUtime=11.3 cores=0-7
/proc/28491/task/28513/stat : 28513 (java) R 28489 28489 21699 0 -1 4202560 522 0 0 0 1129 1 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710478229176 139712358982017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28514] ppid=28489 vsize=28768336 memory=95487189322474 CPUtime=11.22 cores=0-7
/proc/28491/task/28514/stat : 28514 (java) R 28489 28489 21699 0 -1 4202560 222 0 0 0 1122 0 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710477176744 139712360068192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28515] ppid=28489 vsize=28768336 memory=115720780252929 CPUtime=11.05 cores=0-7
/proc/28491/task/28515/stat : 28515 (java) R 28489 28489 21699 0 -1 4202560 682 0 0 0 1103 2 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710476124680 139712357540493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28516] ppid=28489 vsize=28768336 memory=124516873276138 CPUtime=11.15 cores=0-7
/proc/28491/task/28516/stat : 28516 (java) R 28489 28489 21699 0 -1 4202560 153 0 0 0 1115 0 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710475071528 139712358982364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28517] ppid=28489 vsize=28768336 memory=124521168243434 CPUtime=11.17 cores=0-7
/proc/28491/task/28517/stat : 28517 (java) R 28489 28489 21699 0 -1 4202560 211 0 0 0 1117 0 0 0 20 0 28 0 447013886 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710474018968 139712357823052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28518] ppid=28489 vsize=28768336 memory=124534053145322 CPUtime=11.42 cores=0-7
/proc/28491/task/28518/stat : 28518 (java) R 28489 28489 21699 0 -1 4202560 302 0 0 0 1142 0 0 0 20 0 28 0 447013887 29458776064 101791 33554432000 4194304 4196468 140729853183296 139710472966208 139712357823482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 99.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 408616 KiB

[startup+13.6018 s]
/proc/loadavg: 8.42 8.31 8.30 9/219 28518
/proc/meminfo: memFree=26383920/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28768336 memory=407208 CPUtime=102.26 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 45063 0 0 0 10191 35 0 0 20 0 28 0 447013760 29458776064 101802 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7192084 101802 3536 1 0 7153184 0
[pid=28491/tid=28492] ppid=28489 vsize=28768336 memory=988 CPUtime=1.21 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) S 28489 28489 21699 0 -1 1077944384 9787 0 0 0 117 4 0 0 20 0 28 0 447013760 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712750261376 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28768336 memory=1428 CPUtime=0.04 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 352 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28768336 memory=1752 CPUtime=0.04 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 271 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28768336 memory=1056 CPUtime=0.04 cores=0-7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 21699 0 -1 1077944384 215 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712696536080 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28496] ppid=28489 vsize=28768336 memory=1556 CPUtime=0.04 cores=0-7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 21699 0 -1 1077944384 1421 0 0 0 2 2 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712695483536 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28497] ppid=28489 vsize=28768336 memory=11632 CPUtime=0.05 cores=0-7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 21699 0 -1 1077944384 236 0 0 0 3 2 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712694429968 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28498] ppid=28489 vsize=28768336 memory=1732 CPUtime=0.05 cores=0-7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 21699 0 -1 1077944384 268 0 0 0 4 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712693377424 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28499] ppid=28489 vsize=28768336 memory=1088 CPUtime=0.04 cores=0-7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 21699 0 -1 1077944384 251 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712692324880 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28500] ppid=28489 vsize=28768336 memory=988 CPUtime=0.04 cores=0-7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 21699 0 -1 1077944384 1346 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712691272336 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28501] ppid=28489 vsize=28768336 memory=780 CPUtime=0.01 cores=0-7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 21699 0 -1 1077944384 643 0 0 0 1 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710940826096 139712746031746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28502] ppid=28489 vsize=28768336 memory=6004 CPUtime=0 cores=0-7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 21699 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710939772384 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28503] ppid=28489 vsize=28768336 memory=624 CPUtime=0 cores=0-7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 21699 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710938719744 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28504] ppid=28489 vsize=28768336 memory=4004 CPUtime=0 cores=0-7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710937668304 139712746039195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28505] ppid=28489 vsize=28768336 memory=2832 CPUtime=2.4 cores=0-7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 21699 0 -1 1077944384 8969 0 0 0 238 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710936614896 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28506] ppid=28489 vsize=28768336 memory=14012 CPUtime=2.15 cores=0-7
/proc/28491/task/28506/stat : 28506 (java) S 28489 28489 21699 0 -1 1077944384 6282 0 0 0 213 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710935562352 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28507] ppid=28489 vsize=28768336 memory=2112 CPUtime=2.14 cores=0-7
/proc/28491/task/28507/stat : 28507 (java) S 28489 28489 21699 0 -1 1077944384 5961 0 0 0 212 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710934509808 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28508] ppid=28489 vsize=28768336 memory=12040 CPUtime=0.85 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) S 28489 28489 21699 0 -1 1077944384 4573 0 0 0 84 1 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710933457264 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28768336 memory=28148 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28768336 memory=1556 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28511] ppid=28489 vsize=28768336 memory=532 CPUtime=11.51 cores=0-7
/proc/28491/task/28511/stat : 28511 (java) R 28489 28489 21699 0 -1 4202560 435 0 0 0 1151 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710480334152 139712358985470 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28512] ppid=28489 vsize=28768336 memory=928 CPUtime=11.7 cores=0-7
/proc/28491/task/28512/stat : 28512 (java) R 28489 28489 21699 0 -1 4202560 164 0 0 0 1170 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710479282496 139712358981858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28513] ppid=28489 vsize=28768336 memory=1720 CPUtime=11.7 cores=0-7
/proc/28491/task/28513/stat : 28513 (java) R 28489 28489 21699 0 -1 4202560 682 0 0 0 1169 1 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710478229176 139712358324098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28514] ppid=28489 vsize=28768336 memory=1976 CPUtime=11.62 cores=0-7
/proc/28491/task/28514/stat : 28514 (java) R 28489 28489 21699 0 -1 4202560 280 0 0 0 1162 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710477176744 139712357823702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28515] ppid=28489 vsize=28768336 memory=2432 CPUtime=11.45 cores=0-7
/proc/28491/task/28515/stat : 28515 (java) R 28489 28489 21699 0 -1 4202560 745 0 0 0 1143 2 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710476124680 139712358981664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28516] ppid=28489 vsize=28768336 memory=1436 CPUtime=11.55 cores=0-7
/proc/28491/task/28516/stat : 28516 (java) R 28489 28489 21699 0 -1 4202560 171 0 0 0 1155 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710475071528 139712359429448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28517] ppid=28489 vsize=28768336 memory=804 CPUtime=11.57 cores=0-7
/proc/28491/task/28517/stat : 28517 (java) R 28489 28489 21699 0 -1 4202560 218 0 0 0 1157 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710474018968 139712357823432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28518] ppid=28489 vsize=28768336 memory=1764 CPUtime=11.81 cores=0-7
/proc/28491/task/28518/stat : 28518 (java) R 28489 28489 21699 0 -1 4202560 327 0 0 0 1181 0 0 0 20 0 28 0 447013887 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710472966208 139712357960659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 408660 KiB

[startup+13.7018 s]
/proc/loadavg: 8.42 8.31 8.30 9/219 28518
/proc/meminfo: memFree=26383920/32770624 swapFree=66941544/67108860
[pid=28489] ppid=28486 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28489/stat : 28489 (xcsp3-exec) S 28486 28489 21699 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447013760 115843072 363 33554432000 4194304 5098028 140724307718816 140724307716920 140455278244476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32727040 140724307723125 140724307723369 140724307723369 140724307726282 0
/proc/28489/statm: 28282 363 304 221 0 87 0
[pid=28491] ppid=28489 vsize=28768336 memory=407208 CPUtime=103.06 cores=0-7
/proc/28491/stat : 28491 (java) S 28489 28489 21699 0 -1 1077944320 45071 0 0 0 10271 35 0 0 20 0 28 0 447013760 29458776064 101802 33554432000 4194304 4196468 140729853183296 140729853165840 139712746020599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
/proc/28491/statm: 7192084 101802 3536 1 0 7153184 0
[pid=28491/tid=28492] ppid=28489 vsize=28768336 memory=407208 CPUtime=1.21 cores=0-7
/proc/28491/task/28492/stat : 28492 (java) S 28489 28489 21699 0 -1 1077944384 9787 0 0 0 117 4 0 0 20 0 28 0 447013760 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712750261376 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28493] ppid=28489 vsize=28768336 memory=3620 CPUtime=0.04 cores=0-7
/proc/28491/task/28493/stat : 28493 (java) S 28489 28489 21699 0 -1 1077944384 352 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712698641168 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28494] ppid=28489 vsize=28768336 memory=48132 CPUtime=0.04 cores=0-7
/proc/28491/task/28494/stat : 28494 (java) S 28489 28489 21699 0 -1 1077944384 271 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712697588624 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28495] ppid=28489 vsize=28768336 memory=1988 CPUtime=0.04 cores=0-7
/proc/28491/task/28495/stat : 28495 (java) S 28489 28489 21699 0 -1 1077944384 215 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712696536080 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28496] ppid=28489 vsize=28768336 memory=1452 CPUtime=0.04 cores=0-7
/proc/28491/task/28496/stat : 28496 (java) S 28489 28489 21699 0 -1 1077944384 1421 0 0 0 2 2 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712695483536 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28497] ppid=28489 vsize=28768336 memory=407164 CPUtime=0.05 cores=0-7
/proc/28491/task/28497/stat : 28497 (java) S 28489 28489 21699 0 -1 1077944384 236 0 0 0 3 2 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712694429968 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28498] ppid=28489 vsize=28768336 memory=14012 CPUtime=0.05 cores=0-7
/proc/28491/task/28498/stat : 28498 (java) S 28489 28489 21699 0 -1 1077944384 268 0 0 0 4 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712693377424 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28499] ppid=28489 vsize=28768336 memory=164 CPUtime=0.04 cores=0-7
/proc/28491/task/28499/stat : 28499 (java) S 28489 28489 21699 0 -1 1077944384 251 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712692324880 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28500] ppid=28489 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/28491/task/28500/stat : 28500 (java) S 28489 28489 21699 0 -1 1077944384 1346 0 0 0 3 1 0 0 20 0 28 0 447013761 29458776064 101802 33554432000 4194304 4196468 140729853183296 139712691272336 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28501] ppid=28489 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/28491/task/28501/stat : 28501 (java) S 28489 28489 21699 0 -1 1077944384 643 0 0 0 1 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710940826096 139712746031746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28502] ppid=28489 vsize=28768336 memory=124542643079914 CPUtime=0 cores=0-7
/proc/28491/task/28502/stat : 28502 (java) S 28489 28489 21699 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710939772384 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28503] ppid=28489 vsize=28768336 memory=124542643079658 CPUtime=0 cores=0-7
/proc/28491/task/28503/stat : 28503 (java) S 28489 28489 21699 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 447013763 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710938719744 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28504] ppid=28489 vsize=28768336 memory=124542643079658 CPUtime=0 cores=0-7
/proc/28491/task/28504/stat : 28504 (java) S 28489 28489 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710937668304 139712746039195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28505] ppid=28489 vsize=28768336 memory=1452 CPUtime=2.4 cores=0-7
/proc/28491/task/28505/stat : 28505 (java) S 28489 28489 21699 0 -1 1077944384 8969 0 0 0 238 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710936614896 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28506] ppid=28489 vsize=28768336 memory=339384 CPUtime=2.15 cores=0-7
/proc/28491/task/28506/stat : 28506 (java) S 28489 28489 21699 0 -1 1077944384 6282 0 0 0 213 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710935562352 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28507] ppid=28489 vsize=28768336 memory=0 CPUtime=2.14 cores=0-7
/proc/28491/task/28507/stat : 28507 (java) S 28489 28489 21699 0 -1 1077944384 5961 0 0 0 212 2 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710934509808 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28508] ppid=28489 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7
/proc/28491/task/28508/stat : 28508 (java) S 28489 28489 21699 0 -1 1077944384 4573 0 0 0 84 1 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710933457264 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28509] ppid=28489 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28491/task/28509/stat : 28509 (java) S 28489 28489 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710932404960 139712746030805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28510] ppid=28489 vsize=28768336 memory=272884 CPUtime=0 cores=0-7
/proc/28491/task/28510/stat : 28510 (java) S 28489 28489 21699 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447013766 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710931352496 139712746031746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28511] ppid=28489 vsize=28768336 memory=280180849419624 CPUtime=11.61 cores=0-7
/proc/28491/task/28511/stat : 28511 (java) R 28489 28489 21699 0 -1 4202560 435 0 0 0 1161 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710480334152 139712358982434 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28512] ppid=28489 vsize=28768336 memory=4298297349870452768 CPUtime=11.8 cores=0-7
/proc/28491/task/28512/stat : 28512 (java) R 28489 28489 21699 0 -1 4202560 164 0 0 0 1180 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710479282496 139712357540684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28513] ppid=28489 vsize=28768336 memory=376248 CPUtime=11.8 cores=0-7
/proc/28491/task/28513/stat : 28513 (java) R 28489 28489 21699 0 -1 4202560 686 0 0 0 1179 1 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710478229176 139712359617141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28514] ppid=28489 vsize=28768336 memory=0 CPUtime=11.72 cores=0-7
/proc/28491/task/28514/stat : 28514 (java) R 28489 28489 21699 0 -1 4202560 283 0 0 0 1172 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710477176744 139712358982472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28515] ppid=28489 vsize=28768336 memory=1452 CPUtime=11.55 cores=0-7
/proc/28491/task/28515/stat : 28515 (java) R 28489 28489 21699 0 -1 4202560 745 0 0 0 1153 2 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710476124680 139712357540528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28516] ppid=28489 vsize=28768336 memory=405900 CPUtime=11.65 cores=0-7
/proc/28491/task/28516/stat : 28516 (java) R 28489 28489 21699 0 -1 4202560 172 0 0 0 1165 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710475071528 139712357540528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28517] ppid=28489 vsize=28768336 memory=0 CPUtime=11.67 cores=0-7
/proc/28491/task/28517/stat : 28517 (java) R 28489 28489 21699 0 -1 4202560 218 0 0 0 1167 0 0 0 20 0 28 0 447013886 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710474018968 139712357823644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
[pid=28491/tid=28518] ppid=28489 vsize=28768336 memory=1452 CPUtime=11.91 cores=0-7
/proc/28491/task/28518/stat : 28518 (java) R 28489 28489 21699 0 -1 4202560 327 0 0 0 1191 0 0 0 20 0 28 0 447013887 29458776064 101802 33554432000 4194304 4196468 140729853183296 139710472966208 139712358981739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24436736 140729853191146 140729853191318 140729853191318 140729853194191 0
Current children cumulated CPU time: 103.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 408660 KiB

Child status: 0
Real time (s): 13.7833
CPU time (s): 103.532
CPU user time (s): 103.17
CPU system time (s): 0.362033
CPU usage (%): 751.138
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 408660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.17
system time used= 0.362033
maximum resident set size= 407592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4468
involuntary context switches= 1830


# summary of solver processes directly reported to runsolver:
#   pid: 28489
#   total CPU time (s): 103.532
#   total CPU user time (s): 103.17
#   total CPU system time (s): 0.362033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153332 second user time and 0.173856 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-17 10:08:33
IDJOB=4399527
IDBENCH=128075
IDSOLVER=2854
FILE ID=node149/4399527-1568707751
RUNJOBID= node149-1568700680-21726
PBS_JOBID= 21703901
Free space on /tmp= 61420 MiB

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

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

MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41
RANDOM SEED=1726280356

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26776056 kB
MemAvailable:   31839640 kB
Buffers:          113000 kB
Cached:          5252024 kB
SwapCached:        61056 kB
Active:          2425552 kB
Inactive:        3002056 kB
Active(anon):       4436 kB
Inactive(anon):   106216 kB
Active(file):    2421116 kB
Inactive(file):  2895840 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       66941544 kB
Dirty:             26408 kB
Writeback:             0 kB
AnonPages:        117392 kB
Mapped:            48484 kB
Shmem:             40000 kB
Slab:             154436 kB
SReclaimable:     124928 kB
SUnreclaim:        29508 kB
KernelStack:        3616 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

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