Trace number 4270838

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.5 par (2017-08-09)SAT (TO)1859 20025 2520.2

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n50-k8.xml
MD5SUMf0cf802901bcec45e39016390e9d5929
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1327
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints2499
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}]
Minimum variable degree0
Maximum variable degree97
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}]
Number of extensional constraints0
Number of intensional constraints49
Distribution of constraint types[{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}]
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-4270838-1502712999.xml"  -tl '20160s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4270838-1502712999.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
4.64/1.31	c solve instance...
5.33/1.44	o 5726 
5.33/1.46	o 5692 
5.33/1.48	o 3159 
10.09/2.08	o 3148 
12.26/2.34	o 3116 
13.85/2.53	o 3075 
13.85/2.58	o 2746 
14.43/2.65	o 2725 
16.79/2.92	o 2704 
16.79/2.93	o 2654 
16.79/2.96	o 2652 
21.33/3.50	o 2633 
21.33/3.56	o 2583 
24.54/4.05	o 2574 
24.54/4.06	o 2573 
24.54/4.08	o 2565 
24.91/4.11	o 2514 
24.91/4.16	o 2497 
25.10/4.24	o 2486 
25.10/4.25	o 2467 
25.60/4.35	o 2461 
25.87/4.41	o 2456 
52.81/7.81	o 2454 
96.45/13.37	o 2428 
97.52/13.61	o 2422 
98.24/13.97	o 2414 
99.56/14.39	o 2408 
99.73/14.41	o 2374 
99.73/14.43	o 2363 
100.36/14.85	o 2342 
295.20/39.39	o 2330 
295.20/39.40	o 2278 
295.99/39.41	o 2265 
532.17/69.08	o 2194 
938.64/120.09	o 2151 
938.64/120.10	o 2107 
939.35/120.12	o 2060 
939.35/120.19	o 2048 
939.83/120.25	o 2045 
939.83/120.25	o 2014 
1577.70/200.28	o 1876 
1578.49/200.30	o 1859 
20024.07/2520.09	s SATISFIABLE
20024.07/2520.09	v <instantiation>
20024.07/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] </list>
20024.07/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 28 77 33 12 87 60 51 38 30 12 18 73 56 94 28 26 26 87 96 47 50 42 94 8 74 14 71 25 70 98 79 46 37 92 14 18 80 62 94 99 21 47 13 97 76 78 75 3 10 </values>
20024.07/2520.09	v </instantiation>
20024.07/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	1859

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270838-1502712999/watcher-4270838-1502712999 -o /tmp/evaluation-result-4270838-1502712999/solver-4270838-1502712999 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502709619-4560 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1073880287 HOME/instance-4270838-1502712999.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=5356, runsolver pid=5353

[startup+0.100112 s]*
/proc/loadavg: 8.26 8.35 8.31 2/201 5377
/proc/meminfo: memFree=26948916/32770624 swapFree=67108860/67108860
[pid=5356] ppid=5353 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5356/stat : 5356 (xcsp3-exec) S 5353 5356 4533 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104387750 9740288 345 33554432000 4194304 5098028 140736015317840 140736015315944 140003479483004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33972224 140736015324260 140736015324471 140736015324471 140736015327211 0
/proc/5356/statm: 2378 345 289 221 0 87 0
[pid=5358] ppid=5356 vsize=25999808 memory=26900 CPUtime=0.11 cores=0-7
/proc/5358/stat : 5358 (java) S 5356 5356 4533 0 -1 1077944320 5664 0 0 0 10 1 0 0 20 0 20 0 104387750 26623803392 6725 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6499952 6725 2839 1 0 6488269 0
[pid=5358/tid=5359] ppid=5356 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) R 5356 5356 4533 0 -1 4202560 3667 0 0 0 8 1 0 0 20 0 20 0 104387751 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771502962480 139771482772837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5356 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5356 vsize=25999808 memory=140144680015488 CPUtime=0 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5363] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5363/stat : 5363 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771054139920 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5364] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5364/stat : 5364 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771053087632 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5365] ppid=5356 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5365/stat : 5365 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771052034832 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5366] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5366/stat : 5366 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771050982544 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5367] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5367/stat : 5367 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26623803392 6725 33554432000 4194304 4196468 140728083127328 139771049929744 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5368] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5368/stat : 5368 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387753 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769971435632 139771498740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5369] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5369/stat : 5369 (java) S 5356 5356 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104387754 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769970381600 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5370] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5370/stat : 5370 (java) S 5356 5356 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104387754 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769969329264 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5371] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5371/stat : 5371 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387756 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769968277584 139771498747803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5372] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5372/stat : 5372 (java) S 5356 5356 4533 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 104387756 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769967225456 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5373] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5373/stat : 5373 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387756 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769966172656 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5374] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5374/stat : 5374 (java) S 5356 5356 4533 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 104387756 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769965120368 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5375] ppid=5356 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5358/task/5375/stat : 5375 (java) R 5356 5356 4533 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 104387756 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769964067568 139771484424236 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5376] ppid=5356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5376/stat : 5376 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387757 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769963014496 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5377] ppid=5356 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5377/stat : 5377 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387757 26623803392 6725 33554432000 4194304 4196468 140728083127328 139769961961776 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28280 KiB

[startup+0.21019 s]*
/proc/loadavg: 8.26 8.35 8.31 2/201 5377
/proc/meminfo: memFree=26940100/32770624 swapFree=67108860/67108860
[pid=5356] ppid=5353 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5356/stat : 5356 (xcsp3-exec) S 5353 5356 4533 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104387750 9740288 345 33554432000 4194304 5098028 140736015317840 140736015315944 140003479483004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33972224 140736015324260 140736015324471 140736015324471 140736015327211 0
/proc/5356/statm: 2378 345 289 221 0 87 0
[pid=5358] ppid=5356 vsize=26004064 memory=38760 CPUtime=0.33 cores=0-7
/proc/5358/stat : 5358 (java) S 5356 5356 4533 0 -1 1077944320 8294 0 0 0 31 2 0 0 20 0 20 0 104387750 26628161536 9690 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6501016 9690 3026 1 0 6488269 0
[pid=5358/tid=5359] ppid=5356 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) R 5356 5356 4533 0 -1 4202560 5433 0 0 0 18 2 0 0 20 0 20 0 104387751 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771502950200 139771482809694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5356 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5356 vsize=26004064 memory=140144680021033 CPUtime=0 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5363] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5363/stat : 5363 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771054139920 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5364] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5364/stat : 5364 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771053087632 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5365] ppid=5356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5365/stat : 5365 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771052034832 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5366] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5366/stat : 5366 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771050982544 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5367] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5367/stat : 5367 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 9690 33554432000 4194304 4196468 140728083127328 139771049929744 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5368] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5368/stat : 5368 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387753 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769971435632 139771498740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5369] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5369/stat : 5369 (java) S 5356 5356 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104387754 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769970381600 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5370] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5370/stat : 5370 (java) S 5356 5356 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104387754 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769969329264 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5371] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5371/stat : 5371 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387756 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769968277584 139771498747803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5372] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5372/stat : 5372 (java) S 5356 5356 4533 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 20 0 104387756 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769967225456 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5373] ppid=5356 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5358/task/5373/stat : 5373 (java) S 5356 5356 4533 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 104387756 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769966172656 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5374] ppid=5356 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/5358/task/5374/stat : 5374 (java) S 5356 5356 4533 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 104387756 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769965120368 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5375] ppid=5356 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5358/task/5375/stat : 5375 (java) S 5356 5356 4533 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 20 0 104387756 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769964067568 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5376] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5376/stat : 5376 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387757 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769963014496 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5377] ppid=5356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5377/stat : 5377 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387757 26628161536 9690 33554432000 4194304 4196468 140728083127328 139769961961776 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40140 KiB

[startup+0.30951 s]*
/proc/loadavg: 8.26 8.35 8.31 3/201 5377
/proc/meminfo: memFree=26933276/32770624 swapFree=67108860/67108860
[pid=5356] ppid=5353 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5356/stat : 5356 (xcsp3-exec) S 5353 5356 4533 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104387750 9740288 345 33554432000 4194304 5098028 140736015317840 140736015315944 140003479483004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33972224 140736015324260 140736015324471 140736015324471 140736015327211 0
/proc/5356/statm: 2378 345 289 221 0 87 0
[pid=5358] ppid=5356 vsize=26004064 memory=43700 CPUtime=0.5 cores=0-7
/proc/5358/stat : 5358 (java) S 5356 5356 4533 0 -1 1077944320 9198 0 0 0 47 3 0 0 20 0 20 0 104387750 26628161536 10925 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6501016 10925 3073 1 0 6488269 0
[pid=5358/tid=5359] ppid=5356 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) R 5356 5356 4533 0 -1 4202560 6118 0 0 0 27 2 0 0 20 0 20 0 104387751 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771502967984 139771135419848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5363] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5363/stat : 5363 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771054139920 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5364] ppid=5356 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5358/task/5364/stat : 5364 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771053087632 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5365] ppid=5356 vsize=26004064 memory=140144581637039 CPUtime=0 cores=0-7
/proc/5358/task/5365/stat : 5365 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771052034832 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5366] ppid=5356 vsize=26004064 memory=140144581639344 CPUtime=0 cores=0-7
/proc/5358/task/5366/stat : 5366 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771050982544 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5367] ppid=5356 vsize=26004064 memory=140144581641648 CPUtime=0 cores=0-7
/proc/5358/task/5367/stat : 5367 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26628161536 10925 33554432000 4194304 4196468 140728083127328 139771049929744 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5368] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5368/stat : 5368 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387753 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769971435632 139771498740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5369] ppid=5356 vsize=26004064 memory=280289163290256 CPUtime=0 cores=0-7
/proc/5358/task/5369/stat : 5369 (java) S 5356 5356 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104387754 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769970381600 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5370] ppid=5356 vsize=26004064 memory=280289163297168 CPUtime=0 cores=0-7
/proc/5358/task/5370/stat : 5370 (java) S 5356 5356 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104387754 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769969329264 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5371] ppid=5356 vsize=26004064 memory=280289163238448 CPUtime=0 cores=0-7
/proc/5358/task/5371/stat : 5371 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387756 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769968277584 139771498747803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5372] ppid=5356 vsize=26004064 memory=280289163310992 CPUtime=0.01 cores=0-7
/proc/5358/task/5372/stat : 5372 (java) S 5356 5356 4533 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 104387756 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769967225456 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5373] ppid=5356 vsize=26004064 memory=280289163317904 CPUtime=0.02 cores=0-7
/proc/5358/task/5373/stat : 5373 (java) S 5356 5356 4533 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 20 0 104387756 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769966172656 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5374] ppid=5356 vsize=26004064 memory=280289163315600 CPUtime=0.03 cores=0-7
/proc/5358/task/5374/stat : 5374 (java) S 5356 5356 4533 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 20 0 104387756 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769965120368 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5375] ppid=5356 vsize=26004064 memory=280289163331760 CPUtime=0.12 cores=0-7
/proc/5358/task/5375/stat : 5375 (java) R 5356 5356 4533 0 -1 4202560 820 0 0 0 12 0 0 0 20 0 20 0 104387756 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769964067568 139771477689163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5376] ppid=5356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5376/stat : 5376 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104387757 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769963014496 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5377] ppid=5356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5358/task/5377/stat : 5377 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387757 26628161536 10925 33554432000 4194304 4196468 140728083127328 139769961961776 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45080 KiB

[startup+0.700964 s]
/proc/loadavg: 8.26 8.35 8.31 5/201 5377
/proc/meminfo: memFree=26904804/32770624 swapFree=67108860/67108860
[pid=5356] ppid=5353 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5356/stat : 5356 (xcsp3-exec) S 5353 5356 4533 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104387750 9740288 345 33554432000 4194304 5098028 140736015317840 140736015315944 140003479483004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33972224 140736015324260 140736015324471 140736015324471 140736015327211 0
/proc/5356/statm: 2378 345 289 221 0 87 0
[pid=5358] ppid=5356 vsize=26006188 memory=104660 CPUtime=2.06 cores=0-7
/proc/5358/stat : 5358 (java) S 5356 5356 4533 0 -1 1077944320 15173 0 0 0 200 6 0 0 20 0 20 0 104387750 26630336512 26165 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6501547 26165 3204 1 0 6488781 0
[pid=5358/tid=5359] ppid=5356 vsize=26006188 memory=280289163689648 CPUtime=0.67 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) R 5356 5356 4533 0 -1 4202560 6623 0 0 0 64 3 0 0 20 0 20 0 104387751 26630336512 26165 33554432000 4194304 4196468 140728083127328 139771502965104 139771137747399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5356 vsize=26006188 memory=140144581845872 CPUtime=0 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26630336512 26165 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5356 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104387752 26630336512 26165 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5356 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5356 5356 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104387752 26630336512 26165 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0

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

[pid=5358/tid=5719] ppid=5356 vsize=26538700 memory=29792 CPUtime=2282.08 cores=0-7
/proc/5358/task/5719/stat : 5719 (java) R 5356 5356 4533 0 -1 4202560 52766 0 0 0 228169 39 0 0 20 0 28 0 104407781 27175628800 652654 33554432000 4194304 4196468 140728083127328 139769950236952 139771145136667 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5720] ppid=5356 vsize=26538700 memory=1292 CPUtime=2285.39 cores=0-7
/proc/5358/task/5720/stat : 5720 (java) R 5356 5356 4533 0 -1 4202560 94025 0 0 0 228432 107 0 0 20 0 28 0 104407781 27175628800 652654 33554432000 4194304 4196468 140728083127328 139769953394856 139771142744628 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5721] ppid=5356 vsize=26538700 memory=8112282956445269571 CPUtime=2273.58 cores=0-7
/proc/5358/task/5721/stat : 5721 (java) R 5356 5356 4533 0 -1 4202560 16257 0 0 0 227348 10 0 0 20 0 28 0 104407782 27175628800 652654 33554432000 4194304 4196468 140728083127328 139769954447584 139771143503632 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current children cumulated CPU time: 19883.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2611996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.54 8.24 8.26 9/208 5756
/proc/meminfo: memFree=24523804/32770624 swapFree=67108860/67108860
[pid=5356] ppid=5353 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5356/stat : 5356 (xcsp3-exec) S 5353 5356 4533 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104387750 9740288 345 33554432000 4194304 5098028 140736015317840 140736015315944 140003479483004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33972224 140736015324260 140736015324471 140736015324471 140736015327211 0
/proc/5356/statm: 2378 345 289 221 0 87 0
[pid=5358] ppid=5356 vsize=26538700 memory=2445504 CPUtime=20024.1 cores=0-7
/proc/5358/stat : 5358 (java) S 5356 5356 4533 0 -1 1077944320 811781 0 0 0 2001291 1116 0 0 20 0 28 0 104387750 27175628800 611376 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6634675 611376 3304 1 0 6621909 0
[pid=5358/tid=5359] ppid=5356 vsize=26538700 memory=3872 CPUtime=1.34 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) S 5356 5356 4533 0 -1 1077944384 8102 0 0 0 128 6 0 0 20 0 28 0 104387751 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771502969984 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5356 vsize=26538700 memory=1380 CPUtime=5.18 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5356 5356 4533 0 -1 1077944384 31934 0 0 0 471 47 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5356 vsize=26538700 memory=2626560 CPUtime=5.1 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5356 5356 4533 0 -1 1077944384 28806 0 0 0 470 40 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5356 vsize=26538700 memory=4126316290023845779 CPUtime=5.15 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5356 5356 4533 0 -1 1077944384 29555 0 0 0 472 43 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5363] ppid=5356 vsize=26538700 memory=1380 CPUtime=5.16 cores=0-7
/proc/5358/task/5363/stat : 5363 (java) S 5356 5356 4533 0 -1 1077944384 27134 0 0 0 472 44 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771054139920 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5364] ppid=5356 vsize=26538700 memory=2626560 CPUtime=5.21 cores=0-7
/proc/5358/task/5364/stat : 5364 (java) S 5356 5356 4533 0 -1 1077944384 28391 0 0 0 479 42 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771053087632 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5365] ppid=5356 vsize=26538700 memory=6760 CPUtime=5.18 cores=0-7
/proc/5358/task/5365/stat : 5365 (java) S 5356 5356 4533 0 -1 1077944384 32534 0 0 0 474 44 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771052034832 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5366] ppid=5356 vsize=26538700 memory=840 CPUtime=5.2 cores=0-7
/proc/5358/task/5366/stat : 5366 (java) S 5356 5356 4533 0 -1 1077944384 28560 0 0 0 474 46 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771050982544 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5367] ppid=5356 vsize=26538700 memory=1692 CPUtime=5.15 cores=0-7
/proc/5358/task/5367/stat : 5367 (java) S 5356 5356 4533 0 -1 1077944384 30001 0 0 0 474 41 0 0 20 0 28 0 104387752 27175628800 611376 33554432000 4194304 4196468 140728083127328 139771049929744 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5368] ppid=5356 vsize=26538700 memory=916 CPUtime=7.5 cores=0-7
/proc/5358/task/5368/stat : 5368 (java) S 5356 5356 4533 0 -1 1077944384 129989 0 0 0 334 416 0 0 20 0 28 0 104387753 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769971435632 139771498740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5369] ppid=5356 vsize=26538700 memory=4168 CPUtime=0 cores=0-7
/proc/5358/task/5369/stat : 5369 (java) S 5356 5356 4533 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 104387754 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769970381664 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5370] ppid=5356 vsize=26538700 memory=1152 CPUtime=0 cores=0-7
/proc/5358/task/5370/stat : 5370 (java) S 5356 5356 4533 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 104387754 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769969329280 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5371] ppid=5356 vsize=26538700 memory=3872 CPUtime=0 cores=0-7
/proc/5358/task/5371/stat : 5371 (java) S 5356 5356 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104387756 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769968277584 139771498747803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5372] ppid=5356 vsize=26538700 memory=1380 CPUtime=2.86 cores=0-7
/proc/5358/task/5372/stat : 5372 (java) S 5356 5356 4533 0 -1 1077944384 16601 0 0 0 284 2 0 0 20 0 28 0 104387756 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769967225456 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5373] ppid=5356 vsize=26538700 memory=1700 CPUtime=2.94 cores=0-7
/proc/5358/task/5373/stat : 5373 (java) S 5356 5356 4533 0 -1 1077944384 9792 0 0 0 294 0 0 0 20 0 28 0 104387756 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769966172656 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5374] ppid=5356 vsize=26538700 memory=1228 CPUtime=3.02 cores=0-7
/proc/5358/task/5374/stat : 5374 (java) S 5356 5356 4533 0 -1 1077944384 16922 0 0 0 299 3 0 0 20 0 28 0 104387756 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769965120368 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5375] ppid=5356 vsize=26538700 memory=5428 CPUtime=1.03 cores=0-7
/proc/5358/task/5375/stat : 5375 (java) S 5356 5356 4533 0 -1 1077944384 15495 0 0 0 100 3 0 0 20 0 28 0 104387756 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769964067568 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5376] ppid=5356 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/5358/task/5376/stat : 5376 (java) S 5356 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104387757 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769963014496 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5377] ppid=5356 vsize=26538700 memory=2626560 CPUtime=0.84 cores=0-7
/proc/5358/task/5377/stat : 5377 (java) S 5356 5356 4533 0 -1 1077944384 8290 0 0 0 42 42 0 0 20 0 28 0 104387757 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769961961776 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5714] ppid=5356 vsize=26538700 memory=13056 CPUtime=2300.92 cores=0-7
/proc/5358/task/5714/stat : 5714 (java) R 5356 5356 4533 0 -1 4202560 20262 0 0 0 230076 16 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769947077960 139771145136470 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5715] ppid=5356 vsize=26538700 memory=792 CPUtime=2300.68 cores=0-7
/proc/5358/task/5715/stat : 5715 (java) R 5356 5356 4533 0 -1 4202560 15087 0 0 0 230058 10 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769948131960 139771143113312 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5716] ppid=5356 vsize=26538700 memory=1008 CPUtime=2300.46 cores=0-7
/proc/5358/task/5716/stat : 5716 (java) R 5356 5356 4533 0 -1 4202560 59605 0 0 0 230013 33 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769952344656 139771145690603 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5717] ppid=5356 vsize=26538700 memory=10588 CPUtime=2300.35 cores=0-7
/proc/5358/task/5717/stat : 5717 (java) R 5356 5356 4533 0 -1 4202560 32678 0 0 0 230005 30 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769949184256 139771143127276 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5718] ppid=5356 vsize=26538700 memory=1204 CPUtime=2301.05 cores=0-7
/proc/5358/task/5718/stat : 5718 (java) R 5356 5356 4533 0 -1 4202560 20078 0 0 0 230095 10 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769951289992 139771144455920 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5719] ppid=5356 vsize=26538700 memory=15872 CPUtime=2299.58 cores=0-7
/proc/5358/task/5719/stat : 5719 (java) R 5356 5356 4533 0 -1 4202560 54760 0 0 0 229919 39 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769950236816 139771144456097 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5720] ppid=5356 vsize=26538700 memory=16444 CPUtime=2302.96 cores=0-7
/proc/5358/task/5720/stat : 5720 (java) R 5356 5356 4533 0 -1 4202560 97748 0 0 0 230187 109 0 0 20 0 28 0 104407781 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769953394288 139771137463908 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5721] ppid=5356 vsize=26538700 memory=288230574492221466 CPUtime=2291.07 cores=0-7
/proc/5358/task/5721/stat : 5721 (java) R 5356 5356 4533 0 -1 4202560 16750 0 0 0 229097 10 0 0 20 0 28 0 104407782 27175628800 611376 33554432000 4194304 4196468 140728083127328 139769954446976 139771144456446 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current children cumulated CPU time: 20024.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2446884 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.54 8.24 8.26 3/206 5758
/proc/meminfo: memFree=24523804/32770624 swapFree=67108860/67108860
[pid=5358] ppid=5353 vsize=26671828 memory=2445572 CPUtime=20024.9 cores=0-7
/proc/5358/stat : 5358 (java) S 5353 5356 4533 0 -1 1077944320 812125 0 0 0 2001373 1117 0 0 20 0 27 0 104387750 27311951872 611393 33554432000 4194304 4196468 140728083127328 140728083109872 139771498729207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
/proc/5358/statm: 6667957 611393 3305 1 0 6655191 0
[pid=5358/tid=5359] ppid=5353 vsize=26671828 memory=-6733704525061579059 CPUtime=1.34 cores=0-7
/proc/5358/task/5359/stat : 5359 (java) S 5353 5356 4533 0 -1 1077944384 8102 0 0 0 128 6 0 0 20 0 27 0 104387751 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771502969984 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5360] ppid=5353 vsize=26671828 memory=4126316290023845779 CPUtime=5.18 cores=0-7
/proc/5358/task/5360/stat : 5360 (java) S 5353 5356 4533 0 -1 1077944384 31934 0 0 0 471 47 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771457489296 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5361] ppid=5353 vsize=26671828 memory=0 CPUtime=5.1 cores=0-7
/proc/5358/task/5361/stat : 5361 (java) S 5353 5356 4533 0 -1 1077944384 28806 0 0 0 470 40 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771056245008 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5362] ppid=5353 vsize=26671828 memory=4629771062077588875 CPUtime=5.15 cores=0-7
/proc/5358/task/5362/stat : 5362 (java) S 5353 5356 4533 0 -1 1077944384 29555 0 0 0 472 43 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771055192720 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5363] ppid=5353 vsize=26671828 memory=-8961168018402230209 CPUtime=5.16 cores=0-7
/proc/5358/task/5363/stat : 5363 (java) S 5353 5356 4533 0 -1 1077944384 27134 0 0 0 472 44 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771054139920 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5364] ppid=5353 vsize=26671828 memory=15872 CPUtime=5.21 cores=0-7
/proc/5358/task/5364/stat : 5364 (java) S 5353 5356 4533 0 -1 1077944384 28391 0 0 0 479 42 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771053087632 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5365] ppid=5353 vsize=26671828 memory=16444 CPUtime=5.18 cores=0-7
/proc/5358/task/5365/stat : 5365 (java) S 5353 5356 4533 0 -1 1077944384 32534 0 0 0 474 44 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771052034832 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5366] ppid=5353 vsize=26671828 memory=4052 CPUtime=5.2 cores=0-7
/proc/5358/task/5366/stat : 5366 (java) S 5353 5356 4533 0 -1 1077944384 28560 0 0 0 474 46 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771050982544 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5367] ppid=5353 vsize=26671828 memory=8112282956445269571 CPUtime=5.15 cores=0-7
/proc/5358/task/5367/stat : 5367 (java) S 5353 5356 4533 0 -1 1077944384 30001 0 0 0 474 41 0 0 20 0 27 0 104387752 27311951872 611393 33554432000 4194304 4196468 140728083127328 139771049929744 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5368] ppid=5353 vsize=26671828 memory=1944 CPUtime=7.52 cores=0-7
/proc/5358/task/5368/stat : 5368 (java) R 5353 5356 4533 0 -1 4202560 129989 0 0 0 335 417 0 0 20 0 27 0 104387753 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769971435768 139771491357415 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5369] ppid=5353 vsize=26671828 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/5358/task/5369/stat : 5369 (java) S 5353 5356 4533 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 27 0 104387754 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769970381664 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5370] ppid=5353 vsize=26671828 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/5358/task/5370/stat : 5370 (java) S 5353 5356 4533 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 27 0 104387754 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769969329280 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5372] ppid=5353 vsize=26671828 memory=14981057220970926 CPUtime=2.86 cores=0-7
/proc/5358/task/5372/stat : 5372 (java) S 5353 5356 4533 0 -1 1077944384 16603 0 0 0 284 2 0 0 20 0 27 0 104387756 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769967225456 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5373] ppid=5353 vsize=26671828 memory=4624 CPUtime=2.94 cores=0-7
/proc/5358/task/5373/stat : 5373 (java) S 5353 5356 4533 0 -1 1077944384 9794 0 0 0 294 0 0 0 20 0 27 0 104387756 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769966172656 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5374] ppid=5353 vsize=26671828 memory=1424 CPUtime=3.02 cores=0-7
/proc/5358/task/5374/stat : 5374 (java) S 5353 5356 4533 0 -1 1077944384 16924 0 0 0 299 3 0 0 20 0 27 0 104387756 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769965120368 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5375] ppid=5353 vsize=26671828 memory=13056 CPUtime=1.03 cores=0-7
/proc/5358/task/5375/stat : 5375 (java) S 5353 5356 4533 0 -1 1077944384 15679 0 0 0 100 3 0 0 20 0 27 0 104387756 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769964067568 139771498740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5376] ppid=5353 vsize=26671828 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/5358/task/5376/stat : 5376 (java) S 5353 5356 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 104387757 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769963014496 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5714] ppid=5353 vsize=26671828 memory=288230583166042425 CPUtime=2301.01 cores=0-7
/proc/5358/task/5714/stat : 5714 (java) S 5353 5356 4533 0 -1 1077944384 20262 0 0 0 230085 16 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769947077616 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5715] ppid=5353 vsize=26671828 memory=14981057220970926 CPUtime=2300.77 cores=0-7
/proc/5358/task/5715/stat : 5715 (java) S 5353 5356 4533 0 -1 1077944384 15088 0 0 0 230067 10 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769948131248 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5716] ppid=5353 vsize=26671828 memory=1204 CPUtime=2300.55 cores=0-7
/proc/5358/task/5716/stat : 5716 (java) S 5353 5356 4533 0 -1 1077944384 59605 0 0 0 230022 33 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769952342480 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5717] ppid=5353 vsize=26671828 memory=15872 CPUtime=2300.45 cores=0-7
/proc/5358/task/5717/stat : 5717 (java) S 5353 5356 4533 0 -1 1077944384 32678 0 0 0 230015 30 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769949184416 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5718] ppid=5353 vsize=26671828 memory=16444 CPUtime=2301.14 cores=0-7
/proc/5358/task/5718/stat : 5718 (java) S 5353 5356 4533 0 -1 1077944384 20078 0 0 0 230104 10 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769951289856 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5719] ppid=5353 vsize=26671828 memory=4052 CPUtime=2299.68 cores=0-7
/proc/5358/task/5719/stat : 5719 (java) S 5353 5356 4533 0 -1 1077944384 54760 0 0 0 229929 39 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769950236976 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5720] ppid=5353 vsize=26671828 memory=16716 CPUtime=2303.09 cores=0-7
/proc/5358/task/5720/stat : 5720 (java) R 5353 5356 4533 0 -1 4202560 97748 0 0 0 230200 109 0 0 20 0 27 0 104407781 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769953394424 139771137463840 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5721] ppid=5353 vsize=26671828 memory=1380 CPUtime=2291.17 cores=0-7
/proc/5358/task/5721/stat : 5721 (java) S 5353 5356 4533 0 -1 1077944384 16750 0 0 0 229107 10 0 0 20 0 27 0 104407782 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769954446976 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
[pid=5358/tid=5757] ppid=5353 vsize=26671828 memory=2626560 CPUtime=0 cores=0-7
/proc/5358/task/5757/stat : 5757 (java) S 5353 5356 4533 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 27 0 104639755 27311951872 611393 33554432000 4194304 4196468 140728083127328 139769946030448 139771498739413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728083129490 140728083129667 140728083129667 140728083132367 0
Current cumulated CPU time of completed processes: 0.001932 s
Current children cumulated CPU time: 20024.9 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 2445572 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 20025
CPU user time (s): 20013.8
CPU system time (s): 11.2225
CPU usage (%): 794.581
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 2628412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20013.8
system time used= 11.2225
maximum resident set size= 2656812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157900
involuntary context switches= 208839


# summary of solver processes directly reported to runsolver:
#   pid: 5356,5358
#   total CPU time (s): 20025
#   total CPU user time (s): 20013.8
#   total CPU system time (s): 11.2225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.907 second user time and 20.6065 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-14 14:02:21
IDJOB=4270838
IDBENCH=124431
IDSOLVER=2662
FILE ID=node114/4270838-1502712999
RUNJOBID= node114-1502709619-4560
PBS_JOBID= 20629022
Free space on /tmp= 61700 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270838-1502712999/watcher-4270838-1502712999 -o /tmp/evaluation-result-4270838-1502712999/solver-4270838-1502712999 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502709619-4560 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1073880287 HOME/instance-4270838-1502712999.xml

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

MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929
RANDOM SEED=1073880287

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        26965412 kB
MemAvailable:   31987800 kB
Buffers:          191188 kB
Cached:          5119712 kB
SwapCached:            0 kB
Active:           461432 kB
Inactive:        4904172 kB
Active(anon):      57720 kB
Inactive(anon):    25124 kB
Active(file):     403712 kB
Inactive(file):  4879048 kB
Unevictable:        6432 kB
Mlocked:            6432 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7756 kB
Writeback:             0 kB
AnonPages:        105852 kB
Mapped:            44788 kB
Shmem:             25224 kB
Slab:             136132 kB
SReclaimable:     110924 kB
SUnreclaim:        25208 kB
KernelStack:        3552 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-14 14:44:21