Trace number 4297523

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 par (e747e1e)SAT (TO)4569 20047.8 2520.63

General information on the benchmark

NameNurseRostering/
NurseRostering-06_c18.xml
MD5SUM9a3bf89ae74321e3cfb193774a0c0983
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4569
Best CPU time to get the best result obtained on this benchmark20047.8
Satisfiable
(Un)Satisfiability was proved
Number of variables1007
Number of constraints2471
Number of domains12
Minimum domain size1
Maximum domain size29
Distribution of domain sizes[{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}]
Minimum constraint arity2
Maximum constraint arity36
Distribution of constraint arities[{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}]
Number of extensional constraints598
Number of intensional constraints309
Distribution of constraint types[{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297523-1532699000.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297523-1532699000.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
9.58/2.52	c solve instance...
14.29/3.13	o 12355 
14.86/3.30	o 12254 
15.28/3.32	o 12253 
17.03/3.63	o 12252 
17.03/3.63	o 12251 
17.03/3.68	o 12153 
17.03/3.69	o 12152 
17.03/3.69	o 12151 
17.03/3.70	o 12150 
18.25/3.90	o 12052 
19.04/3.90	o 12051 
19.04/3.94	o 12050 
19.04/3.94	o 12049 
22.10/4.32	o 11951 
22.10/4.33	o 11950 
22.76/4.53	o 11949 
22.76/4.53	o 11948 
26.57/5.03	o 11947 
30.20/5.57	o 8058 
30.20/5.57	o 8057 
30.20/5.58	o 7956 
30.53/5.60	o 7855 
75.73/11.37	o 6306 
75.73/11.38	o 6305 
164.10/22.49	o 4669 
164.77/22.51	o 4569 
20047.12/2520.59	s SATISFIABLE
20047.12/2520.59	v <instantiation>
20047.12/2520.59	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list>
20047.12/2520.59	v 	<values>3 2 1 0 1 3 2 2 1 2 1 3 0 0 3 3 3 3 0 2 1 0 1 3 2 2 1 2 1 3 0 0 3 3 3 3 0 2 3 0 1 2 3 2 3 3 1 3 3 0 0 2 3 1 0 2 3 0 1 2 3 2 3 3 2 0 3 0 1 3 3 1 0 2 1 3 1 2 0 2 1 2 3 0 3 3 1 3 1 1 0 3 1 3 3 3 2 3 1 2 3 0 0 3 3 3 3 1 3 3 2 3 3 3 2 3 1 2 3 3 0 3 3 1 3 2 3 2 3 0 1 0 2 2 1 2 1 3 0 0 3 1 1 3 3 2 3 1 1 2 2 2 1 2 1 3 0 0 0 1 3 3 0 2 2 3 3 2 3 3 3 3 1 1 0 0 0 3 3 3 0 2 2 3 3 2 3 3 3 3 1 1 0 0 0 3 3 3 0 3 2 3 1 3 0 3 1 2 3 3 3 0 0 1 3 2 3 3 3 1 2 3 0 3 1 2 3 3 3 0 3 3 3 3 3 3 3 1 2 3 0 3 1 2 3 3 3 3 3 3 3 3 0 3 1 1 2 2 0 3 1 3 3 0 3 3 3 3 0 1 1 3 1 1 2 2 3 2 1 3 3 0 0 3 3 3 0 3 1 2 1 1 3 2 3 2 3 2 3 0 1 3 0 3 3 3 3 2 1 3 3 3 2 2 3 2 1 0 1 3 0 3 3 3 3 2 1 3 0 3 2 2 3 2 1 0 1 0 0 2 0 3 3 2 3 3 0 0 3 2 3 3 1 3 1 0 1 3 3 3 3 2 3 3 0 2 3 3 3 3 1 3 1 0 1 3 3 3 1 3 3 0 0 2 2 3 3 0 1 3 3 0 1 1 3 3 1 3 3 0 0 3 2 2 1 0 2 0 3 0 3 1 0 3 1 3 3 0 3 3 2 2 1 0 3 0 3 0 3 1 3 1 3 3 1 3 3 2 2 2 1 0 3 0 0 3 3 3 3 1 3 3 1 3 3 2 2 2 1 2 3 0 0 3 0 3 0 3 0 2 1 0 3 2 3 2 3 3 1 0 3 3 0 3 1 3 1 2 1 0 3 2 3 3 3 3 1 0 3 3 0 3 1 3 10 6 0 12 0 0 16 12 0 13 4 11 10 6 0 12 5 8 4 11 2 0 15 11 5 0 13 10 0 0 17 11 0 16 0 12 4 0 14 10 0 14 2 12 14 2 0 12 11 5 0 12 16 0 0 12 11 5 0 12 0 7 2 19 5 4 0 19 0 7 2 19 3 4 4 7 4 4 4 6 4 3 4 7 4 3 4 7 3 6 4 5 3 3 2 10 1 2 4 11 4 5 4 5 3 5 5 5 4 2 3 9 4 2 3 9 4 3 3 8 2 2 2 12 1 2 2 13 4 4 2 8 3 4 3 8 2 4 4 8 2 3 4 9 5 3 5 5 3 3 2 10 2 3 2 11 4 4 2 8 6 3 3 6 4 4 2 8 3 3 3 9 4 2 4 8 4 3 3 8 3 4 2 9 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 1 1 1 1 0 0 0 0 0 2 2 0 0 0 0 3 0 0 0 1 1 0 2 1 0 3 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 200 100 0 0 0 2 1 0 0 1 3 0 0 0 300 0 1 0 0 0 100 0 1 0 200 100 400 0 100 200 200 0 0 0 200 0 1 1 100 0 300 0 200 0 0 1 2 0 0 0 0 0 0 0 100 0 0 1 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 100 0 2 0 2 0 100 100 100 0 200 100 200 0 </values>
20047.12/2520.59	v </instantiation>
20047.12/2520.59	c Unexpected resolution interruption!

Verifier Data 

OK	4569

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297523-1532699000/watcher-4297523-1532699000 -o /tmp/evaluation-result-4297523-1532699000/solver-4297523-1532699000 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532693957-10280 --watchdog 2580 HOME/xcsp3-exec -seed 1797188922 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297523-1532699000.xml 

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

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

solver pid=10630, runsolver pid=10627

[startup+0.100157 s]*
/proc/loadavg: 8.59 8.71 8.76 2/200 10651
/proc/meminfo: memFree=28125160/32770624 swapFree=67108436/67108860
[pid=10630] ppid=10627 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10630/stat : 10630 (xcsp3-exec) S 10627 10630 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87463193 115843072 363 33554432000 4194304 5098028 140720646340688 140720646338792 139794466984572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140720646345781 140720646345984 140720646345984 140720646348746 0
/proc/10630/statm: 28282 363 305 221 0 87 0
[pid=10632] ppid=10630 vsize=26104152 memory=26864 CPUtime=0.12 cores=0-7
/proc/10632/stat : 10632 (java) S 10630 10630 10253 0 -1 1077944320 5659 0 0 0 10 2 0 0 20 0 20 0 87463194 26730651648 6716 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6526038 6716 3004 1 0 6488315 0
[pid=10632/tid=10633] ppid=10630 vsize=26104152 memory=8112278636917070746 CPUtime=0.09 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) R 10630 10630 10253 0 -1 4202560 3675 0 0 0 8 1 0 0 20 0 20 0 87463194 26730651648 6716 33554432000 4194304 4196468 140732187115568 139818449550256 139818445331862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10630 vsize=26104152 memory=732370158593092581 CPUtime=0 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139818367900816 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10630 vsize=26104152 memory=140020255639168 CPUtime=0 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139818366848016 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139818001521552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10637] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10637/stat : 10637 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139818000468752 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10638] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10638/stat : 10638 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817999415952 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10639] ppid=10630 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10632/task/10639/stat : 10639 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817998363152 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10640] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10640/stat : 10640 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817997310352 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10641] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10641/stat : 10641 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817996257552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10642] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10642/stat : 10642 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463196 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817572621168 139818445331074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10643] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10643/stat : 10643 (java) S 10630 10630 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87463197 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817571567136 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10644] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10644/stat : 10644 (java) S 10630 10630 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87463197 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817570514288 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10645] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10645/stat : 10645 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817569462608 139818445338523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10646] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10646/stat : 10646 (java) S 10630 10630 10253 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817568409968 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10647] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10647/stat : 10647 (java) S 10630 10630 10253 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817567357168 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10648] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10648/stat : 10648 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817566304368 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10649] ppid=10630 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10632/task/10649/stat : 10649 (java) S 10630 10630 10253 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817565251568 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10650] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10650/stat : 10650 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817564200032 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10651] ppid=10630 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10632/task/10651/stat : 10651 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463200 26730651648 6716 33554432000 4194304 4196468 140732187115568 139817563147312 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28316 KiB

[startup+0.210731 s]*
/proc/loadavg: 8.59 8.71 8.76 4/200 10651
/proc/meminfo: memFree=28111700/32770624 swapFree=67108436/67108860
[pid=10630] ppid=10627 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10630/stat : 10630 (xcsp3-exec) S 10627 10630 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87463193 115843072 363 33554432000 4194304 5098028 140720646340688 140720646338792 139794466984572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140720646345781 140720646345984 140720646345984 140720646348746 0
/proc/10630/statm: 28282 363 305 221 0 87 0
[pid=10632] ppid=10630 vsize=26104152 memory=41300 CPUtime=0.34 cores=0-7
/proc/10632/stat : 10632 (java) S 10630 10630 10253 0 -1 1077944320 8348 0 0 0 31 3 0 0 20 0 20 0 87463194 26730651648 10325 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6526038 10325 3208 1 0 6488315 0
[pid=10632/tid=10633] ppid=10630 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) R 10630 10630 10253 0 -1 4202560 5442 0 0 0 18 2 0 0 20 0 20 0 87463194 26730651648 10325 33554432000 4194304 4196468 140732187115568 139818449557728 139818431013430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10630 vsize=26104152 memory=732370158593092581 CPUtime=0 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139818367900816 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10630 vsize=26104152 memory=140020255639168 CPUtime=0 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139818366848016 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139818001521552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10637] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10637/stat : 10637 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139818000468752 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10638] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10638/stat : 10638 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817999415952 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10639] ppid=10630 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10632/task/10639/stat : 10639 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817998363152 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10640] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10640/stat : 10640 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817997310352 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10641] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10641/stat : 10641 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817996257552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10642] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10642/stat : 10642 (java) S 10630 10630 10253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87463196 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817572621168 139818445331074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10643] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10643/stat : 10643 (java) S 10630 10630 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87463197 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817571567136 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10644] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10644/stat : 10644 (java) S 10630 10630 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87463197 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817570514288 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10645] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10645/stat : 10645 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817569462608 139818445338523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10646] ppid=10630 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10632/task/10646/stat : 10646 (java) S 10630 10630 10253 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817568409968 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10647] ppid=10630 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10632/task/10647/stat : 10647 (java) S 10630 10630 10253 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817567357168 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10648] ppid=10630 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10632/task/10648/stat : 10648 (java) S 10630 10630 10253 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817566304368 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10649] ppid=10630 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/10632/task/10649/stat : 10649 (java) S 10630 10630 10253 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817565251568 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10650] ppid=10630 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10650/stat : 10650 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463199 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817564200032 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10651] ppid=10630 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10632/task/10651/stat : 10651 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463200 26730651648 10325 33554432000 4194304 4196468 140732187115568 139817563147312 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 42752 KiB

[startup+0.310756 s]*
/proc/loadavg: 8.59 8.71 8.76 5/200 10651
/proc/meminfo: memFree=28105248/32770624 swapFree=67108436/67108860
[pid=10630] ppid=10627 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10630/stat : 10630 (xcsp3-exec) S 10627 10630 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87463193 115843072 363 33554432000 4194304 5098028 140720646340688 140720646338792 139794466984572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140720646345781 140720646345984 140720646345984 140720646348746 0
/proc/10630/statm: 28282 363 305 221 0 87 0
[pid=10632] ppid=10630 vsize=26108408 memory=48028 CPUtime=0.51 cores=0-7
/proc/10632/stat : 10632 (java) S 10630 10630 10253 0 -1 1077944320 9254 0 0 0 48 3 0 0 20 0 20 0 87463194 26735009792 12007 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6527102 12007 3247 1 0 6488315 0
[pid=10632/tid=10633] ppid=10630 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) R 10630 10630 10253 0 -1 4202560 6132 0 0 0 27 2 0 0 20 0 20 0 87463194 26735009792 12027 33554432000 4194304 4196468 140732187115568 139818449555040 139818445341853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139818367900816 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139818366848016 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139818001521552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10637] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10637/stat : 10637 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139818000468752 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10638] ppid=10630 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/10632/task/10638/stat : 10638 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817999415952 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10639] ppid=10630 vsize=26108408 memory=140020094694319 CPUtime=0 cores=0-7
/proc/10632/task/10639/stat : 10639 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817998363152 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10640] ppid=10630 vsize=26108408 memory=140020094696624 CPUtime=0 cores=0-7
/proc/10632/task/10640/stat : 10640 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817997310352 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10641] ppid=10630 vsize=26108408 memory=140020094698928 CPUtime=0 cores=0-7
/proc/10632/task/10641/stat : 10641 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817996257552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10642] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10642/stat : 10642 (java) S 10630 10630 10253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87463196 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817572621168 139818445331074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10643] ppid=10630 vsize=26108408 memory=280040189404816 CPUtime=0 cores=0-7
/proc/10632/task/10643/stat : 10643 (java) S 10630 10630 10253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87463197 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817571567136 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10644] ppid=10630 vsize=26108408 memory=280040189411728 CPUtime=0 cores=0-7
/proc/10632/task/10644/stat : 10644 (java) S 10630 10630 10253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87463197 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817570514288 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10645] ppid=10630 vsize=26108408 memory=280040189353008 CPUtime=0 cores=0-7
/proc/10632/task/10645/stat : 10645 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817569462608 139818445338523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10646] ppid=10630 vsize=26108408 memory=280040189425552 CPUtime=0.02 cores=0-7
/proc/10632/task/10646/stat : 10646 (java) S 10630 10630 10253 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817568409968 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10647] ppid=10630 vsize=26108408 memory=280040189432464 CPUtime=0.03 cores=0-7
/proc/10632/task/10647/stat : 10647 (java) R 10630 10630 10253 0 -1 4202560 255 0 0 0 3 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817567338184 139818430445304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10648] ppid=10630 vsize=26108408 memory=280040189430160 CPUtime=0.02 cores=0-7
/proc/10632/task/10648/stat : 10648 (java) S 10630 10630 10253 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817566304368 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10649] ppid=10630 vsize=26108408 memory=280040189446320 CPUtime=0.12 cores=0-7
/proc/10632/task/10649/stat : 10649 (java) S 10630 10630 10253 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817565251568 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10650] ppid=10630 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10632/task/10650/stat : 10650 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463199 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817564200032 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10651] ppid=10630 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/10632/task/10651/stat : 10651 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463200 26735009792 12027 33554432000 4194304 4196468 140732187115568 139817563147312 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49480 KiB

[startup+0.700964 s]
/proc/loadavg: 8.59 8.71 8.76 4/200 10651
/proc/meminfo: memFree=28083476/32770624 swapFree=67108436/67108860
[pid=10630] ppid=10627 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10630/stat : 10630 (xcsp3-exec) S 10627 10630 10253 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87463193 115843072 363 33554432000 4194304 5098028 140720646340688 140720646338792 139794466984572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39555072 140720646345781 140720646345984 140720646345984 140720646348746 0
/proc/10630/statm: 28282 363 305 221 0 87 0
[pid=10632] ppid=10630 vsize=26110532 memory=98964 CPUtime=1.93 cores=0-7
/proc/10632/stat : 10632 (java) S 10630 10630 10253 0 -1 1077944320 15423 0 0 0 187 6 0 0 20 0 20 0 87463194 26737184768 24741 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6527633 24741 3353 1 0 6488827 0
[pid=10632/tid=10633] ppid=10630 vsize=26110532 memory=280040189741248 CPUtime=0.67 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) R 10630 10630 10253 0 -1 4202560 7145 0 0 0 64 3 0 0 20 0 20 0 87463194 26737184768 24741 33554432000 4194304 4196468 140732187115568 139818449553504 139818445341853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10630 vsize=26110532 memory=5752 CPUtime=0 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) S 10630 10630 10253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87463195 26737184768 24741 33554432000 4194304 4196468 140732187115568 139818367900816 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10630 vsize=26110532 memory=4588 CPUtime=0 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) S 10630 10630 10253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87463195 26737184768 24741 33554432000 4194304 4196468 140732187115568 139818366848016 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10630 vsize=26110532 memory=1612 CPUtime=0 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) S 10630 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87463195 26737184768 24741 33554432000 4194304 4196468 140732187115568 139818001521552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0

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

[pid=10632/tid=10865] ppid=10630 vsize=26711656 memory=3776760 CPUtime=2477.04 cores=0-7
/proc/10632/task/10865/stat : 10865 (java) R 10630 10630 10253 0 -1 4202560 24482 0 0 0 247676 28 0 0 20 0 28 0 87465445 27352735744 944446 33554432000 4194304 4196468 140732187115568 139816627157600 139818058998183 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10866] ppid=10630 vsize=26711656 memory=5752 CPUtime=2477.42 cores=0-7
/proc/10632/task/10866/stat : 10866 (java) R 10630 10630 10253 0 -1 4202560 110577 0 0 0 247654 88 0 0 20 0 28 0 87465445 27352735744 944446 33554432000 4194304 4196468 140732187115568 139816628208216 139818059158830 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10867] ppid=10630 vsize=26711656 memory=4588 CPUtime=2471.88 cores=0-7
/proc/10632/task/10867/stat : 10867 (java) R 10630 10630 10253 0 -1 4202560 72601 0 0 0 247103 85 0 0 20 0 28 0 87465445 27352735744 944446 33554432000 4194304 4196468 140732187115568 139816623997200 139818048292752 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current children cumulated CPU time: 20043.6 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 3779236 KiB

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

[startup+2520.04 s]
# the end of solver process 10630 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001146 s, system=0.001146 s

[startup+2520.63 s]
# the end of solver process 10632 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20039.9 s, system=7.93492 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+2520.4 s]
/proc/loadavg: 8.06 8.28 8.33 3/207 10926
/proc/meminfo: memFree=24359572/32770624 swapFree=67108436/67108860
[pid=10632] ppid=10627 vsize=26711656 memory=3786064 CPUtime=20046.3 cores=0-7
/proc/10632/stat : 10632 (java) S 10627 10630 10253 0 -1 1077944320 1084507 0 0 0 2003845 790 0 0 20 0 29 0 87463194 27352735744 946516 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6677914 946516 3463 1 0 6639108 0
[pid=10632/tid=10633] ppid=10627 vsize=26711656 memory=7234822126386571122 CPUtime=2.39 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) S 10627 10630 10253 0 -1 1077944384 11216 0 0 0 232 7 0 0 20 0 29 0 87463194 27352735744 946516 33554432000 4194304 4196468 140732187115568 139818449560704 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10627 vsize=26711656 memory=7954596368103270503 CPUtime=8.94 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) R 10627 10630 10253 0 -1 4202560 37347 0 0 0 872 22 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139818367900624 139818437948135 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10627 vsize=26711656 memory=7954596368103270503 CPUtime=9.06 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) R 10627 10630 10253 0 -1 4202560 41573 0 0 0 882 24 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139818366847824 139818437948135 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10627 vsize=26711656 memory=7234822126386571122 CPUtime=9.04 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) R 10627 10630 10253 0 -1 4202560 36092 0 0 0 881 23 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139818001521360 139818437948135 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10637] ppid=10627 vsize=26711656 memory=7954596368103270503 CPUtime=8.99 cores=0-7
/proc/10632/task/10637/stat : 10637 (java) R 10627 10630 10253 0 -1 4202560 40530 0 0 0 875 24 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139818000468560 139818437948135 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10638] ppid=10627 vsize=26711656 memory=4104 CPUtime=8.98 cores=0-7
/proc/10632/task/10638/stat : 10638 (java) R 10627 10630 10253 0 -1 4202560 39783 0 0 0 875 23 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817999415760 139818437948135 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10639] ppid=10627 vsize=26711656 memory=1398720917958146503 CPUtime=9.1 cores=0-7
/proc/10632/task/10639/stat : 10639 (java) R 10627 10630 10253 0 -1 4202560 39790 0 0 0 884 26 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817998363352 139818430309465 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10640] ppid=10627 vsize=26711656 memory=-7003737579269690708 CPUtime=9 cores=0-7
/proc/10632/task/10640/stat : 10640 (java) R 10627 10630 10253 0 -1 4202560 37700 0 0 0 880 20 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817997310472 139818437948135 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10641] ppid=10627 vsize=26711656 memory=11648 CPUtime=9.02 cores=0-7
/proc/10632/task/10641/stat : 10641 (java) R 10627 10630 10253 0 -1 4202560 34207 0 0 0 879 23 0 0 20 0 29 0 87463195 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817996257360 139818437948135 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10642] ppid=10627 vsize=26711656 memory=796 CPUtime=3.35 cores=0-7
/proc/10632/task/10642/stat : 10642 (java) S 10627 10630 10253 0 -1 1077944384 206082 0 0 0 232 103 0 0 20 0 29 0 87463196 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817572619712 139818445330133 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10643] ppid=10627 vsize=26711656 memory=1388 CPUtime=0 cores=0-7
/proc/10632/task/10643/stat : 10643 (java) S 10627 10630 10253 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 29 0 87463197 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817571567200 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10644] ppid=10627 vsize=26711656 memory=1136 CPUtime=0 cores=0-7
/proc/10632/task/10644/stat : 10644 (java) S 10627 10630 10253 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 29 0 87463197 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817570514304 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10645] ppid=10627 vsize=26711656 memory=15872 CPUtime=0 cores=0-7
/proc/10632/task/10645/stat : 10645 (java) S 10627 10630 10253 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817569462256 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10646] ppid=10627 vsize=26711656 memory=14768 CPUtime=5.1 cores=0-7
/proc/10632/task/10646/stat : 10646 (java) S 10627 10630 10253 0 -1 1077944384 30188 0 0 0 505 5 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817568409968 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10647] ppid=10627 vsize=26711656 memory=16148 CPUtime=5.38 cores=0-7
/proc/10632/task/10647/stat : 10647 (java) S 10627 10630 10253 0 -1 1077944384 27985 0 0 0 533 5 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817567357168 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10648] ppid=10627 vsize=26711656 memory=4132 CPUtime=6.83 cores=0-7
/proc/10632/task/10648/stat : 10648 (java) S 10627 10630 10253 0 -1 1077944384 43670 0 0 0 676 7 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817566304368 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10649] ppid=10627 vsize=26711656 memory=2200 CPUtime=1.41 cores=0-7
/proc/10632/task/10649/stat : 10649 (java) S 10627 10630 10253 0 -1 1077944384 20591 0 0 0 137 4 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817565251568 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10650] ppid=10627 vsize=26711656 memory=7532 CPUtime=0 cores=0-7
/proc/10632/task/10650/stat : 10650 (java) S 10627 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 87463199 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817564200032 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10651] ppid=10627 vsize=26711656 memory=840 CPUtime=0.97 cores=0-7
/proc/10632/task/10651/stat : 10651 (java) S 10627 10630 10253 0 -1 1077944384 7429 0 0 0 46 51 0 0 20 0 29 0 87463200 27352735744 946516 33554432000 4194304 4196468 140732187115568 139817563147312 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10860] ppid=10627 vsize=26711656 memory=1800 CPUtime=2477.16 cores=0-7
/proc/10632/task/10860/stat : 10860 (java) S 10627 10630 10253 0 -1 1077944384 35906 0 0 0 247690 26 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816625051408 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10861] ppid=10627 vsize=26711656 memory=920 CPUtime=2473.9 cores=0-7
/proc/10632/task/10861/stat : 10861 (java) S 10627 10630 10253 0 -1 1077944384 25769 0 0 0 247368 22 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816621891472 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10862] ppid=10627 vsize=26711656 memory=4160 CPUtime=2477.65 cores=0-7
/proc/10632/task/10862/stat : 10862 (java) S 10627 10630 10253 0 -1 1077944384 45789 0 0 0 247719 46 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816629264160 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10863] ppid=10627 vsize=26711656 memory=1408 CPUtime=2476.04 cores=0-7
/proc/10632/task/10863/stat : 10863 (java) S 10627 10630 10253 0 -1 1077944384 59278 0 0 0 247497 107 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816313110352 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10864] ppid=10627 vsize=26711656 memory=3924 CPUtime=2473.88 cores=0-7
/proc/10632/task/10864/stat : 10864 (java) S 10627 10630 10253 0 -1 1077944384 42931 0 0 0 247342 46 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816626101952 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10865] ppid=10627 vsize=26711656 memory=3786064 CPUtime=2477.08 cores=0-7
/proc/10632/task/10865/stat : 10865 (java) S 10627 10630 10253 0 -1 1077944384 24482 0 0 0 247680 28 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816627158432 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10866] ppid=10627 vsize=26711656 memory=3777784 CPUtime=2477.46 cores=0-7
/proc/10632/task/10866/stat : 10866 (java) S 10627 10630 10253 0 -1 1077944384 110577 0 0 0 247658 88 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816628208000 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10867] ppid=10627 vsize=26711656 memory=1452 CPUtime=2471.93 cores=0-7
/proc/10632/task/10867/stat : 10867 (java) S 10627 10630 10253 0 -1 1077944384 72601 0 0 0 247108 85 0 0 20 0 29 0 87465445 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816623997312 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10926] ppid=10627 vsize=26711656 memory=3777784 CPUtime=0 cores=0-7
/proc/10632/task/10926/stat : 10926 (java) S 10627 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 87715198 27352735744 946516 33554432000 4194304 4196468 140732187115568 139816622951328 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current cumulated CPU time of completed processes: 0.002292 s
Current children cumulated CPU time: 20046.3 s
Current children cumulated vsize: 26711656 KiB
Current children cumulated memory: 3786064 KiB

[startup+2520.6 s]
/proc/loadavg: 8.06 8.28 8.33 3/207 10926
/proc/meminfo: memFree=24359572/32770624 swapFree=67108436/67108860
[pid=10632] ppid=10627 vsize=26778220 memory=3786088 CPUtime=20047.8 cores=0-7
/proc/10632/stat : 10632 (java) S 10627 10630 10253 0 -1 1077944320 1084698 0 0 0 2003985 790 0 0 20 0 29 0 87463194 27420897280 946522 33554432000 4194304 4196468 140732187115568 140732187098112 139818445319927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
/proc/10632/statm: 6694555 946522 3463 1 0 6655749 0
[pid=10632/tid=10633] ppid=10627 vsize=26778220 memory=1398720917958146503 CPUtime=2.39 cores=0-7
/proc/10632/task/10633/stat : 10633 (java) S 10627 10630 10253 0 -1 1077944384 11216 0 0 0 232 7 0 0 20 0 29 0 87463194 27420897280 946522 33554432000 4194304 4196468 140732187115568 139818449560704 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10634] ppid=10627 vsize=26778220 memory=-7003737579269690708 CPUtime=9.07 cores=0-7
/proc/10632/task/10634/stat : 10634 (java) S 10627 10630 10253 0 -1 1077944384 37347 0 0 0 885 22 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139818367900816 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10635] ppid=10627 vsize=26778220 memory=-7003737579269690708 CPUtime=9.19 cores=0-7
/proc/10632/task/10635/stat : 10635 (java) S 10627 10630 10253 0 -1 1077944384 41573 0 0 0 895 24 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139818366848016 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10636] ppid=10627 vsize=26778220 memory=2200 CPUtime=9.17 cores=0-7
/proc/10632/task/10636/stat : 10636 (java) S 10627 10630 10253 0 -1 1077944384 36092 0 0 0 894 23 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139818001521552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10637] ppid=10627 vsize=26778220 memory=7532 CPUtime=9.11 cores=0-7
/proc/10632/task/10637/stat : 10637 (java) S 10627 10630 10253 0 -1 1077944384 40530 0 0 0 887 24 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139818000468752 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10638] ppid=10627 vsize=26778220 memory=840 CPUtime=9.11 cores=0-7
/proc/10632/task/10638/stat : 10638 (java) S 10627 10630 10253 0 -1 1077944384 39783 0 0 0 888 23 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817999415952 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10639] ppid=10627 vsize=26778220 memory=8029751432207230819 CPUtime=9.23 cores=0-7
/proc/10632/task/10639/stat : 10639 (java) S 10627 10630 10253 0 -1 1077944384 39794 0 0 0 897 26 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817998363152 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10640] ppid=10627 vsize=26778220 memory=7885925458890937448 CPUtime=9.13 cores=0-7
/proc/10632/task/10640/stat : 10640 (java) S 10627 10630 10253 0 -1 1077944384 37700 0 0 0 893 20 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817997310352 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10641] ppid=10627 vsize=26778220 memory=1452 CPUtime=9.14 cores=0-7
/proc/10632/task/10641/stat : 10641 (java) S 10627 10630 10253 0 -1 1077944384 34207 0 0 0 891 23 0 0 20 0 29 0 87463195 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817996257552 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10642] ppid=10627 vsize=26778220 memory=6791534058613427641 CPUtime=3.37 cores=0-7
/proc/10632/task/10642/stat : 10642 (java) S 10627 10630 10253 0 -1 1077944384 206203 0 0 0 234 103 0 0 20 0 29 0 87463196 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817572621168 139818445331074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10643] ppid=10627 vsize=26778220 memory=15823295995971307 CPUtime=0 cores=0-7
/proc/10632/task/10643/stat : 10643 (java) S 10627 10630 10253 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 29 0 87463197 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817571567200 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10644] ppid=10627 vsize=26778220 memory=11648 CPUtime=0 cores=0-7
/proc/10632/task/10644/stat : 10644 (java) S 10627 10630 10253 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 29 0 87463197 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817570514304 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10645] ppid=10627 vsize=26778220 memory=796 CPUtime=0 cores=0-7
/proc/10632/task/10645/stat : 10645 (java) S 10627 10630 10253 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817569462608 139818445338523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10646] ppid=10627 vsize=26778220 memory=1388 CPUtime=5.1 cores=0-7
/proc/10632/task/10646/stat : 10646 (java) S 10627 10630 10253 0 -1 1077944384 30188 0 0 0 505 5 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817568409968 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10647] ppid=10627 vsize=26778220 memory=1136 CPUtime=5.38 cores=0-7
/proc/10632/task/10647/stat : 10647 (java) S 10627 10630 10253 0 -1 1077944384 27985 0 0 0 533 5 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817567357168 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10648] ppid=10627 vsize=26778220 memory=15872 CPUtime=6.83 cores=0-7
/proc/10632/task/10648/stat : 10648 (java) S 10627 10630 10253 0 -1 1077944384 43670 0 0 0 676 7 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817566304368 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10649] ppid=10627 vsize=26778220 memory=14768 CPUtime=1.41 cores=0-7
/proc/10632/task/10649/stat : 10649 (java) S 10627 10630 10253 0 -1 1077944384 20591 0 0 0 137 4 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817565251568 139818445331074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10650] ppid=10627 vsize=26778220 memory=1452 CPUtime=0 cores=0-7
/proc/10632/task/10650/stat : 10650 (java) S 10627 10630 10253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 87463199 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817564200032 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10651] ppid=10627 vsize=26778220 memory=3778296 CPUtime=0.97 cores=0-7
/proc/10632/task/10651/stat : 10651 (java) R 10627 10630 10253 0 -1 1077944384 7429 0 0 0 46 51 0 0 20 0 29 0 87463200 27420897280 946522 33554432000 4194304 4196468 140732187115568 139817563147312 139818445331074 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10860] ppid=10627 vsize=26778220 memory=636 CPUtime=2477.2 cores=0-7
/proc/10632/task/10860/stat : 10860 (java) R 10627 10630 10253 0 -1 4202560 35906 0 0 0 247694 26 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816625051576 139818054799606 0 4 0 16800975 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10861] ppid=10627 vsize=26778220 memory=1852 CPUtime=2473.95 cores=0-7
/proc/10632/task/10861/stat : 10861 (java) R 10627 10630 10253 0 -1 4202560 25769 0 0 0 247373 22 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816621891472 139818056781704 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10862] ppid=10627 vsize=26778220 memory=872 CPUtime=2477.7 cores=0-7
/proc/10632/task/10862/stat : 10862 (java) R 10627 10630 10253 0 -1 4202560 45789 0 0 0 247724 46 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816629264328 139818057650462 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10863] ppid=10627 vsize=26778220 memory=6791534058613427641 CPUtime=2476.08 cores=0-7
/proc/10632/task/10863/stat : 10863 (java) R 10627 10630 10253 0 -1 4202560 59278 0 0 0 247501 107 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816313110352 139818059084824 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10864] ppid=10627 vsize=26778220 memory=288230596050944315 CPUtime=2473.93 cores=0-7
/proc/10632/task/10864/stat : 10864 (java) R 10627 10630 10253 0 -1 4202560 42931 0 0 0 247347 46 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816626102088 139818056742907 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10865] ppid=10627 vsize=26778220 memory=6791534058613427641 CPUtime=2477.13 cores=0-7
/proc/10632/task/10865/stat : 10865 (java) R 10627 10630 10253 0 -1 4202560 24482 0 0 0 247685 28 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816627158432 139818050719128 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10866] ppid=10627 vsize=26778220 memory=4104 CPUtime=2477.51 cores=0-7
/proc/10632/task/10866/stat : 10866 (java) R 10627 10630 10253 0 -1 4202560 110577 0 0 0 247663 88 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816628208136 139818057931584 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10867] ppid=10627 vsize=26778220 memory=1398720917958146503 CPUtime=2471.98 cores=0-7
/proc/10632/task/10867/stat : 10867 (java) R 10627 10630 10253 0 -1 4202560 72601 0 0 0 247113 85 0 0 20 0 29 0 87465445 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816623997312 139818057052658 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
[pid=10632/tid=10926] ppid=10627 vsize=26778220 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/10632/task/10926/stat : 10926 (java) S 10627 10630 10253 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 29 0 87715198 27420897280 946522 33554432000 4194304 4196468 140732187115568 139816622949600 139818445330133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12541952 140732187120769 140732187120941 140732187120941 140732187123663 0
Current cumulated CPU time of completed processes: 0.002292 s
Current children cumulated CPU time: 20047.8 s
Current children cumulated vsize: 26778220 KiB
Current children cumulated memory: 3786088 KiB

Child status: 143
Real time (s): 2520.63
CPU time (s): 20047.8
CPU user time (s): 20039.9
CPU system time (s): 7.93492
CPU usage (%): 795.349
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 3886400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20039.9
system time used= 7.93492
maximum resident set size= 3884952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1085266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195294
involuntary context switches= 217114


# summary of solver processes directly reported to runsolver:
#   pid: 10630,10632
#   total CPU time (s): 20047.8
#   total CPU user time (s): 20039.9
#   total CPU system time (s): 7.93492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5853 second user time and 27.9489 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 15:43:20
IDJOB=4297523
IDBENCH=141058
IDSOLVER=2760
FILE ID=node137/4297523-1532699000
RUNJOBID= node137-1532693957-10280
PBS_JOBID= 21022285
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297523-1532699000/watcher-4297523-1532699000 -o /tmp/evaluation-result-4297523-1532699000/solver-4297523-1532699000 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532693957-10280 --watchdog 2580  HOME/xcsp3-exec -seed 1797188922 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297523-1532699000.xml

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

MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983
RANDOM SEED=1797188922

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28141164 kB
MemAvailable:   31928268 kB
Buffers:          150452 kB
Cached:          3871524 kB
SwapCached:           32 kB
Active:          1792928 kB
Inactive:        2285440 kB
Active(anon):       4148 kB
Inactive(anon):    80068 kB
Active(file):    1788780 kB
Inactive(file):  2205372 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             21788 kB
Writeback:             0 kB
AnonPages:         53676 kB
Mapped:            39412 kB
Shmem:             25052 kB
Slab:             244760 kB
SReclaimable:     217576 kB
SUnreclaim:        27184 kB
KernelStack:        2928 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-27 16:25:21