Trace number 4297513

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)26874 19862.1 2520.11

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko64_c18.xml
MD5SUM0f1e7a7a7866c79e3b2a53c7bc7dd539
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26874
Best CPU time to get the best result obtained on this benchmark19862.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4160
Number of constraints2017
Number of domains2
Minimum domain size8
Maximum domain size64
Distribution of domain sizes[{"size":8,"count":2016},{"size":64,"count":64}]
Minimum variable degree0
Maximum variable degree64
Distribution of variable degrees[{"degree":0,"count":2080},{"degree":2,"count":2016},{"degree":64,"count":64}]
Minimum constraint arity3
Maximum constraint arity64
Distribution of constraint arities[{"arity":3,"count":2016},{"arity":64,"count":1}]
Number of extensional constraints2016
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2016},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297513-1532711414.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297513-1532711414.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
83.60/31.90	c solve instance...
121.89/37.25	o 29202 
184.53/45.37	o 29194 
276.09/57.10	o 29060 
276.19/57.13	o 29058 
276.19/57.19	o 29040 
276.75/57.22	o 29038 
276.75/57.26	o 29037 
286.57/58.52	o 29019 
286.57/58.58	o 29018 
286.80/58.63	o 29005 
286.80/58.64	o 29000 
286.80/58.67	o 28956 
287.06/58.70	o 28895 
287.06/58.73	o 28878 
287.52/58.80	o 28822 
287.52/58.83	o 28813 
290.38/61.39	o 28791 
291.94/61.61	o 28790 
573.81/98.71	o 28734 
3291.93/440.91	o 28716 
3515.00/469.58	o 28702 
3673.52/490.09	o 28688 
4236.67/560.78	o 28670 
4487.18/592.40	o 28513 
4677.73/616.39	o 27329 
4678.42/616.45	o 27259 
4678.42/616.49	o 27253 
4681.99/617.00	o 27221 
4682.72/617.08	o 27215 
9960.76/1278.73	o 27201 
9960.76/1278.76	o 27189 
9973.99/1280.42	o 27183 
15960.39/2030.99	o 26910 
15961.14/2031.02	o 26900 
15969.65/2032.10	o 26874 
19861.48/2520.07	s SATISFIABLE
19861.48/2520.07	v <instantiation>
19861.48/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] 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[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] 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[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] 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[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] 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[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] 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[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] 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[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] 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[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] 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[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] 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[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] 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[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] 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[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] 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[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] 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[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] 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[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] 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[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] 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[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] 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[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] 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[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] 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[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] 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[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] 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[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] 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[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] 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[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] 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[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] 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[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] 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[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] 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[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] 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[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] 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[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] 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[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] 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[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] 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[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] 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[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] 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[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] 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[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] 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[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] 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[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] 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[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] 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[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] 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[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] 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[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[59][60] d[59][61] d[59][62] d[59][63] d[60][61] d[60][62] d[60][63] d[61][62] d[61][63] d[62][63] </list>
19861.48/2520.08	v 	<values>62 12 25 34 16 0 30 22 5 41 14 1 53 49 17 56 24 9 20 37 58 36 6 57 18 3 21 19 23 43 8 47 52 28 7 50 46 48 55 51 40 33 35 44 32 15 59 60 42 61 63 13 29 54 39 45 27 4 10 11 38 31 2 26 0 5 0 1 5 5 0 5 5 0 10 0 2 10 2 3 10 4 1 1 1 5 5 5 2 5 4 1 1 0 0 0 0 4 5 0 10 1 5 0 6 0 1 0 2 10 0 2 2 5 1 3 5 0 5 1 1 0 1 0 0 0 2 0 5 2 5 10 5 5 10 2 5 1 1 0 0 5 3 1 3 10 1 0 10 0 5 5 3 0 0 5 1 1 2 2 2 5 10 2 6 10 5 2 5 2 2 0 0 0 0 10 2 1 2 0 5 10 0 2 4 0 2 1 1 5 10 2 5 10 5 5 3 5 1 5 2 0 1 2 0 0 2 3 5 10 5 0 0 0 1 6 0 1 3 2 5 0 0 2 0 0 2 5 2 2 5 0 2 0 0 2 5 3 0 0 6 5 6 0 2 5 5 5 1 0 10 6 5 5 2 0 2 5 0 5 10 2 2 1 10 0 5 0 5 2 2 2 2 0 0 2 5 5 0 0 0 0 1 0 2 3 5 0 0 10 0 1 5 0 0 2 0 2 0 6 1 0 2 5 0 0 0 0 1 1 5 1 0 2 0 3 6 5 5 2 1 10 2 10 10 5 5 0 1 6 2 0 0 0 5 3 1 4 4 2 0 4 5 10 2 5 4 1 1 3 6 5 2 2 5 5 5 5 0 2 0 0 4 1 0 5 4 2 0 1 1 0 2 2 2 2 5 4 0 0 0 1 1 2 10 4 0 5 0 0 4 10 10 4 3 1 2 4 0 5 0 5 3 5 5 2 10 1 2 0 0 5 3 1 5 1 4 0 3 1 6 2 0 5 2 0 0 2 0 5 2 10 5 0 5 10 4 0 0 2 1 0 5 0 0 5 5 1 1 2 0 1 0 0 0 10 0 2 5 2 0 0 2 0 2 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 5 2 0 5 2 2 5 0 2 2 4 5 0 2 5 6 0 0 0 3 6 1 3 5 0 1 5 4 5 1 1 2 10 2 0 1 0 5 10 0 0 0 1 2 0 3 5 10 2 2 0 2 10 0 5 2 6 2 1 5 4 4 5 1 1 4 1 5 0 5 0 2 2 2 2 2 5 0 2 5 5 1 0 2 10 1 0 5 1 1 1 1 0 2 1 2 5 10 5 0 0 2 4 3 5 10 5 5 0 2 5 2 0 1 0 5 1 0 10 2 4 0 1 5 0 0 1 10 2 10 2 1 10 2 6 0 2 0 0 0 0 5 6 0 0 0 2 5 1 0 6 0 10 0 0 3 5 2 5 1 0 5 0 2 5 0 0 10 2 0 5 2 1 5 10 0 2 0 0 2 0 5 0 0 1 0 0 6 0 0 2 0 0 2 0 10 4 1 0 0 6 0 5 2 2 1 0 2 5 0 4 2 0 0 1 0 0 1 5 5 5 2 10 5 0 0 3 10 2 1 1 5 2 1 3 0 10 5 2 0 3 10 1 6 5 3 2 0 1 0 1 10 0 0 2 0 0 3 0 3 5 0 1 3 0 0 0 0 2 0 0 1 2 10 5 5 1 0 6 1 6 4 0 0 4 5 5 0 0 5 0 5 0 5 5 3 5 2 1 10 0 1 0 0 0 3 3 3 1 0 5 0 0 0 5 6 10 0 1 10 5 0 1 0 3 0 1 1 6 10 3 6 2 1 0 1 2 5 2 1 2 2 2 5 5 0 3 2 1 2 0 0 5 0 1 0 10 1 0 5 0 0 1 2 0 0 2 2 0 1 0 2 2 1 2 0 2 0 0 0 2 1 2 2 2 5 2 5 0 0 3 0 0 6 0 5 5 3 2 1 2 0 5 10 0 5 2 0 5 4 0 5 2 0 4 1 2 5 5 0 1 5 2 0 0 0 5 10 2 0 1 4 0 5 2 2 1 10 1 3 0 2 0 2 5 0 0 2 0 1 3 2 10 0 1 3 0 5 0 0 0 0 0 4 0 2 3 5 1 0 10 2 0 5 2 10 10 5 2 0 4 5 0 2 5 2 0 1 0 0 5 0 0 3 0 10 0 2 5 0 0 5 0 2 0 2 2 0 0 5 2 0 1 0 0 1 1 10 2 2 0 10 5 0 0 2 5 0 5 0 10 5 2 0 5 5 1 0 5 0 0 2 2 5 0 0 6 1 2 2 0 5 0 0 0 1 5 0 3 0 0 0 1 10 1 3 0 0 5 10 0 10 1 0 3 5 0 5 2 1 10 2 5 5 2 0 5 5 5 3 5 1 5 4 10 0 5 0 0 2 1 2 0 0 0 2 5 10 5 0 0 4 0 0 2 5 5 0 2 0 0 2 6 5 5 0 10 0 5 0 4 3 2 2 0 0 3 4 0 2 10 2 2 1 0 5 2 10 10 0 5 3 10 0 2 0 0 1 10 5 1 0 2 1 0 2 0 0 1 5 0 2 1 2 2 4 3 2 1 10 0 5 5 0 2 0 0 0 5 0 1 1 0 2 4 5 0 5 10 1 2 3 3 2 0 3 1 2 0 1 2 0 0 10 0 2 5 2 6 2 0 0 0 0 0 5 1 0 3 5 2 0 5 0 1 1 2 0 4 2 5 1 1 1 0 2 2 2 0 0 2 0 2 5 5 2 10 5 10 5 0 1 5 1 2 0 10 2 0 0 0 5 0 10 5 5 2 0 2 5 2 5 10 10 5 1 5 10 0 5 2 5 5 1 4 4 6 0 5 2 10 0 0 0 5 2 5 3 0 0 5 0 0 1 0 0 5 10 1 1 0 2 2 10 5 5 10 2 2 5 0 0 5 1 0 1 0 4 1 0 6 5 5 0 1 3 3 0 5 2 4 0 0 4 1 2 10 5 10 5 1 0 4 1 3 1 10 5 10 5 5 5 2 0 1 5 0 5 0 5 10 1 2 0 4 0 10 0 2 6 5 2 1 5 0 10 0 10 10 0 5 5 5 0 0 0 1 0 0 5 1 5 5 0 5 5 10 0 4 5 2 2 0 0 2 0 1 0 1 1 2 5 5 0 10 0 0 0 5 2 5 0 0 0 1 0 10 5 4 6 2 0 5 0 5 1 5 4 10 1 5 0 2 0 2 0 0 5 0 5 4 5 2 0 2 5 3 5 2 1 0 2 5 1 4 10 1 5 2 5 2 0 2 5 3 0 5 2 5 1 5 1 0 2 5 2 5 5 0 5 5 2 0 2 0 2 5 10 0 5 0 2 10 5 3 4 2 5 1 0 1 5 2 2 5 0 0 1 10 0 0 0 1 0 10 0 0 1 0 1 1 0 5 0 2 0 5 0 5 2 1 5 2 2 0 0 1 2 1 2 5 5 0 0 0 0 1 0 2 1 3 0 1 10 1 2 1 0 4 5 10 10 1 5 3 4 0 4 5 2 4 2 5 0 4 1 1 0 0 2 0 10 2 10 0 1 0 3 2 1 0 2 0 2 5 2 10 0 0 5 1 5 0 2 2 5 5 4 0 0 4 1 2 4 10 0 1 1 5 2 2 10 2 5 0 10 0 5 0 2 0 2 10 5 0 1 2 2 0 3 0 5 0 0 2 0 5 2 5 2 0 2 0 1 2 6 0 2 5 2 0 10 1 5 5 1 0 1 5 0 5 0 5 6 2 5 0 0 5 5 10 4 2 5 1 5 0 5 0 5 0 1 2 2 0 3 0 0 0 1 10 1 2 0 5 5 1 0 1 5 0 0 5 5 1 0 5 6 2 2 5 1 1 10 0 2 4 0 1 1 2 0 0 1 0 1 2 5 0 5 2 1 2 2 0 0 10 6 4 5 0 2 0 2 2 5 0 0 5 0 0 2 0 5 0 0 5 0 1 5 5 0 2 0 10 0 1 5 10 0 0 1 5 2 5 4 5 2 1 2 5 10 5 2 1 5 0 5 2 0 1 0 5 2 0 0 1 10 10 5 1 5 5 0 5 6 5 0 5 0 0 1 0 5 0 0 2 0 5 0 2 10 5 0 10 0 3 0 0 5 5 1 2 10 10 0 2 3 10 5 4 1 5 4 0 3 6 5 1 5 3 5 0 10 2 6 0 10 1 0 2 0 0 0 2 2 1 10 0 0 5 2 0 0 10 5 1 1 0 3 5 2 5 0 0 5 0 2 2 6 5 2 0 5 10 10 0 10 0 5 5 0 5 2 1 2 0 0 0 1 0 10 5 5 4 5 0 0 4 5 0 1 0 0 1 5 4 0 5 1 2 0 2 2 1 10 5 1 0 10 6 10 5 2 5 0 10 0 2 0 10 10 5 2 2 2 5 1 10 5 1 2 4 2 5 0 0 10 10 0 2 0 5 1 0 5 2 0 0 5 4 5 0 2 2 1 5 1 0 0 0 0 10 0 0 6 5 5 4 3 0 5 2 5 5 2 0 0 10 0 5 2 5 10 5 10 0 10 3 6 5 2 5 2 1 0 10 5 5 5 10 5 5 6 6 0 0 5 10 10 0 3 5 4 10 0 5 5 0 0 10 0 5 4 5 0 5 </values>
19861.48/2520.08	v </instantiation>
19861.48/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	26874

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297513-1532711414/watcher-4297513-1532711414 -o /tmp/evaluation-result-4297513-1532711414/solver-4297513-1532711414 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532708890-23920 --watchdog 2580 HOME/xcsp3-exec -seed 1675446706 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297513-1532711414.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=24341, runsolver pid=24338

[startup+0.101642 s]*
/proc/loadavg: 8.75 8.50 8.44 4/205 24362
/proc/meminfo: memFree=28179292/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26104152 memory=26948 CPUtime=0.12 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 5657 0 0 0 10 2 0 0 20 0 20 0 88704567 26730651648 6737 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6526038 6737 3003 1 0 6488315 0
[pid=24343/tid=24344] ppid=24341 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) R 24341 24341 23893 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 20 0 88704567 26730651648 6737 33554432000 4194304 4196468 140722111258864 139807342863168 139807338642838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26104152 memory=140440960919168 CPUtime=0 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24348] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24348/stat : 24348 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806893533840 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24349] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24349/stat : 24349 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806892481296 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24350] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24350/stat : 24350 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806891428752 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24351] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24351/stat : 24351 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806890376208 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24352] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24352/stat : 24352 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806889323664 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24353] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24353/stat : 24353 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704569 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806465996784 139807338642050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24354] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24354/stat : 24354 (java) S 24341 24341 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88704570 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806464943008 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24355] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24355/stat : 24355 (java) S 24341 24341 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88704570 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806463890416 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24356] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24356/stat : 24356 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806462838992 139807338649499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24357] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24357/stat : 24357 (java) S 24341 24341 23893 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806461786608 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24358] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24358/stat : 24358 (java) S 24341 24341 23893 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806460734064 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24359] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24359/stat : 24359 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806459681520 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24360] ppid=24341 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24343/task/24360/stat : 24360 (java) S 24341 24341 23893 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 88704572 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806458628976 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24361] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24361/stat : 24361 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704573 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806457575648 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24362] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24362/stat : 24362 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704573 26730651648 6737 33554432000 4194304 4196468 140722111258864 139806456523184 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28400 KiB

[startup+0.210455 s]*
/proc/loadavg: 8.75 8.50 8.44 2/205 24362
/proc/meminfo: memFree=28169848/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26104152 memory=39392 CPUtime=0.33 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 8331 0 0 0 31 2 0 0 20 0 20 0 88704567 26730651648 9848 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6526038 9848 3213 1 0 6488315 0
[pid=24343/tid=24344] ppid=24341 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) R 24341 24341 23893 0 -1 4202560 5527 0 0 0 18 1 0 0 20 0 20 0 88704567 26730651648 9848 33554432000 4194304 4196468 140722111258864 139807342865024 139807338642838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26104152 memory=340 CPUtime=0 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26104152 memory=140440961433791 CPUtime=0 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24348] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24348/stat : 24348 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806893533840 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24349] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24349/stat : 24349 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806892481296 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24350] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24350/stat : 24350 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806891428752 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24351] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24351/stat : 24351 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806890376208 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24352] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24352/stat : 24352 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806889323664 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24353] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24353/stat : 24353 (java) S 24341 24341 23893 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88704569 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806465996784 139807338642050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24354] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24354/stat : 24354 (java) S 24341 24341 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88704570 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806464943008 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24355] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24355/stat : 24355 (java) S 24341 24341 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88704570 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806463890416 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24356] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24356/stat : 24356 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806462838992 139807338649499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24357] ppid=24341 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24343/task/24357/stat : 24357 (java) S 24341 24341 23893 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 88704572 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806461786608 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24358] ppid=24341 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/24343/task/24358/stat : 24358 (java) S 24341 24341 23893 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 88704572 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806460734064 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24359] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24359/stat : 24359 (java) S 24341 24341 23893 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 88704572 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806459681520 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24360] ppid=24341 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/24343/task/24360/stat : 24360 (java) R 24341 24341 23893 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 20 0 88704572 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806458628976 139807318973016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24361] ppid=24341 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24361/stat : 24361 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704573 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806457575648 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24362] ppid=24341 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24362/stat : 24362 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704573 26730651648 9848 33554432000 4194304 4196468 140722111258864 139806456523184 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40844 KiB

[startup+0.309744 s]*
/proc/loadavg: 8.75 8.50 8.44 5/205 24362
/proc/meminfo: memFree=28163272/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26108408 memory=46280 CPUtime=0.52 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 9258 0 0 0 49 3 0 0 20 0 20 0 88704567 26735009792 11570 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6527102 11570 3246 1 0 6488315 0
[pid=24343/tid=24344] ppid=24341 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) R 24341 24341 23893 0 -1 4202560 6163 0 0 0 27 2 0 0 20 0 20 0 88704567 26735009792 11570 33554432000 4194304 4196468 140722111258864 139807342863536 139807338652829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24348] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24348/stat : 24348 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806893533840 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24349] ppid=24341 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/24343/task/24349/stat : 24349 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806892481296 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24350] ppid=24341 vsize=26108408 memory=140440800162735 CPUtime=0 cores=0-7
/proc/24343/task/24350/stat : 24350 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806891428752 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24351] ppid=24341 vsize=26108408 memory=140440800165040 CPUtime=0 cores=0-7
/proc/24343/task/24351/stat : 24351 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806890376208 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24352] ppid=24341 vsize=26108408 memory=140440800167344 CPUtime=0 cores=0-7
/proc/24343/task/24352/stat : 24352 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806889323664 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24353] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24353/stat : 24353 (java) S 24341 24341 23893 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88704569 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806465996784 139807338642050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24354] ppid=24341 vsize=26108408 memory=280881600341648 CPUtime=0 cores=0-7
/proc/24343/task/24354/stat : 24354 (java) S 24341 24341 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88704570 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806464943008 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24355] ppid=24341 vsize=26108408 memory=280881600348560 CPUtime=0 cores=0-7
/proc/24343/task/24355/stat : 24355 (java) S 24341 24341 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88704570 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806463890416 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24356] ppid=24341 vsize=26108408 memory=280881600289840 CPUtime=0 cores=0-7
/proc/24343/task/24356/stat : 24356 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704572 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806462838992 139807338649499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24357] ppid=24341 vsize=26108408 memory=280881600362384 CPUtime=0.03 cores=0-7
/proc/24343/task/24357/stat : 24357 (java) R 24341 24341 23893 0 -1 4202560 496 0 0 0 3 0 0 0 20 0 20 0 88704572 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806461776992 139807320159194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24358] ppid=24341 vsize=26108408 memory=280881600369296 CPUtime=0.03 cores=0-7
/proc/24343/task/24358/stat : 24358 (java) S 24341 24341 23893 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 88704572 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806460734064 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24359] ppid=24341 vsize=26108408 memory=280881600366992 CPUtime=0.01 cores=0-7
/proc/24343/task/24359/stat : 24359 (java) S 24341 24341 23893 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 88704572 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806459681520 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24360] ppid=24341 vsize=26108408 memory=280881600383152 CPUtime=0.12 cores=0-7
/proc/24343/task/24360/stat : 24360 (java) S 24341 24341 23893 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 20 0 88704572 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806458628976 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24361] ppid=24341 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24361/stat : 24361 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88704573 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806457575648 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24362] ppid=24341 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/24343/task/24362/stat : 24362 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704573 26735009792 11570 33554432000 4194304 4196468 140722111258864 139806456523184 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47732 KiB

[startup+0.700917 s]
/proc/loadavg: 8.75 8.50 8.44 5/205 24362
/proc/meminfo: memFree=28139412/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26110532 memory=100876 CPUtime=1.92 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 14317 0 0 0 187 5 0 0 20 0 20 0 88704567 26737184768 25219 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6527633 25219 3357 1 0 6488827 0
[pid=24343/tid=24344] ppid=24341 vsize=26110532 memory=280881600741040 CPUtime=0.66 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) R 24341 24341 23893 0 -1 4202560 7028 0 0 0 64 2 0 0 20 0 20 0 88704567 26737184768 25219 33554432000 4194304 4196468 140722111258864 139807342864960 139806973760159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26110532 memory=140440800371568 CPUtime=0 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26737184768 25219 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88704568 26737184768 25219 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26110532 memory=1704 CPUtime=0 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88704568 26737184768 25219 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0

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

[pid=24343/tid=24692] ppid=24341 vsize=26645092 memory=1452 CPUtime=409.89 cores=0-7
/proc/24343/task/24692/stat : 24692 (java) R 24341 24341 23893 0 -1 4202560 8391 0 0 0 40988 1 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806445633384 139806978557489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 19241.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5839748 KiB

[startup+2502.31 s]
/proc/loadavg: 8.17 8.30 8.40 9/213 24702
/proc/meminfo: memFree=22359608/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26645092 memory=5838296 CPUtime=19720.4 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 1113418 0 0 0 1969343 2695 0 0 20 0 28 0 88704567 27284574208 1459574 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6661273 1459574 3469 1 0 6622467 0
[pid=24343/tid=24344] ppid=24341 vsize=26645092 memory=5838296 CPUtime=24.61 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) S 24341 24341 23893 0 -1 1077944384 24552 0 0 0 2440 21 0 0 20 0 28 0 88704567 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139807342871680 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.92 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 25088 0 0 0 1078 214 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.9 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 27915 0 0 0 1063 227 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26645092 memory=1452 CPUtime=12.91 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 29330 0 0 0 1075 216 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24348] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.84 cores=0-7
/proc/24343/task/24348/stat : 24348 (java) S 24341 24341 23893 0 -1 1077944384 28328 0 0 0 1081 203 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806893533840 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24349] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.68 cores=0-7
/proc/24343/task/24349/stat : 24349 (java) S 24341 24341 23893 0 -1 1077944384 31586 0 0 0 1067 201 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806892481296 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24350] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.84 cores=0-7
/proc/24343/task/24350/stat : 24350 (java) S 24341 24341 23893 0 -1 1077944384 32706 0 0 0 1075 209 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806891428752 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24351] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.84 cores=0-7
/proc/24343/task/24351/stat : 24351 (java) S 24341 24341 23893 0 -1 1077944384 30033 0 0 0 1059 225 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806890376208 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24352] ppid=24341 vsize=26645092 memory=5838296 CPUtime=12.91 cores=0-7
/proc/24343/task/24352/stat : 24352 (java) S 24341 24341 23893 0 -1 1077944384 25771 0 0 0 1085 206 0 0 20 0 28 0 88704568 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806889323664 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24353] ppid=24341 vsize=26645092 memory=1452 CPUtime=1.07 cores=0-7
/proc/24343/task/24353/stat : 24353 (java) S 24341 24341 23893 0 -1 1077944384 27949 0 0 0 94 13 0 0 20 0 28 0 88704569 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806465996784 139807338642050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24354] ppid=24341 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/24343/task/24354/stat : 24354 (java) S 24341 24341 23893 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 88704570 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806464943072 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24355] ppid=24341 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/24343/task/24355/stat : 24355 (java) S 24341 24341 23893 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 28 0 88704570 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806463890432 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24356] ppid=24341 vsize=26645092 memory=5838296 CPUtime=0 cores=0-7
/proc/24343/task/24356/stat : 24356 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88704572 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806462838992 139807338649499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24357] ppid=24341 vsize=26645092 memory=1452 CPUtime=4.72 cores=0-7
/proc/24343/task/24357/stat : 24357 (java) S 24341 24341 23893 0 -1 1077944384 46314 0 0 0 464 8 0 0 20 0 28 0 88704572 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806461786608 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24358] ppid=24341 vsize=26645092 memory=5838296 CPUtime=3.74 cores=0-7
/proc/24343/task/24358/stat : 24358 (java) S 24341 24341 23893 0 -1 1077944384 42426 0 0 0 366 8 0 0 20 0 28 0 88704572 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806460734064 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24359] ppid=24341 vsize=26645092 memory=1452 CPUtime=3.43 cores=0-7
/proc/24343/task/24359/stat : 24359 (java) S 24341 24341 23893 0 -1 1077944384 36315 0 0 0 339 4 0 0 20 0 28 0 88704572 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806459681520 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24360] ppid=24341 vsize=26645092 memory=5838296 CPUtime=1.09 cores=0-7
/proc/24343/task/24360/stat : 24360 (java) S 24341 24341 23893 0 -1 1077944384 35505 0 0 0 102 7 0 0 20 0 28 0 88704572 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806458628976 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24361] ppid=24341 vsize=26645092 memory=18280 CPUtime=0 cores=0-7
/proc/24343/task/24361/stat : 24361 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88704573 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806457575648 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24362] ppid=24341 vsize=26645092 memory=1236 CPUtime=1.11 cores=0-7
/proc/24343/task/24362/stat : 24362 (java) S 24341 24341 23893 0 -1 1077944384 6334 0 0 0 44 67 0 0 20 0 28 0 88704573 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806456523184 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24685] ppid=24341 vsize=26645092 memory=10584 CPUtime=469.06 cores=0-7
/proc/24343/task/24685/stat : 24685 (java) R 24341 24341 23893 0 -1 4202560 7899 0 0 0 46901 5 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806447737576 139806982854728 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24686] ppid=24341 vsize=26645092 memory=15872 CPUtime=469.93 cores=0-7
/proc/24343/task/24686/stat : 24686 (java) R 24341 24341 23893 0 -1 4202560 9921 0 0 0 46971 22 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806441422872 139806982842544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24687] ppid=24341 vsize=26645092 memory=1452 CPUtime=464.63 cores=0-7
/proc/24343/task/24687/stat : 24687 (java) R 24341 24341 23893 0 -1 4202560 11030 0 0 0 46445 18 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806440370160 139806981299501 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24688] ppid=24341 vsize=26645092 memory=5838296 CPUtime=465.67 cores=0-7
/proc/24343/task/24688/stat : 24688 (java) R 24341 24341 23893 0 -1 4202560 9035 0 0 0 46549 18 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806442475800 139806981299965 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24689] ppid=24341 vsize=26645092 memory=1452 CPUtime=469.89 cores=0-7
/proc/24343/task/24689/stat : 24689 (java) R 24341 24341 23893 0 -1 4202560 10532 0 0 0 46965 24 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806446686696 139806981299418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24690] ppid=24341 vsize=26645092 memory=1452 CPUtime=469.69 cores=0-7
/proc/24343/task/24690/stat : 24690 (java) R 24341 24341 23893 0 -1 4202560 12327 0 0 0 46924 45 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806444581480 139806981220410 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24691] ppid=24341 vsize=26645092 memory=1452 CPUtime=469.88 cores=0-7
/proc/24343/task/24691/stat : 24691 (java) R 24341 24341 23893 0 -1 4202560 13474 0 0 0 46964 24 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806443527528 139806981299965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24692] ppid=24341 vsize=26645092 memory=4096 CPUtime=469.87 cores=0-7
/proc/24343/task/24692/stat : 24692 (java) R 24341 24341 23893 0 -1 4202560 9006 0 0 0 46986 1 0 0 20 0 28 0 88907777 27284574208 1459574 33554432000 4194304 4196468 140722111258864 139806445633384 139806981536436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 19720.4 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5839748 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.48 8.36 8.41 9/213 24702
/proc/meminfo: memFree=22426012/32770624 swapFree=67108744/67108860
[pid=24341] ppid=24338 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24341/stat : 24341 (xcsp3-exec) S 24338 24341 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88704566 115843072 363 33554432000 4194304 5098028 140734752579264 140734752577368 139836916601468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140734752584757 140734752584960 140734752584960 140734752587722 0
/proc/24341/statm: 28282 363 305 221 0 87 0
[pid=24343] ppid=24341 vsize=26645092 memory=5771068 CPUtime=19861.5 cores=0-7
/proc/24343/stat : 24343 (java) S 24341 24341 23893 0 -1 1077944320 1120012 0 0 0 1983451 2697 0 0 20 0 28 0 88704567 27284574208 1442767 33554432000 4194304 4196468 140722111258864 140722111241408 139807338630903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
/proc/24343/statm: 6661273 1442767 3469 1 0 6622467 0
[pid=24343/tid=24344] ppid=24341 vsize=26645092 memory=4100 CPUtime=24.61 cores=0-7
/proc/24343/task/24344/stat : 24344 (java) S 24341 24341 23893 0 -1 1077944384 24552 0 0 0 2440 21 0 0 20 0 28 0 88704567 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139807342871680 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24345] ppid=24341 vsize=26645092 memory=1398720917958146503 CPUtime=12.94 cores=0-7
/proc/24343/task/24345/stat : 24345 (java) S 24341 24341 23893 0 -1 1077944384 26091 0 0 0 1080 214 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139807295183120 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24346] ppid=24341 vsize=26645092 memory=6944656592455360604 CPUtime=12.92 cores=0-7
/proc/24343/task/24346/stat : 24346 (java) S 24341 24341 23893 0 -1 1077944384 28491 0 0 0 1065 227 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139807294130576 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24347] ppid=24341 vsize=26645092 memory=7307184289356141163 CPUtime=12.93 cores=0-7
/proc/24343/task/24347/stat : 24347 (java) S 24341 24341 23893 0 -1 1077944384 29671 0 0 0 1077 216 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806894586384 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24348] ppid=24341 vsize=26645092 memory=7380385388137112419 CPUtime=12.86 cores=0-7
/proc/24343/task/24348/stat : 24348 (java) S 24341 24341 23893 0 -1 1077944384 28846 0 0 0 1083 203 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806893533840 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24349] ppid=24341 vsize=26645092 memory=4872558044660077418 CPUtime=12.7 cores=0-7
/proc/24343/task/24349/stat : 24349 (java) S 24341 24341 23893 0 -1 1077944384 32437 0 0 0 1069 201 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806892481296 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24350] ppid=24341 vsize=26645092 memory=1844 CPUtime=12.86 cores=0-7
/proc/24343/task/24350/stat : 24350 (java) S 24341 24341 23893 0 -1 1077944384 32970 0 0 0 1077 209 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806891428752 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24351] ppid=24341 vsize=26645092 memory=1008 CPUtime=12.85 cores=0-7
/proc/24343/task/24351/stat : 24351 (java) S 24341 24341 23893 0 -1 1077944384 30558 0 0 0 1060 225 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806890376208 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24352] ppid=24341 vsize=26645092 memory=5404 CPUtime=12.93 cores=0-7
/proc/24343/task/24352/stat : 24352 (java) S 24341 24341 23893 0 -1 1077944384 26151 0 0 0 1087 206 0 0 20 0 28 0 88704568 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806889323664 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24353] ppid=24341 vsize=26645092 memory=1800 CPUtime=1.07 cores=0-7
/proc/24343/task/24353/stat : 24353 (java) S 24341 24341 23893 0 -1 1077944384 28230 0 0 0 94 13 0 0 20 0 28 0 88704569 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806465996784 139807338642050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24354] ppid=24341 vsize=26645092 memory=956 CPUtime=0 cores=0-7
/proc/24343/task/24354/stat : 24354 (java) S 24341 24341 23893 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 88704570 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806464943072 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24355] ppid=24341 vsize=26645092 memory=2340 CPUtime=0 cores=0-7
/proc/24343/task/24355/stat : 24355 (java) S 24341 24341 23893 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 28 0 88704570 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806463890432 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24356] ppid=24341 vsize=26645092 memory=928 CPUtime=0 cores=0-7
/proc/24343/task/24356/stat : 24356 (java) S 24341 24341 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88704572 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806462838992 139807338649499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24357] ppid=24341 vsize=26645092 memory=1568 CPUtime=4.72 cores=0-7
/proc/24343/task/24357/stat : 24357 (java) S 24341 24341 23893 0 -1 1077944384 46314 0 0 0 464 8 0 0 20 0 28 0 88704572 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806461786608 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24358] ppid=24341 vsize=26645092 memory=5838296 CPUtime=3.74 cores=0-7
/proc/24343/task/24358/stat : 24358 (java) S 24341 24341 23893 0 -1 1077944384 42426 0 0 0 366 8 0 0 20 0 28 0 88704572 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806460734064 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24359] ppid=24341 vsize=26645092 memory=5838296 CPUtime=3.43 cores=0-7
/proc/24343/task/24359/stat : 24359 (java) S 24341 24341 23893 0 -1 1077944384 36315 0 0 0 339 4 0 0 20 0 28 0 88704572 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806459681520 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24360] ppid=24341 vsize=26645092 memory=836 CPUtime=1.1 cores=0-7
/proc/24343/task/24360/stat : 24360 (java) S 24341 24341 23893 0 -1 1077944384 36375 0 0 0 103 7 0 0 20 0 28 0 88704572 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806458628976 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24361] ppid=24341 vsize=26645092 memory=1796 CPUtime=0 cores=0-7
/proc/24343/task/24361/stat : 24361 (java) S 24341 24341 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88704573 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806457575648 139807338641109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24362] ppid=24341 vsize=26645092 memory=916 CPUtime=1.12 cores=0-7
/proc/24343/task/24362/stat : 24362 (java) S 24341 24341 23893 0 -1 1077944384 6336 0 0 0 45 67 0 0 20 0 28 0 88704573 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806456523184 139807338642050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24685] ppid=24341 vsize=26645092 memory=4144 CPUtime=486.73 cores=0-7
/proc/24343/task/24685/stat : 24685 (java) R 24341 24341 23893 0 -1 4202560 7993 0 0 0 48668 5 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806447737576 139806981298929 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24686] ppid=24341 vsize=26645092 memory=1408 CPUtime=487.6 cores=0-7
/proc/24343/task/24686/stat : 24686 (java) R 24341 24341 23893 0 -1 4202560 9942 0 0 0 48738 22 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806441422872 139806982423673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24687] ppid=24341 vsize=26645092 memory=4072 CPUtime=481.91 cores=0-7
/proc/24343/task/24687/stat : 24687 (java) R 24341 24341 23893 0 -1 4202560 11323 0 0 0 48173 18 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806440370400 139806982138376 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24688] ppid=24341 vsize=26645092 memory=1452 CPUtime=483.32 cores=0-7
/proc/24343/task/24688/stat : 24688 (java) R 24341 24341 23893 0 -1 4202560 9154 0 0 0 48314 18 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806442475800 139806982138175 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24689] ppid=24341 vsize=26645092 memory=5771068 CPUtime=487.55 cores=0-7
/proc/24343/task/24689/stat : 24689 (java) R 24341 24341 23893 0 -1 4202560 10598 0 0 0 48731 24 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806446686696 139806981299965 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24690] ppid=24341 vsize=26645092 memory=4100 CPUtime=487.36 cores=0-7
/proc/24343/task/24690/stat : 24690 (java) R 24341 24341 23893 0 -1 4202560 12638 0 0 0 48691 45 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806444581400 139806981299501 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24691] ppid=24341 vsize=26645092 memory=4616 CPUtime=487.55 cores=0-7
/proc/24343/task/24691/stat : 24691 (java) R 24341 24341 23893 0 -1 4202560 13540 0 0 0 48731 24 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806443527704 139806982138619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
[pid=24343/tid=24692] ppid=24341 vsize=26645092 memory=1424 CPUtime=487.54 cores=0-7
/proc/24343/task/24692/stat : 24692 (java) R 24341 24341 23893 0 -1 4202560 9019 0 0 0 48753 1 0 0 20 0 28 0 88907777 27284574208 1442767 33554432000 4194304 4196468 140722111258864 139806445633336 139806981299164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140722111263873 140722111264045 140722111264045 140722111266767 0
Current children cumulated CPU time: 19861.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5772520 KiB

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

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

[startup+2520.11 s]
# the end of solver process 24343 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19835.1 s, system=27.0126 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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19862.1
CPU user time (s): 19835.1
CPU system time (s): 27.0126
CPU usage (%): 788.145
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 7455836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19835.1
system time used= 27.0126
maximum resident set size= 7454384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1121501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74020
involuntary context switches= 219593


# summary of solver processes directly reported to runsolver:
#   pid: 24341,24343
#   total CPU time (s): 19862.1
#   total CPU user time (s): 19835.1
#   total CPU system time (s): 27.0126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7494 second user time and 32.3906 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-27 19:10:14
IDJOB=4297513
IDBENCH=141250
IDSOLVER=2760
FILE ID=node134/4297513-1532711414
RUNJOBID= node134-1532708890-23920
PBS_JOBID= 21022315
Free space on /tmp= 55560 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko64_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-4297513-1532711414/watcher-4297513-1532711414 -o /tmp/evaluation-result-4297513-1532711414/solver-4297513-1532711414 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532708890-23920 --watchdog 2580  HOME/xcsp3-exec -seed 1675446706 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297513-1532711414.xml

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

MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539
RANDOM SEED=1675446706

node134.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.68
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.68
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.68
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.68
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:        28195180 kB
MemAvailable:   31959776 kB
Buffers:          160012 kB
Cached:          3867868 kB
SwapCached:            0 kB
Active:          1770088 kB
Inactive:        2312716 kB
Active(anon):       3900 kB
Inactive(anon):    78552 kB
Active(file):    1766188 kB
Inactive(file):  2234164 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             21956 kB
Writeback:             0 kB
AnonPages:         73896 kB
Mapped:            41716 kB
Shmem:             25132 kB
Slab:             187880 kB
SReclaimable:     160160 kB
SUnreclaim:        27720 kB
KernelStack:        3616 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55540 MiB
End job on node134 at 2018-07-27 19:52:14