Trace number 4398954

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-16SAT 10.2403 3.38725

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-05.xml
MD5SUM039cea46cde688c2971a1406f493a012
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 benchmark0.252364
Satisfiable
(Un)Satisfiability was proved
Number of variables1461
Number of constraints1218
Number of domains3
Minimum domain size3
Maximum domain size244
Distribution of domain sizes[{"size":3,"count":1215},{"size":243,"count":243},{"size":244,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":243},{"degree":3,"count":1215}]
Minimum constraint arity2
Maximum constraint arity246
Distribution of constraint arities[{"arity":2,"count":972},{"arity":6,"count":243},{"arity":243,"count":2},{"arity":246,"count":1}]
Number of extensional constraints0
Number of intensional constraints972
Distribution of constraint types[{"type":"intension","count":972},{"type":"allDifferent","count":1},{"type":"sum","count":243},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4398954-1568695512.xml"  -tl '2520s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4398954-1568695512.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.69/1.80	c solve instance...
9.94/3.37	s SATISFIABLE
9.94/3.37	v <instantiation>
9.94/3.37	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] g[0] g[1] g[2] </list>
9.94/3.37	v 	<values>0 1 3 9 27 81 2 6 18 54 163 4 12 36 108 82 5 15 45 135 164 7 21 63 189 83 8 24 72 217 165 10 30 90 28 84 11 33 99 55 166 13 39 117 109 85 14 42 126 136 167 16 48 144 190 86 17 51 153 218 168 19 57 171 29 87 20 60 180 56 169 22 66 198 110 88 23 69 207 137 170 25 75 225 191 89 26 78 235 219 172 31 93 37 111 91 32 96 46 138 173 34 102 64 192 92 35 105 73 220 174 38 114 100 58 175 40 120 118 112 94 41 123 127 139 176 43 129 145 193 95 44 132 154 221 177 47 141 181 59 178 49 147 199 113 97 50 150 208 140 179 52 156 226 194 98 53 159 236 222 182 61 183 65 195 101 62 186 74 223 184 67 201 119 115 103 68 204 128 142 185 70 210 146 196 104 71 213 155 224 187 76 228 200 116 106 77 231 209 143 188 79 237 227 197 107 80 241 238 229 202 121 122 124 130 148 203 125 133 157 230 205 131 151 211 149 206 134 160 239 232 212 152 214 158 233 215 161 242 240 234 216 162 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 0 1 0 0 0 2 0 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 1 2 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 2 0 1 0 2 0 1 0 2 0 0 0 2 0 0 1 2 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 1 0 1 2 1 0 1 2 1 0 0 2 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 0 1 2 2 0 0 2 2 0 0 2 2 0 0 2 0 0 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 2 1 0 0 2 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 0 0 2 0 0 2 2 0 0 2 1 0 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 2 1 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 0 1 2 0 0 2 2 0 0 2 2 0 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 2 1 0 0 2 2 0 0 2 2 2 0 2 2 2 0 2 2 2 0 1 2 2 0 1 0 2 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 2 1 0 1 2 0 0 1 2 0 1 1 2 0 1 0 2 0 1 0 2 0 1 0 2 1 1 0 2 1 0 0 2 1 0 1 2 1 0 1 0 1 0 1 0 2 0 1 0 2 2 1 0 2 2 0 0 2 2 0 1 2 2 0 1 1 2 0 1 1 0 0 1 1 0 2 1 1 0 2 0 1 0 2 0 1 0 2 0 1 1 2 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 2 1 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 1 1 1 2 1 0 1 2 1 0 1 2 1 0 1 1 1 0 1 1 2 0 1 1 2 2 1 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 0 0 1 2 0 2 1 2 0 2 0 2 0 2 0 1 0 2 0 1 2 2 0 1 2 1 0 1 2 1 1 1 2 1 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 2 1 0 1 2 1 2 1 2 1 2 0 2 1 2 0 1 1 2 0 1 2 2 0 1 2 2 0 1 2 2 1 1 2 2 1 0 2 2 1 0 1 2 1 0 1 2 1 0 1 2 2 0 1 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 1 2 0 2 1 0 0 2 1 0 2 2 1 0 2 0 1 0 2 0 2 0 2 0 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 2 1 2 0 2 1 1 0 2 1 1 1 2 1 1 1 0 1 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 1 2 1 2 1 0 1 2 1 0 2 2 1 0 2 1 1 0 2 1 2 0 2 1 2 2 2 1 2 2 0 1 2 2 0 2 2 2 0 2 2 2 0 2 2 1 0 2 2 1 1 2 2 1 1 0 2 1 1 0 2 1 1 0 2 2 1 0 2 2 1 0 2 2 1 2 2 2 1 2 0 2 1 2 0 2 1 2 0 2 2 2 0 2 2 2 0 2 2 2 1 2 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 2 0 2 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 1 2 2 1 1 2 2 1 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 2 2 1 2 2 1 1 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 0 2 2 0 0 0 2 0 0 0 0 81 81 81 </values>
9.94/3.37	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 (13952 MiB free)
  memory of node 1: 16384 MiB (15222 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398954-1568695512/watcher-4398954-1568695512 -o /tmp/evaluation-result-4398954-1568695512/solver-4398954-1568695512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25965 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1337409138 HOME/instance-4398954-1568695512.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 9.52 7.70 4.60 8/233 26249
/proc/meminfo: memFree=29859136/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15144776 memory=29016 CPUtime=0.13 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 5713 0 0 0 12 1 0 0 20 0 15 0 445805619 15508250624 7254 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3786194 7254 3153 1 0 3748377 0
[pid=26235/tid=26236] ppid=26233 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) R 26233 26233 25933 0 -1 4202560 3571 0 0 0 8 1 0 0 20 0 15 0 445805619 15508250624 7254 33554432000 4194304 4196468 140721780224704 139698183430160 139698163287390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15144776 memory=4121838230560360096 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805621 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445805621 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697320780704 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445805622 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697319728112 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) S 26233 26233 25933 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697317624304 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) S 26233 26233 25933 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697316571760 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15144776 memory=140544485934720 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) R 26233 26233 25933 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697315519344 139698179218838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445805624 15508250624 7254 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB

[startup+0.217414 s]*
/proc/loadavg: 9.52 7.70 4.60 9/233 26249
/proc/meminfo: memFree=29846652/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15150056 memory=41564 CPUtime=0.35 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 9597 0 0 0 32 3 0 0 20 0 15 0 445805619 15513657344 10391 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3787514 10391 3337 1 0 3748633 0
[pid=26235/tid=26236] ppid=26233 vsize=15150056 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) R 26233 26233 25933 0 -1 4202560 6798 0 0 0 18 2 0 0 20 0 15 0 445805619 15513657344 10391 33554432000 4194304 4196468 140721780224704 139698183418976 139698171924007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15149032 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15149032 memory=140544489098376 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15150056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15513657344 10391 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15150056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15513657344 10391 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15150056 memory=140544485934720 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445805621 15513657344 10391 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445805621 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697320780704 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445805622 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697319728112 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) R 26233 26233 25933 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697317624304 139698179218050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15149032 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) S 26233 26233 25933 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697316571760 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15149032 memory=140544485934720 CPUtime=0.08 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) S 26233 26233 25933 0 -1 1077944384 804 0 0 0 8 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697315519216 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 10391 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15263184 KiB
Current children cumulated memory: 43012 KiB

[startup+0.310542 s]*
/proc/loadavg: 9.40 7.70 4.62 9/233 26249
/proc/meminfo: memFree=29825732/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15149032 memory=50104 CPUtime=0.54 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 10933 0 0 0 50 4 0 0 20 0 15 0 445805619 15512608768 12526 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3787258 12526 3356 1 0 3748377 0
[pid=26235/tid=26236] ppid=26233 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) R 26233 26233 25933 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 445805619 15512608768 12526 33554432000 4194304 4196468 140721780224704 139698183440688 139698163287390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445805621 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445805621 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697320780704 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445805622 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697319728112 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) S 26233 26233 25933 0 -1 1077944384 578 0 0 0 5 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697317624304 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) S 26233 26233 25933 0 -1 1077944384 300 0 0 0 4 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697316571760 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) S 26233 26233 25933 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697315519216 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445805624 15512608768 12526 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51552 KiB

[startup+0.81861 s]*
/proc/loadavg: 9.40 7.70 4.62 11/233 26249
/proc/meminfo: memFree=29826188/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15149108 memory=61960 CPUtime=0.82 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 12735 0 0 0 78 4 0 0 20 0 15 0 445805619 15512686592 15490 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3787277 15490 3418 1 0 3748377 0
[pid=26235/tid=26236] ppid=26233 vsize=15149108 memory=7883960649037381690 CPUtime=0.4 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) R 26233 26233 25933 0 -1 4202560 8301 0 0 0 37 3 0 0 20 0 15 0 445805619 15512686592 15490 33554432000 4194304 4196468 140721780224704 139698183434304 139698163379504 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15149108 memory=2670167 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15149108 memory=3189610 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445805620 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445805621 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445805621 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697320780704 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15149108 memory=140544485934720 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445805622 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697319728112 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15149108 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) R 26233 26233 25933 0 -1 1077944384 824 0 0 0 10 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697317624304 139698179218050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15149108 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) R 26233 26233 25933 0 -1 4202560 993 0 0 0 11 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697316557784 139698164322065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15149108 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) R 26233 26233 25933 0 -1 4202560 1309 0 0 0 18 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697315514944 139698172303771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445805624 15512686592 15490 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 63408 KiB

[startup+1.51233 s]
/proc/loadavg: 9.40 7.70 4.62 10/233 26249
/proc/meminfo: memFree=29747880/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0

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

/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445805624 15514783744 40785 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 164588 KiB

[startup+3.107 s]
/proc/loadavg: 9.40 7.70 4.62 12/237 26253
/proc/meminfo: memFree=29665304/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15419460 memory=253400 CPUtime=9.17 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 26823 0 0 0 905 12 0 0 20 0 19 0 445805619 15789527040 63350 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3854865 63350 3501 1 0 3815965 0
[pid=26235/tid=26236] ppid=26233 vsize=15419460 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) S 26233 26233 25933 0 -1 1077944384 10879 0 0 0 131 5 0 0 20 0 19 0 445805619 15789527040 63350 33554432000 4194304 4196468 140721780224704 139698183447680 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 445805620 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15419460 memory=1 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 19 0 445805620 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15419460 memory=772 CPUtime=0.03 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 19 0 445805620 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15419460 memory=4168 CPUtime=0.04 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 445805620 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15419460 memory=948 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15419460 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697320780768 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15419460 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445805622 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697319728128 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15419460 memory=218500 CPUtime=1.71 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) R 26233 26233 25933 0 -1 4202560 4867 0 0 0 170 1 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697317610328 139698162594215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15419460 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) R 26233 26233 25933 0 -1 1077944384 4538 0 0 0 166 0 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697316560000 139698179217109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15419460 memory=253214091955446 CPUtime=0.81 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) S 26233 26233 25933 0 -1 1077944384 4258 0 0 0 80 1 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697315519216 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15419460 memory=281088698226304 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15419460 memory=140548644092352 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26250] ppid=26233 vsize=15419460 memory=140544485946817 CPUtime=0.68 cores=1,3,5,7
/proc/26235/task/26250/stat : 26250 (java) R 26233 26233 25933 0 -1 1077944384 60 0 0 0 68 0 0 0 20 0 19 0 445805799 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697302098336 139698179217109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26251] ppid=26233 vsize=15419460 memory=5938373659623779946 CPUtime=0.9 cores=1,3,5,7
/proc/26235/task/26251/stat : 26251 (java) R 26233 26233 25933 0 -1 4202560 78 0 0 0 90 0 0 0 20 0 19 0 445805800 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697233844424 139697796027404 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26252] ppid=26233 vsize=15419460 memory=7162531440177276259 CPUtime=0.98 cores=1,3,5,7
/proc/26235/task/26252/stat : 26252 (java) R 26233 26233 25933 0 -1 4202560 51 0 0 0 98 0 0 0 20 0 19 0 445805800 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697232791928 139697787599311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26253] ppid=26233 vsize=15419460 memory=7230111663755929751 CPUtime=0.87 cores=1,3,5,7
/proc/26235/task/26253/stat : 26253 (java) R 26233 26233 25933 0 -1 4202560 37 0 0 0 87 0 0 0 20 0 19 0 445805800 15789527040 63350 33554432000 4194304 4196468 140721780224704 139697231737176 139697796026868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 254848 KiB

[startup+3.38719 s]
# the end of solver process 26233 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.1085 s, system=0.131741 s

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

[startup+3.21182 s]
/proc/loadavg: 9.40 7.70 4.62 12/237 26253
/proc/meminfo: memFree=29665304/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15419460 memory=254276 CPUtime=9.58 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 27854 0 0 0 946 12 0 0 20 0 19 0 445805619 15789527040 63569 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3854865 63569 3503 1 0 3815965 0
[pid=26235/tid=26236] ppid=26233 vsize=15419460 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) S 26233 26233 25933 0 -1 1077944384 10879 0 0 0 131 5 0 0 20 0 19 0 445805619 15789527040 63569 33554432000 4194304 4196468 140721780224704 139698183447680 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 445805620 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15419460 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 19 0 445805620 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 19 0 445805620 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15419460 memory=225004 CPUtime=0.04 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 445805620 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697320780768 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445805622 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697319728128 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15419460 memory=223704 CPUtime=1.75 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) R 26233 26233 25933 0 -1 4202560 5135 0 0 0 174 1 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697317610328 139698157373228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15419460 memory=0 CPUtime=1.74 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) R 26233 26233 25933 0 -1 4202560 4695 0 0 0 173 1 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697316558328 139698158704179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15419460 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) R 26233 26233 25933 0 -1 1077944384 4533 0 0 0 81 1 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697315519216 139698179218050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15419460 memory=140544349470131 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26250] ppid=26233 vsize=15419460 memory=7161947603645522771 CPUtime=0.73 cores=1,3,5,7
/proc/26235/task/26250/stat : 26250 (java) R 26233 26233 25933 0 -1 4202560 65 0 0 0 73 0 0 0 20 0 19 0 445805799 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697302099096 139697796026868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26251] ppid=26233 vsize=15419460 memory=7379547569285261161 CPUtime=0.99 cores=1,3,5,7
/proc/26235/task/26251/stat : 26251 (java) R 26233 26233 25933 0 -1 4202560 167 0 0 0 99 0 0 0 20 0 19 0 445805800 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697233844736 139697796026778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26252] ppid=26233 vsize=15419460 memory=7381798230463833968 CPUtime=1.03 cores=1,3,5,7
/proc/26235/task/26252/stat : 26252 (java) R 26233 26233 25933 0 -1 4202560 92 0 0 0 103 0 0 0 20 0 19 0 445805800 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697232791928 139697796026868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26253] ppid=26233 vsize=15419460 memory=7440053569103876176 CPUtime=0.97 cores=1,3,5,7
/proc/26235/task/26253/stat : 26253 (java) R 26233 26233 25933 0 -1 4202560 229 0 0 0 97 0 0 0 20 0 19 0 445805800 15789527040 63569 33554432000 4194304 4196468 140721780224704 139697231739896 139697796138902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 255724 KiB

[startup+3.30182 s]
/proc/loadavg: 9.40 7.70 4.62 12/237 26253
/proc/meminfo: memFree=29665304/32770624 swapFree=67000020/67108860
[pid=26233] ppid=26230 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26233/stat : 26233 (xcsp3-exec) S 26230 26233 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445805618 115843072 362 33554432000 4194304 5098028 140735641108736 140735641106840 140528210006652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39579648 140735641113466 140735641113709 140735641113709 140735641116618 0
/proc/26233/statm: 28282 362 304 221 0 87 0
[pid=26235] ppid=26233 vsize=15419460 memory=254572 CPUtime=9.94 cores=1,3,5,7
/proc/26235/stat : 26235 (java) S 26233 26233 25933 0 -1 1077944320 28026 0 0 0 982 12 0 0 20 0 19 0 445805619 15789527040 63643 33554432000 4194304 4196468 140721780224704 140721780207248 139698179206903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
/proc/26235/statm: 3854865 63643 3503 1 0 3815965 0
[pid=26235/tid=26236] ppid=26233 vsize=15419460 memory=5938373659623779946 CPUtime=1.36 cores=1,3,5,7
/proc/26235/task/26236/stat : 26236 (java) S 26233 26233 25933 0 -1 1077944384 10879 0 0 0 131 5 0 0 20 0 19 0 445805619 15789527040 63643 33554432000 4194304 4196468 140721780224704 139698183447680 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26237] ppid=26233 vsize=15419460 memory=7162531440177276259 CPUtime=0.01 cores=1,3,5,7
/proc/26235/task/26237/stat : 26237 (java) S 26233 26233 25933 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 445805620 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697771113232 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26238] ppid=26233 vsize=15419460 memory=7230111663755929751 CPUtime=0.02 cores=1,3,5,7
/proc/26235/task/26238/stat : 26238 (java) S 26233 26233 25933 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 19 0 445805620 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697770060688 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26239] ppid=26233 vsize=15419460 memory=253400 CPUtime=0.03 cores=1,3,5,7
/proc/26235/task/26239/stat : 26239 (java) S 26233 26233 25933 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 19 0 445805620 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697769008144 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26240] ppid=26233 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26235/task/26240/stat : 26240 (java) S 26233 26233 25933 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 445805620 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697767955600 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26241] ppid=26233 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26241/stat : 26241 (java) S 26233 26233 25933 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697321834480 139698179218050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26242] ppid=26233 vsize=15419460 memory=1 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26242/stat : 26242 (java) S 26233 26233 25933 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445805621 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697320780768 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26243] ppid=26233 vsize=15419460 memory=772 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26243/stat : 26243 (java) S 26233 26233 25933 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445805622 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697319728128 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26244] ppid=26233 vsize=15419460 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26244/stat : 26244 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697318676688 139698179225499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26245] ppid=26233 vsize=15419460 memory=948 CPUtime=1.79 cores=1,3,5,7
/proc/26235/task/26245/stat : 26245 (java) R 26233 26233 25933 0 -1 4202560 5220 0 0 0 178 1 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697317610064 139698159050516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26246] ppid=26233 vsize=15419460 memory=2832 CPUtime=1.78 cores=1,3,5,7
/proc/26235/task/26246/stat : 26246 (java) R 26233 26233 25933 0 -1 4202560 4735 0 0 0 177 1 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697316558328 139698163497104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26247] ppid=26233 vsize=15419460 memory=9492 CPUtime=0.83 cores=1,3,5,7
/proc/26235/task/26247/stat : 26247 (java) R 26233 26233 25933 0 -1 1077944384 4551 0 0 0 82 1 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697315519216 139698179218050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26248] ppid=26233 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26248/stat : 26248 (java) S 26233 26233 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697314466912 139698179217109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26249] ppid=26233 vsize=15419460 memory=218500 CPUtime=0 cores=1,3,5,7
/proc/26235/task/26249/stat : 26249 (java) S 26233 26233 25933 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445805624 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697313413424 139698179218050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26250] ppid=26233 vsize=15419460 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/26235/task/26250/stat : 26250 (java) R 26233 26233 25933 0 -1 4202560 68 0 0 0 78 0 0 0 20 0 19 0 445805799 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697302097472 139697796027482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26251] ppid=26233 vsize=15419460 memory=253214091955446 CPUtime=1.08 cores=1,3,5,7
/proc/26235/task/26251/stat : 26251 (java) R 26233 26233 25933 0 -1 4202560 189 0 0 0 108 0 0 0 20 0 19 0 445805800 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697233844024 139697796539082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26252] ppid=26233 vsize=15419460 memory=281088698226304 CPUtime=1.07 cores=1,3,5,7
/proc/26235/task/26252/stat : 26252 (java) R 26233 26233 25933 0 -1 4202560 92 0 0 0 107 0 0 0 20 0 19 0 445805800 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697232791928 139697795769266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
[pid=26235/tid=26253] ppid=26233 vsize=15419460 memory=140548644092352 CPUtime=1.06 cores=1,3,5,7
/proc/26235/task/26253/stat : 26253 (java) R 26233 26233 25933 0 -1 4202560 230 0 0 0 106 0 0 0 20 0 19 0 445805800 15789527040 63643 33554432000 4194304 4196468 140721780224704 139697231737192 139697795538905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140721780233199 140721780233370 140721780233370 140721780236239 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 256020 KiB

Child status: 0
Real time (s): 3.38725
CPU time (s): 10.2403
CPU user time (s): 10.1085
CPU system time (s): 0.131741
CPU usage (%): 302.317
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 256020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1085
system time used= 0.131741
maximum resident set size= 254956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2392
involuntary context switches= 392


# summary of solver processes directly reported to runsolver:
#   pid: 26233
#   total CPU time (s): 10.2403
#   total CPU user time (s): 10.1085
#   total CPU system time (s): 0.131741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045419 second user time and 0.066872 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-17 05:43:52
IDJOB=4398954
IDBENCH=125572
IDSOLVER=2853
FILE ID=node106/4398954-1568695512
RUNJOBID= node106-1568691194-25965
PBS_JOBID= 21703809
Free space on /tmp= 59060 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398954-1568695512/watcher-4398954-1568695512 -o /tmp/evaluation-result-4398954-1568695512/solver-4398954-1568695512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25965 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1337409138 HOME/instance-4398954-1568695512.xml

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

MD5SUM BENCH= 039cea46cde688c2971a1406f493a012
RANDOM SEED=1337409138

node106.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.79
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.79
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.79
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.79
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:        29875992 kB
MemAvailable:   31413012 kB
Buffers:          195804 kB
Cached:          1630608 kB
SwapCached:         7404 kB
Active:          1092392 kB
Inactive:        1227416 kB
Active(anon):     493464 kB
Inactive(anon):    44200 kB
Active(file):     598928 kB
Inactive(file):  1183216 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67000020 kB
Dirty:             26104 kB
Writeback:             0 kB
AnonPages:        542140 kB
Mapped:            57308 kB
Shmem:             35772 kB
Slab:             171524 kB
SReclaimable:     141420 kB
SUnreclaim:        30104 kB
KernelStack:        3792 kB
PageTables:         6688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1899572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59036 MiB
End job on node106 at 2019-09-17 05:43:56