Trace number 4306637

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 NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b seq (e747e1e)SAT (TO)13022 2520.06 2511.31

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko49_c18.xml
MD5SUM69d2b1c9cf4919b13dd8bc483772d8bf
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12137
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2450
Number of constraints1177
Number of domains2
Minimum domain size8
Maximum domain size49
Distribution of domain sizes[{"size":8,"count":1176},{"size":49,"count":49}]
Minimum variable degree0
Maximum variable degree49
Distribution of variable degrees[{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}]
Minimum constraint arity3
Maximum constraint arity49
Distribution of constraint arities[{"arity":3,"count":1176},{"arity":49,"count":1}]
Number of extensional constraints1176
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1176},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306637-1534078649.xml"  -tl '2520s' -p 1
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4306637-1534078649.xml, -tl, 2520s, -p, 1]
0.11/0.22	c simple solver
0.33/0.28	c parse instance...
2.93/1.64	c solve instance...
112.68/107.97	o 13649 
112.68/107.98	o 13635 
112.68/107.99	o 13564 
119.64/114.46	o 13548 
119.75/114.57	o 13532 
120.06/114.64	o 13525 
120.31/114.77	o 13522 
120.31/114.77	o 13494 
120.47/114.82	o 13492 
127.35/121.40	o 13458 
127.35/121.43	o 13440 
127.35/121.49	o 13414 
127.54/121.51	o 13410 
127.71/121.69	o 13392 
127.85/121.71	o 13374 
265.06/258.56	o 13369 
265.06/258.56	o 13329 
265.06/258.57	o 13282 
265.16/258.64	o 13264 
394.15/387.48	o 13248 
394.15/387.50	o 13238 
394.35/387.60	o 13226 
394.78/388.01	o 13224 
394.78/388.02	o 13186 
394.97/388.27	o 13152 
395.07/388.32	o 13148 
402.20/395.49	o 13132 
402.71/395.98	o 13126 
403.06/396.29	o 13080 
587.52/580.52	o 13022 
2520.04/2511.30	s SATISFIABLE
2520.04/2511.30	v <instantiation>
2520.04/2511.30	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] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] </list>
2520.04/2511.30	v 	<values>43 37 26 27 19 17 42 30 38 16 46 0 45 9 2 13 11 3 12 14 34 23 22 35 8 40 41 18 4 7 15 10 20 33 44 25 1 31 6 28 5 36 47 48 21 39 32 24 29 5 0 0 4 5 0 5 5 10 1 5 1 0 3 0 5 1 0 0 0 1 2 0 5 1 0 5 1 10 2 1 0 0 0 2 5 0 1 1 5 0 2 1 4 2 5 1 3 10 6 0 2 5 5 5 3 5 5 3 2 5 5 1 2 0 5 2 2 2 0 5 0 5 0 2 10 0 4 0 6 10 0 5 6 0 5 2 0 3 0 0 0 2 0 0 2 10 0 5 2 2 2 0 5 2 5 5 5 1 2 3 0 0 0 10 2 2 5 4 1 5 0 1 1 5 5 5 0 0 0 1 2 2 2 3 5 5 5 3 0 2 10 2 1 5 5 2 0 2 10 2 3 0 1 0 2 0 4 1 1 2 0 2 5 0 5 0 0 2 4 1 0 2 0 2 0 0 0 0 1 2 0 0 5 10 0 10 10 5 0 0 5 0 5 0 2 2 0 2 2 5 2 1 2 0 4 2 5 6 0 0 0 2 5 4 2 2 0 0 0 5 2 0 0 0 0 0 10 2 2 0 1 2 0 0 0 5 1 1 6 2 2 0 4 0 1 0 5 2 6 10 0 0 5 2 5 0 10 5 4 0 0 5 5 2 0 5 3 5 0 0 0 2 2 2 5 1 5 3 5 2 5 5 0 5 0 0 0 4 4 0 0 0 2 0 0 5 5 2 0 5 1 2 0 3 1 10 10 5 5 0 2 0 0 1 0 0 4 0 0 2 10 2 5 0 5 0 5 10 10 0 1 5 0 0 5 5 5 0 0 2 0 2 10 2 0 0 10 0 0 10 5 5 5 1 5 3 5 0 2 0 0 1 4 0 1 0 3 2 2 0 2 0 0 0 5 5 5 5 5 0 2 5 2 0 1 5 5 2 2 0 0 0 1 0 0 2 1 0 5 1 1 3 10 0 2 2 0 0 10 0 3 0 1 5 2 0 0 1 2 0 0 1 10 4 1 0 0 2 1 5 0 0 5 5 1 2 0 1 5 2 1 6 4 0 0 0 10 1 10 5 0 0 5 0 0 0 1 5 5 0 0 0 2 0 0 0 2 1 0 0 3 0 0 1 2 2 5 1 2 6 5 2 0 3 2 5 5 5 1 0 0 0 0 2 3 2 5 2 6 3 5 0 0 2 2 0 5 0 0 2 0 5 2 0 0 0 5 0 2 2 0 1 2 1 0 0 0 0 0 5 0 0 5 0 6 10 0 0 0 2 1 4 1 5 1 0 5 3 0 2 10 10 1 2 1 10 10 0 1 6 4 1 0 2 10 2 1 3 5 2 4 10 5 3 0 3 1 3 3 0 5 10 0 2 10 3 1 10 0 0 0 6 1 5 0 0 1 3 0 0 2 1 0 0 0 2 1 2 0 2 5 0 1 10 2 2 5 0 2 2 2 1 5 10 4 2 0 0 0 6 0 2 2 5 5 5 2 1 0 5 1 0 0 0 2 2 0 5 0 2 0 0 2 5 10 0 2 0 0 1 2 5 0 2 5 2 1 0 2 10 2 0 2 0 2 10 0 1 1 5 5 2 10 0 0 4 5 2 5 2 3 5 1 2 0 2 3 1 0 0 2 0 4 1 0 3 1 6 1 0 3 5 1 0 5 10 5 5 5 2 2 3 0 0 0 1 1 0 0 2 2 1 1 0 0 0 5 2 0 0 0 2 4 3 10 2 5 2 5 5 5 3 2 5 2 2 2 5 1 5 2 0 0 0 1 0 2 5 2 0 1 0 5 10 5 5 2 0 1 1 6 0 2 5 5 5 1 5 0 2 10 4 1 5 1 0 2 0 10 10 3 1 1 2 2 0 0 5 5 2 10 0 2 2 1 5 2 5 2 2 2 2 0 5 0 5 0 0 5 2 10 5 4 1 0 1 2 5 1 0 3 1 0 10 0 2 0 10 0 0 4 0 10 5 2 2 6 5 1 2 1 10 0 5 5 0 5 0 0 2 5 5 1 5 0 5 2 0 1 0 0 0 2 10 3 2 5 1 6 3 1 5 1 1 5 0 1 0 3 10 0 2 5 1 5 2 0 10 2 1 5 5 10 5 2 2 2 0 0 1 2 2 6 3 10 5 1 3 5 2 0 0 2 10 0 0 4 0 0 2 1 2 5 2 2 0 0 5 6 1 0 0 1 5 4 2 1 5 0 0 2 0 0 5 10 5 10 1 3 0 2 5 0 3 1 4 5 4 5 0 2 2 10 1 0 5 2 5 1 0 0 5 5 0 0 0 1 4 1 2 2 2 5 5 5 10 10 5 5 5 6 0 1 1 0 2 2 5 5 0 2 5 0 2 2 2 5 0 5 5 3 0 2 2 6 10 4 10 4 0 6 2 0 5 0 5 0 2 1 0 4 0 0 0 10 2 0 5 0 1 5 10 1 5 2 0 4 1 3 10 2 1 0 0 5 5 10 1 0 5 0 5 5 1 0 0 4 5 0 2 5 10 0 1 5 10 5 2 0 5 10 10 10 1 0 2 0 0 5 10 0 1 1 0 2 5 2 10 0 5 5 5 0 5 1 0 5 10 2 6 1 2 3 3 0 1 0 5 2 10 5 1 1 5 5 10 0 0 1 5 0 10 0 3 10 1 5 0 2 3 5 5 10 0 0 10 2 0 5 1 5 0 1 10 5 </values>
2520.04/2511.30	v </instantiation>
2520.04/2511.30	c Unexpected resolution interruption!

Verifier Data 

OK	13022

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 (10335 MiB free)
  memory of node 1: 16384 MiB (2461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306637-1534078649/watcher-4306637-1534078649 -o /tmp/evaluation-result-4306637-1534078649/solver-4306637-1534078649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580 HOME/xcsp3-exec -seed 2079822955 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306637-1534078649.xml 

running on 4 cores: 0,2,4,6

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=679, runsolver pid=676

[startup+0.100784 s]*
/proc/loadavg: 1.97 1.96 1.95 3/217 695
/proc/meminfo: memFree=13087004/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14082940 memory=28368 CPUtime=0.11 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 5490 0 0 0 10 1 0 0 20 0 15 0 225428100 14420930560 7092 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3520735 7092 2994 1 0 3483012 0
[pid=681/tid=682] ppid=679 vsize=14082940 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 3528 0 0 0 8 1 0 0 20 0 15 0 225428101 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683793217328 139683789005981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14082940 memory=4294977833 CPUtime=0 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14082940 memory=288370741709796992 CPUtime=0 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14082940 memory=140365558085248 CPUtime=0 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683262166176 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14082940 memory=140365558085248 CPUtime=0.01 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) R 679 679 31211 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683256904176 139683789005402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 7157 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29824 KiB

[startup+0.210713 s]*
/proc/loadavg: 1.97 1.96 1.95 4/217 695
/proc/meminfo: memFree=13075004/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14082940 memory=41204 CPUtime=0.33 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 8280 0 0 0 31 2 0 0 20 0 15 0 225428100 14420930560 10301 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3520735 10301 3221 1 0 3483012 0
[pid=681/tid=682] ppid=679 vsize=14082940 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 5433 0 0 0 18 1 0 0 20 0 15 0 225428101 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683793219040 139683773064542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14082940 memory=4294977833 CPUtime=0 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14082940 memory=288370741709796992 CPUtime=0 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225428101 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14082940 memory=140365558085248 CPUtime=0 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683262166176 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225428103 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 600 0 0 0 2 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14082940 memory=140365558085248 CPUtime=0.08 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 810 0 0 0 8 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428106 14420930560 10301 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42660 KiB

[startup+0.318337 s]*
/proc/loadavg: 1.97 1.96 1.95 4/217 695
/proc/meminfo: memFree=13068180/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14087196 memory=48596 CPUtime=0.52 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 9250 0 0 0 49 3 0 0 20 0 15 0 225428100 14425288704 12149 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3521799 12149 3267 1 0 3483012 0
[pid=681/tid=682] ppid=679 vsize=14087196 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 6207 0 0 0 28 2 0 0 20 0 15 0 225428101 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683793218864 139683773064542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14087196 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14087196 memory=10464 CPUtime=0 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14087196 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225428101 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14087196 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225428103 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14087196 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225428103 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683262166176 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14087196 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225428103 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14087196 memory=5780 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14087196 memory=756 CPUtime=0.04 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 612 0 0 0 4 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14087196 memory=14568 CPUtime=0.04 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 276 0 0 0 4 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14087196 memory=140365436857312 CPUtime=0 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428106 14425288704 12149 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50052 KiB

[startup+0.700764 s]
/proc/loadavg: 1.97 1.96 1.95 5/217 695
/proc/meminfo: memFree=13044204/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14089320 memory=92212 CPUtime=1.65 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 12651 0 0 0 160 5 0 0 20 0 15 0 225428100 14427463680 23053 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3522330 23053 3353 1 0 3483524 0
[pid=681/tid=682] ppid=679 vsize=14089320 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 6916 0 0 0 64 2 0 0 20 0 15 0 225428101 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683793221608 139683430741747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428101 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14089320 memory=3228 CPUtime=0 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225428101 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14089320 memory=3991024 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683262166176 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14089320 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14089320 memory=1504 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14089320 memory=844 CPUtime=0.29 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 1676 0 0 0 29 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14089320 memory=3952 CPUtime=0.28 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) R 679 679 31211 0 -1 4202560 912 0 0 0 28 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683257957232 139683768836271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14089320 memory=2724 CPUtime=0.38 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 1838 0 0 0 38 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14089320 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14089320 memory=10464 CPUtime=0 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 23053 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 93668 KiB

[startup+1.50089 s]
/proc/loadavg: 1.97 1.96 1.95 3/217 695
/proc/meminfo: memFree=12966612/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0

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

/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14089320 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14089320 memory=1456 CPUtime=2.67 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 16330 0 0 0 265 2 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14089320 memory=1456 CPUtime=2.87 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 13883 0 0 0 285 2 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14089320 memory=1456 CPUtime=0.8 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 11852 0 0 0 78 2 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14089320 memory=578224 CPUtime=1.49 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1301 0 0 0 72 77 0 0 20 0 15 0 225428106 14427463680 144556 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 2450.99 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 579680 KiB

[startup+2502.3 s]
/proc/loadavg: 1.98 1.89 1.92 3/217 870
/proc/meminfo: memFree=16258372/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14089320 memory=551548 CPUtime=2511.03 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 97771 0 0 0 250980 123 0 0 20 0 15 0 225428100 14427463680 137887 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3522330 137887 3426 1 0 3483524 0
[pid=681/tid=682] ppid=679 vsize=14089320 memory=551548 CPUtime=2501.87 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 34624 0 0 0 250172 15 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683793223488 139683434899382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14089320 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 3880 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14089320 memory=2110716045061892 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 2763 0 0 0 17 10 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14089320 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 2914 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14089320 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 3827 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14089320 memory=551548 CPUtime=0.09 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 4993 0 0 0 4 5 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14089320 memory=551548 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683262166240 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14089320 memory=61188 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14089320 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14089320 memory=1020 CPUtime=2.67 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 16332 0 0 0 265 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14089320 memory=551548 CPUtime=2.88 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 13886 0 0 0 286 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14089320 memory=61188 CPUtime=0.8 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 11854 0 0 0 78 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14089320 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14089320 memory=1240 CPUtime=1.53 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1332 0 0 0 74 79 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 2511.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 553004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.3 s]
/proc/loadavg: 1.99 1.90 1.92 3/217 870
/proc/meminfo: memFree=16258372/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14089320 memory=551548 CPUtime=2520.04 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 97811 0 0 0 251881 123 0 0 20 0 15 0 225428100 14427463680 137887 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3522330 137887 3426 1 0 3483524 0
[pid=681/tid=682] ppid=679 vsize=14089320 memory=1456 CPUtime=2510.87 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 34664 0 0 0 251072 15 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683793223488 139683431908464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 3880 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 2763 0 0 0 17 10 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14089320 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 2914 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 3827 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14089320 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 4993 0 0 0 4 5 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14089320 memory=-6368199152461293614 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683262166240 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14089320 memory=33760 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14089320 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14089320 memory=12468290062658 CPUtime=2.67 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 16332 0 0 0 265 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14089320 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 13886 0 0 0 286 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14089320 memory=1700 CPUtime=0.8 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 11854 0 0 0 78 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14089320 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14089320 memory=551548 CPUtime=1.53 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1332 0 0 0 74 79 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 553004 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2511.31 s]
# the end of solver process 679 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00245 s, system=0 s

[startup+2511.31 s]
# the end of solver process 681 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.82 s, system=1.23926 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2511.3 s]
/proc/loadavg: 1.99 1.90 1.92 3/217 870
/proc/meminfo: memFree=16258372/32770624 swapFree=67108844/67108860
[pid=679] ppid=676 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/679/stat : 679 (xcsp3-exec) S 676 679 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225428100 115843072 364 33554432000 4194304 5098028 140730460959936 140730460958040 140594369479292 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40644608 140730460963898 140730460964100 140730460964100 140730460966858 0
/proc/679/statm: 28282 364 306 221 0 87 0
[pid=681] ppid=679 vsize=14089320 memory=551548 CPUtime=2520.04 cores=0,2,4,6
/proc/681/stat : 681 (java) S 679 679 31211 0 -1 1077944320 97811 0 0 0 251881 123 0 0 20 0 15 0 225428100 14427463680 137887 33554432000 4194304 4196468 140725743156464 140725743139008 139683788984055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
/proc/681/statm: 3522330 137887 3426 1 0 3483524 0
[pid=681/tid=682] ppid=679 vsize=14089320 memory=1456 CPUtime=2510.87 cores=0,2,4,6
/proc/681/task/682/stat : 682 (java) R 679 679 31211 0 -1 4202560 34664 0 0 0 251072 15 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683793223488 139683431908464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=683] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/683/stat : 683 (java) S 679 679 31211 0 -1 1077944384 3880 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683384716304 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=684] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/684/stat : 684 (java) S 679 679 31211 0 -1 1077944384 2763 0 0 0 17 10 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683383663760 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=685] ppid=679 vsize=14089320 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/685/stat : 685 (java) S 679 679 31211 0 -1 1077944384 2914 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683382610704 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=686] ppid=679 vsize=14089320 memory=551548 CPUtime=0.27 cores=0,2,4,6
/proc/681/task/686/stat : 686 (java) S 679 679 31211 0 -1 1077944384 3827 0 0 0 18 9 0 0 20 0 15 0 225428101 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683381558160 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=687] ppid=679 vsize=14089320 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/681/task/687/stat : 687 (java) S 679 679 31211 0 -1 1077944384 4993 0 0 0 4 5 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683263219952 139683788995202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=688] ppid=679 vsize=14089320 memory=-6368199152461293614 CPUtime=0 cores=0,2,4,6
/proc/681/task/688/stat : 688 (java) S 679 679 31211 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683262166240 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=689] ppid=679 vsize=14089320 memory=33760 CPUtime=0 cores=0,2,4,6
/proc/681/task/689/stat : 689 (java) S 679 679 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 225428103 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683261113072 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=690] ppid=679 vsize=14089320 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/681/task/690/stat : 690 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683260061648 139683789002651 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=691] ppid=679 vsize=14089320 memory=12468290062658 CPUtime=2.67 cores=0,2,4,6
/proc/681/task/691/stat : 691 (java) S 679 679 31211 0 -1 1077944384 16332 0 0 0 265 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683259009776 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=692] ppid=679 vsize=14089320 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/681/task/692/stat : 692 (java) S 679 679 31211 0 -1 1077944384 13886 0 0 0 286 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683257957232 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=693] ppid=679 vsize=14089320 memory=1700 CPUtime=0.8 cores=0,2,4,6
/proc/681/task/693/stat : 693 (java) S 679 679 31211 0 -1 1077944384 11854 0 0 0 78 2 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683256904176 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=694] ppid=679 vsize=14089320 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/681/task/694/stat : 694 (java) S 679 679 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683255851872 139683788994261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
[pid=681/tid=695] ppid=679 vsize=14089320 memory=551548 CPUtime=1.53 cores=0,2,4,6
/proc/681/task/695/stat : 695 (java) S 679 679 31211 0 -1 1077944384 1332 0 0 0 74 79 0 0 20 0 15 0 225428106 14427463680 137887 33554432000 4194304 4196468 140725743156464 139683254798896 139683788995202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 14266368 140725743162502 140725743162673 140725743162673 140725743165391 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 553004 KiB

Child status: 143
Real time (s): 2511.31
CPU time (s): 2520.06
CPU user time (s): 2518.82
CPU system time (s): 1.23926
CPU usage (%): 100.348
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 826696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.82
system time used= 1.23927
maximum resident set size= 837812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58345
involuntary context switches= 2594


# summary of solver processes directly reported to runsolver:
#   pid: 679,681
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.82
#   total CPU system time (s): 1.23926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5381 second user time and 24.0875 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-12 14:57:29
IDJOB=4306637
IDBENCH=141251
IDSOLVER=2787
FILE ID=node136/4306637-1534078649
RUNJOBID= node136-1534063588-31242
PBS_JOBID= 21036988
Free space on /tmp= 35520 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko49_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306637-1534078649/watcher-4306637-1534078649 -o /tmp/evaluation-result-4306637-1534078649/solver-4306637-1534078649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580  HOME/xcsp3-exec -seed 2079822955 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306637-1534078649.xml

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

MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf
RANDOM SEED=2079822955

node136.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.50
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.50
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.50
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.50
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:        13103772 kB
MemAvailable:   27920916 kB
Buffers:          251192 kB
Cached:         14667440 kB
SwapCached:            8 kB
Active:         11202284 kB
Inactive:        7748740 kB
Active(anon):    3982412 kB
Inactive(anon):   102692 kB
Active(file):    7219872 kB
Inactive(file):  7646048 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:             21648 kB
Writeback:             0 kB
AnonPages:       4039328 kB
Mapped:            65608 kB
Shmem:             49788 kB
Slab:             407612 kB
SReclaimable:     379684 kB
SUnreclaim:        27928 kB
KernelStack:        3584 kB
PageTables:        13376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5971652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3926016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35496 MiB
End job on node136 at 2018-08-12 15:39:21