Trace number 4392994

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-06-14SAT 9.27053 2.75501

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-4392994-1568316692.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4392994-1568316692.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.97/1.42	c solve instance...
9.12/2.73	s SATISFIABLE
9.12/2.73	v <instantiation>
9.12/2.73	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.12/2.73	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.12/2.73	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 (8619 MiB free)
  memory of node 1: 16384 MiB (13723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392994-1568316692/watcher-4392994-1568316692 -o /tmp/evaluation-result-4392994-1568316692/solver-4392994-1568316692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 418892772 HOME/instance-4392994-1568316692.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
Current StackSize limit: 8192 KiB

solver pid=16511, runsolver pid=16508

[startup+0.102167 s]*
/proc/loadavg: 7.78 8.28 8.09 4/233 16527
/proc/meminfo: memFree=22860480/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15144768 memory=31108 CPUtime=0.13 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 5715 0 0 0 12 1 0 0 20 0 15 0 407611153 15508242432 7777 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3786192 7777 3155 1 0 3748377 0
[pid=16513/tid=16514] ppid=16511 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) R 16511 16511 11591 0 -1 4202560 3597 0 0 0 9 0 0 0 20 0 15 0 407611153 15508242432 7777 33554432000 4194304 4196468 140736867159104 140495433309664 140495040956758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 7777 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 7777 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 7777 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 7777 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611155 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611156 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494963799200 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611156 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494962746096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494960642800 140495429098114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494959590256 140495422072009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16511 16511 11591 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 407611158 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494958537200 140495408386013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) R 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611159 15508242432 7777 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 32560 KiB

[startup+0.210776 s]*
/proc/loadavg: 7.78 8.28 8.09 4/233 16527
/proc/meminfo: memFree=22848272/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15144768 memory=43016 CPUtime=0.34 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 9472 0 0 0 31 3 0 0 20 0 15 0 407611153 15508242432 10754 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3786192 10754 3314 1 0 3748377 0
[pid=16513/tid=16514] ppid=16511 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) R 16511 16511 11591 0 -1 4202560 6630 0 0 0 18 2 0 0 20 0 15 0 407611153 15508242432 10754 33554432000 4194304 4196468 140736867159104 140495433320752 140495413167454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 10754 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15144768 memory=288370249894041216 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 10754 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 10754 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611154 15508242432 10754 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407611155 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611156 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494963799200 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611156 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494962746096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16511 16511 11591 0 -1 1077944384 598 0 0 0 2 0 0 0 20 0 15 0 407611158 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494960642800 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16511 16511 11591 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 407611158 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494959590256 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15144768 memory=139873742329472 CPUtime=0.08 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16511 16511 11591 0 -1 1077944384 724 0 0 0 8 0 0 0 20 0 15 0 407611158 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611159 15508242432 10754 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 44468 KiB

[startup+0.314724 s]*
/proc/loadavg: 7.78 8.28 8.09 4/233 16527
/proc/meminfo: memFree=22840252/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15149024 memory=52280 CPUtime=0.53 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 10952 0 0 0 49 4 0 0 20 0 15 0 407611153 15512600576 13070 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3787256 13070 3360 1 0 3748377 0
[pid=16513/tid=16514] ppid=16511 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) R 16511 16511 11591 0 -1 4202560 7879 0 0 0 27 3 0 0 20 0 15 0 407611153 15512600576 13070 33554432000 4194304 4196468 140736867159104 140495433318080 140495429108893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15512600576 13070 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15512600576 13070 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15512600576 13070 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611154 15512600576 13070 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407611155 15512600576 13070 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611156 15512600576 13070 33554432000 4194304 4196468 140736867159104 140494963799200 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611156 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494962746096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) S 16511 16511 11591 0 -1 1077944384 643 0 0 0 4 0 0 0 20 0 15 0 407611158 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494960642800 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) S 16511 16511 11591 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 407611158 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494959590256 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16511 16511 11591 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 407611158 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611159 15512600576 13135 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53732 KiB

[startup+0.700773 s]
/proc/loadavg: 7.78 8.28 8.09 5/233 16527
/proc/meminfo: memFree=22822388/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15151148 memory=95648 CPUtime=1.75 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 15659 0 0 0 169 6 0 0 20 0 15 0 407611153 15514775552 23912 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3787787 23912 3448 1 0 3748889 0
[pid=16513/tid=16514] ppid=16511 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) R 16511 16511 11591 0 -1 4202560 8772 0 0 0 64 3 0 0 20 0 15 0 407611153 15514775552 23912 33554432000 4194304 4196468 140736867159104 140495433321856 140495429098902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15151148 memory=37964 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15514775552 23912 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15151148 memory=992 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15514775552 23912 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15151148 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611154 15514775552 23912 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15151148 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611154 15514775552 23912 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407611155 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15151148 memory=752 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611156 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494963799200 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611156 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494962746096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15151148 memory=944 CPUtime=0.29 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 1077944384 1924 0 0 0 29 0 0 0 20 0 15 0 407611158 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494960642800 140495429098114 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15151148 memory=4004 CPUtime=0.36 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 1333 0 0 0 36 0 0 0 20 0 15 0 407611158 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494959581088 140495410262656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15151148 memory=780 CPUtime=0.39 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16511 16511 11591 0 -1 4202560 2322 0 0 0 39 0 0 0 20 0 15 0 407611158 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611158 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15151148 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611159 15514775552 23912 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 97100 KiB

[startup+1.50673 s]
/proc/loadavg: 7.78 8.28 8.09 6/233 16527
/proc/meminfo: memFree=22753016/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0

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

/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 4202560 4006 0 0 0 101 1 0 0 20 0 19 0 407611158 15789518848 53844 33554432000 4194304 4196468 140736867159104 140494960629088 140495410497117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15419452 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 3403 0 0 0 112 0 0 0 20 0 19 0 407611158 15789518848 53844 33554432000 4194304 4196468 140736867159104 140494959577072 140495407220105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15419452 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16511 16511 11591 0 -1 4202560 3732 0 0 0 69 1 0 0 20 0 19 0 407611158 15789518848 53844 33554432000 4194304 4196468 140736867159104 140494958537200 140495408028546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 53844 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611159 15789518848 53844 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 216828 KiB

[startup+2.40173 s]
/proc/loadavg: 7.78 8.28 8.09 12/237 16535
/proc/meminfo: memFree=22675444/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15419452 memory=217288 CPUtime=7.91 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 23196 0 0 0 781 10 0 0 20 0 19 0 407611153 15789518848 54322 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3854863 54322 3502 1 0 3815965 0
[pid=16513/tid=16514] ppid=16511 vsize=15419452 memory=188376 CPUtime=1.38 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) S 16511 16511 11591 0 -1 1077944384 9879 0 0 0 133 5 0 0 20 0 19 0 407611153 15789518848 54322 33554432000 4194304 4196468 140736867159104 140495433327744 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15419452 memory=14135532779211192 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 19 0 407611154 15789518848 54322 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 407611154 15789518848 54322 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15419452 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407611154 15789518848 54322 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15419452 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 19 0 407611154 15789518848 54322 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 407611155 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494963799200 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494962746096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15419452 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 4202560 4156 0 0 0 167 1 0 0 20 0 19 0 407611158 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494960641936 140495408927507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15419452 memory=0 CPUtime=1.63 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 3492 0 0 0 163 0 0 0 20 0 19 0 407611158 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494959576352 140495413077288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15419452 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16511 16511 11591 0 -1 1077944384 3902 0 0 0 80 1 0 0 20 0 19 0 407611158 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15419452 memory=56 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611159 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16532] ppid=16511 vsize=15419452 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/16513/task/16532/stat : 16532 (java) R 16511 16511 11591 0 -1 4202560 56 0 0 0 62 0 0 0 20 0 19 0 407611296 15789518848 54322 33554432000 4194304 4196468 140736867159104 140494287337016 140495049039845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16533] ppid=16511 vsize=15419452 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/16513/task/16533/stat : 16533 (java) R 16511 16511 11591 0 -1 4202560 74 0 0 0 46 0 0 0 20 0 19 0 407611296 15789518848 54322 33554432000 4194304 4196468 140736867159104 140493974224856 140495049040194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16534] ppid=16511 vsize=15419452 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/16513/task/16534/stat : 16534 (java) R 16511 16511 11591 0 -1 4202560 37 0 0 0 53 0 0 0 20 0 19 0 407611296 15789518848 54322 33554432000 4194304 4196468 140736867159104 140493973172136 140495048690283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16535] ppid=16511 vsize=15419452 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/16513/task/16535/stat : 16535 (java) R 16511 16511 11591 0 -1 4202560 30 0 0 0 68 0 0 0 20 0 19 0 407611296 15789518848 54322 33554432000 4194304 4196468 140736867159104 140493972121416 140495049039911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 218740 KiB

[startup+2.60673 s]
/proc/loadavg: 7.78 8.28 8.09 12/237 16535
/proc/meminfo: memFree=22675444/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15419452 memory=248132 CPUtime=8.72 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 23993 0 0 0 859 13 0 0 20 0 19 0 407611153 15789518848 62033 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3854863 62033 3504 1 0 3815965 0
[pid=16513/tid=16514] ppid=16511 vsize=15419452 memory=1552 CPUtime=1.38 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) S 16511 16511 11591 0 -1 1077944384 9879 0 0 0 133 5 0 0 20 0 19 0 407611153 15789518848 62033 33554432000 4194304 4196468 140736867159104 140495433327744 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15419452 memory=944 CPUtime=0.04 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 154 0 0 0 3 1 0 0 20 0 19 0 407611154 15789518848 62033 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15419452 memory=4004 CPUtime=0.03 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 19 0 407611154 15789518848 62033 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15419452 memory=780 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 407611154 15789518848 62033 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15419452 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 19 0 407611154 15789518848 62033 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 407611155 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15419452 memory=139873596116236 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494963799264 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15419452 memory=5868 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494962746112 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15419452 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15419452 memory=20708 CPUtime=1.84 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 4202560 4415 0 0 0 183 1 0 0 20 0 19 0 407611158 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494960628824 140495409787271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15419452 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 3593 0 0 0 177 0 0 0 20 0 19 0 407611158 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494959582744 140495413375859 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15419452 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) S 16511 16511 11591 0 -1 1077944384 3986 0 0 0 82 1 0 0 20 0 19 0 407611158 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611159 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16532] ppid=16511 vsize=15419452 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/16513/task/16532/stat : 16532 (java) R 16511 16511 11591 0 -1 4202560 56 0 0 0 72 0 0 0 20 0 19 0 407611296 15789518848 62033 33554432000 4194304 4196468 140736867159104 140494287334456 140495049040438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16533] ppid=16511 vsize=15419452 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/16513/task/16533/stat : 16533 (java) R 16511 16511 11591 0 -1 4202560 75 0 0 0 57 0 0 0 20 0 19 0 407611296 15789518848 62033 33554432000 4194304 4196468 140736867159104 140493974224872 140495049405282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16534] ppid=16511 vsize=15419452 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16513/task/16534/stat : 16534 (java) R 16511 16511 11591 0 -1 4202560 37 0 0 0 65 0 0 0 20 0 19 0 407611296 15789518848 62033 33554432000 4194304 4196468 140736867159104 140493973174104 140495049077515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16535] ppid=16511 vsize=15419452 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/16513/task/16535/stat : 16535 (java) R 16511 16511 11591 0 -1 4202560 35 0 0 0 76 0 0 0 20 0 19 0 407611296 15789518848 62033 33554432000 4194304 4196468 140736867159104 140493972122200 140495048761567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249584 KiB

[startup+2.70573 s]
/proc/loadavg: 7.78 8.28 8.09 12/237 16535
/proc/meminfo: memFree=22675444/32770624 swapFree=66952812/67108860
[pid=16511] ppid=16508 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16511/stat : 16511 (xcsp3-exec) S 16508 16511 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407611153 115843072 363 33554432000 4194304 5098028 140721445324832 140721445322936 140055000138364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18472960 140721445327739 140721445327981 140721445327981 140721445330890 0
/proc/16511/statm: 28282 363 304 221 0 87 0
[pid=16513] ppid=16511 vsize=15419452 memory=248208 CPUtime=9.12 cores=1,3,5,7
/proc/16513/stat : 16513 (java) S 16511 16511 11591 0 -1 1077944320 24007 0 0 0 899 13 0 0 20 0 19 0 407611153 15789518848 62052 33554432000 4194304 4196468 140736867159104 140736867141648 140495429086967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
/proc/16513/statm: 3854863 62052 3504 1 0 3815965 0
[pid=16513/tid=16514] ppid=16511 vsize=15419452 memory=247992 CPUtime=1.38 cores=1,3,5,7
/proc/16513/task/16514/stat : 16514 (java) S 16511 16511 11591 0 -1 1077944384 9879 0 0 0 133 5 0 0 20 0 19 0 407611153 15789518848 62052 33554432000 4194304 4196468 140736867159104 140495433327744 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16515] ppid=16511 vsize=15419452 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/16513/task/16515/stat : 16515 (java) S 16511 16511 11591 0 -1 1077944384 154 0 0 0 3 1 0 0 20 0 19 0 407611154 15789518848 62052 33554432000 4194304 4196468 140736867159104 140495365323792 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16516] ppid=16511 vsize=15419452 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16513/task/16516/stat : 16516 (java) S 16511 16511 11591 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 19 0 407611154 15789518848 62052 33554432000 4194304 4196468 140736867159104 140495364271248 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16517] ppid=16511 vsize=15419452 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16513/task/16517/stat : 16517 (java) S 16511 16511 11591 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 407611154 15789518848 62052 33554432000 4194304 4196468 140736867159104 140495363218192 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16518] ppid=16511 vsize=15419452 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16513/task/16518/stat : 16518 (java) S 16511 16511 11591 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 19 0 407611154 15789518848 62052 33554432000 4194304 4196468 140736867159104 140495362165648 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16519] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16519/stat : 16519 (java) S 16511 16511 11591 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 407611155 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494964852976 140495429098114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16520] ppid=16511 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16520/stat : 16520 (java) S 16511 16511 11591 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494963799264 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16521] ppid=16511 vsize=15419452 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16521/stat : 16521 (java) S 16511 16511 11591 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407611156 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494962746112 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16522] ppid=16511 vsize=15419452 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16522/stat : 16522 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494961694672 140495429105563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16523] ppid=16511 vsize=15419452 memory=139873742334049 CPUtime=1.94 cores=1,3,5,7
/proc/16513/task/16523/stat : 16523 (java) R 16511 16511 11591 0 -1 4202560 4426 0 0 0 193 1 0 0 20 0 19 0 407611158 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494960628824 140495413486702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16524] ppid=16511 vsize=15419452 memory=7523655038851900520 CPUtime=1.82 cores=1,3,5,7
/proc/16513/task/16524/stat : 16524 (java) R 16511 16511 11591 0 -1 4202560 3593 0 0 0 182 0 0 0 20 0 19 0 407611158 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494959582744 140495410607081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16525] ppid=16511 vsize=15419452 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/16513/task/16525/stat : 16525 (java) R 16511 16511 11591 0 -1 1077944384 3989 0 0 0 82 1 0 0 20 0 19 0 407611158 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494958537200 140495429098114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16526] ppid=16511 vsize=15419452 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16526/stat : 16526 (java) S 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611158 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494295264096 140495429097173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16527] ppid=16511 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/16513/task/16527/stat : 16527 (java) R 16511 16511 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611159 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494294211120 140495429098114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16532] ppid=16511 vsize=15419452 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/16513/task/16532/stat : 16532 (java) R 16511 16511 11591 0 -1 4202560 56 0 0 0 78 0 0 0 20 0 19 0 407611296 15789518848 62052 33554432000 4194304 4196468 140736867159104 140494287334472 140495049040185 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16533] ppid=16511 vsize=15419452 memory=139873596239328 CPUtime=0.63 cores=1,3,5,7
/proc/16513/task/16533/stat : 16533 (java) R 16511 16511 11591 0 -1 4202560 75 0 0 0 63 0 0 0 20 0 19 0 407611296 15789518848 62052 33554432000 4194304 4196468 140736867159104 140493974224632 140495049040121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16534] ppid=16511 vsize=15419452 memory=57 CPUtime=0.73 cores=1,3,5,7
/proc/16513/task/16534/stat : 16534 (java) R 16511 16511 11591 0 -1 4202560 37 0 0 0 73 0 0 0 20 0 19 0 407611296 15789518848 62052 33554432000 4194304 4196468 140736867159104 140493973172216 140495049040280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
[pid=16513/tid=16535] ppid=16511 vsize=15419452 memory=7668899447145977443 CPUtime=0.81 cores=1,3,5,7
/proc/16513/task/16535/stat : 16535 (java) R 16511 16511 11591 0 -1 4202560 35 0 0 0 81 0 0 0 20 0 19 0 407611296 15789518848 62052 33554432000 4194304 4196468 140736867159104 140493972122408 140495048888690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736867165167 140736867165338 140736867165338 140736867168207 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249660 KiB

Child status: 0
Real time (s): 2.75501
CPU time (s): 9.27053
CPU user time (s): 9.12758
CPU system time (s): 0.142954
CPU usage (%): 336.498
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 249660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.12758
system time used= 0.142954
maximum resident set size= 249688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2423
involuntary context switches= 299


# summary of solver processes directly reported to runsolver:
#   pid: 16511
#   total CPU time (s): 9.27053
#   total CPU user time (s): 9.12758
#   total CPU system time (s): 0.142954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041208 second user time and 0.070643 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-12 21:30:50
IDJOB=4392994
IDBENCH=125572
IDSOLVER=2840
FILE ID=node117/4392994-1568316692
RUNJOBID= node117-1568312851-11623
PBS_JOBID= 21701132
Free space on /tmp= 58892 MiB

SOLVER NAME= choco-solver 2019-06-14
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-4392994-1568316692/watcher-4392994-1568316692 -o /tmp/evaluation-result-4392994-1568316692/solver-4392994-1568316692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 418892772 HOME/instance-4392994-1568316692.xml

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

MD5SUM BENCH= 039cea46cde688c2971a1406f493a012
RANDOM SEED=418892772

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22879376 kB
MemAvailable:   30683740 kB
Buffers:          193884 kB
Cached:          7836444 kB
SwapCached:        52484 kB
Active:          2504872 kB
Inactive:        6709324 kB
Active(anon):    1140552 kB
Inactive(anon):    84624 kB
Active(file):    1364320 kB
Inactive(file):  6624700 kB
Unevictable:      107732 kB
Mlocked:          107732 kB
SwapTotal:      67108860 kB
SwapFree:       66952812 kB
Dirty:             26208 kB
Writeback:             0 kB
AnonPages:       1129876 kB
Mapped:            56572 kB
Shmem:             32816 kB
Slab:             272824 kB
SReclaimable:     243804 kB
SUnreclaim:        29020 kB
KernelStack:        4064 kB
PageTables:         7856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2393936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1028096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 58868 MiB
End job on node117 at 2019-09-12 21:30:53