Trace number 4280644

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-18)SAT (TO)1578 20026.199 2520.1499

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n61-k9.xml
MD5SUM4ab7546591ba88ff6acec2aa7538cbc2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1147
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables3782
Number of constraints3720
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree0
Maximum variable degree119
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity1
Maximum constraint arity60
Distribution of constraint arities[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints0
Number of intensional constraints60
Distribution of constraint types[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
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-4280644-1503132066.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280644-1503132066.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
5.03/1.48	c solve instance...
6.02/1.64	o 4468 
6.73/1.71	o 4467 
6.73/1.73	o 4455 
6.73/1.74	o 3076 
18.45/3.29	o 3050 
26.29/4.28	o 3049 
30.94/4.84	o 3031 
30.94/4.86	o 3014 
30.94/4.87	o 2973 
30.94/4.88	o 2956 
38.24/5.84	o 2707 
47.57/7.07	o 2666 
48.00/7.17	o 2632 
48.00/7.17	o 2631 
48.00/7.18	o 2624 
48.00/7.19	o 2623 
52.27/7.78	o 2603 
52.27/7.79	o 2600 
52.27/7.79	o 2596 
72.43/10.32	o 2593 
75.92/10.82	o 2491 
75.92/10.83	o 2487 
75.92/10.84	o 2475 
75.92/10.85	o 2471 
75.92/10.90	o 2470 
83.59/11.89	o 2411 
83.59/11.89	o 2407 
122.87/16.85	o 2312 
123.16/16.93	o 2218 
123.16/16.94	o 2217 
190.59/25.48	o 2168 
190.59/25.50	o 2160 
191.38/25.61	o 2156 
191.38/25.62	o 2151 
202.99/27.11	o 2146 
202.99/27.13	o 2141 
222.78/29.63	o 1855 
222.78/29.64	o 1816 
222.78/29.66	o 1764 
222.78/29.69	o 1731 
223.28/29.78	o 1717 
223.45/29.80	o 1700 
224.17/29.93	o 1696 
224.17/29.95	o 1694 
401.68/52.31	o 1691 
1369.24/173.70	o 1678 
2080.17/262.82	o 1668 
3882.83/488.86	o 1604 
3882.99/488.95	o 1578 
20025.33/2520.10	s SATISFIABLE
20025.33/2520.10	v <instantiation>
20025.33/2520.10	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[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] 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[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] 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[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] 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[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] 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[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] 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[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] 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[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] 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[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] 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[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] 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[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] 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[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] 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[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] 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[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] 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[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] 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[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] 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[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] 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[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] 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[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] 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[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] 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[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] 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[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] 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[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] 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[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] 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[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] 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[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] 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[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] 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[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] 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[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] 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[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] 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[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] 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[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] 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[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] 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[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] 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[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] 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[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] 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[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] 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[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] 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[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] 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[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] 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[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] 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[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] 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[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] 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[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] 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[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] 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[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] 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[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] 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[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] 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[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] 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[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] 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] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] 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] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] </list>
20025.33/2520.11	v 	<values>0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 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 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 0 0 0 0 0 0 0 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 0 0 0 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 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 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 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 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 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 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 0 0 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 1 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 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 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 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 23 85 31 48 96 47 24 68 70 74 45 42 21 84 47 65 25 19 64 30 10 34 46 19 83 66 8 57 11 27 18 15 100 39 27 21 34 99 59 16 44 96 85 39 53 3 97 49 67 7 83 53 44 22 18 6 37 74 62 33 </values>
20025.33/2520.11	v </instantiation>
20025.33/2520.11	c Unexpected resolution interruption!

Verifier Data 

OK	1578

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280644-1503132066/watcher-4280644-1503132066 -o /tmp/evaluation-result-4280644-1503132066/solver-4280644-1503132066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503126150-19729 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1580717749 HOME/instance-4280644-1503132066.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=20848, runsolver pid=20845

[startup+0.100164 s]*
/proc/loadavg: 8.43 8.51 8.37 2/199 20869
/proc/meminfo: memFree=27049340/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=25999808 memory=26460 CPUtime=0.11 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 5486 0 0 0 11 0 0 0 20 0 20 0 146294563 26623803392 6615 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6499952 6615 2866 1 0 6488269 0
[pid=20850/tid=20851] ppid=20848 vsize=25999808 memory=8256394924504553884 CPUtime=0.08 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) R 20848 20848 19702 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 146294563 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406579340080 140406575129757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=25999808 memory=732370575243283429 CPUtime=0 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=25999808 memory=140436905830016 CPUtime=0 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20855] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20855/stat : 20855 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406524570640 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20856] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20856/stat : 20856 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406523517328 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20857] ppid=20848 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20850/task/20857/stat : 20857 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406522464528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20858] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20858/stat : 20858 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406521412240 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20859] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20859/stat : 20859 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26623803392 6615 33554432000 4194304 4196468 140721980640720 140406520359440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20860] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20860/stat : 20860 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294566 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405769235056 140406575118978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20861] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20861/stat : 20861 (java) S 20848 20848 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146294566 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405768181024 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20862] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20862/stat : 20862 (java) S 20848 20848 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146294566 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405767128688 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20863] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20863/stat : 20863 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405766077008 140406575126427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20864] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20864/stat : 20864 (java) S 20848 20848 19702 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405765023856 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20865] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20865/stat : 20865 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405763971056 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20866] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20866/stat : 20866 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405762918768 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20867] ppid=20848 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20850/task/20867/stat : 20867 (java) R 20848 20848 19702 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405761865968 140406559188318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20868] ppid=20848 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20868/stat : 20868 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405760813920 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20869] ppid=20848 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20850/task/20869/stat : 20869 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26623803392 6615 33554432000 4194304 4196468 140721980640720 140405759761200 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27844 KiB

[startup+0.210212 s]*
/proc/loadavg: 8.43 8.51 8.37 2/199 20869
/proc/meminfo: memFree=27038796/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=26004064 memory=38240 CPUtime=0.33 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 8229 0 0 0 31 2 0 0 20 0 20 0 146294563 26628161536 9560 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6501016 9560 2992 1 0 6488269 0
[pid=20850/tid=20851] ppid=20848 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) R 20848 20848 19702 0 -1 4202560 5379 0 0 0 18 1 0 0 20 0 20 0 146294563 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406579344672 140406559188318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=26004064 memory=732370575243283429 CPUtime=0 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=26004064 memory=140436905830016 CPUtime=0 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20855] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20855/stat : 20855 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406524570640 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20856] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20856/stat : 20856 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406523517328 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20857] ppid=20848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20850/task/20857/stat : 20857 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406522464528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20858] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20858/stat : 20858 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406521412240 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20859] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20859/stat : 20859 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 9560 33554432000 4194304 4196468 140721980640720 140406520359440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20860] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20860/stat : 20860 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405769235056 140406575118978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20861] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20861/stat : 20861 (java) S 20848 20848 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405768181024 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20862] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20862/stat : 20862 (java) S 20848 20848 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405767128688 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20863] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20863/stat : 20863 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405766077008 140406575126427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20864] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20864/stat : 20864 (java) S 20848 20848 19702 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405765023856 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20865] ppid=20848 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20850/task/20865/stat : 20865 (java) S 20848 20848 19702 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405763971056 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20866] ppid=20848 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20850/task/20866/stat : 20866 (java) S 20848 20848 19702 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405762918768 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20867] ppid=20848 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20850/task/20867/stat : 20867 (java) R 20848 20848 19702 0 -1 4202560 720 0 0 0 7 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405761865968 140406567344958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20868] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20868/stat : 20868 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405760813920 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20869] ppid=20848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20850/task/20869/stat : 20869 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 9560 33554432000 4194304 4196468 140721980640720 140405759761200 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39624 KiB

[startup+0.309603 s]*
/proc/loadavg: 8.43 8.51 8.37 3/199 20869
/proc/meminfo: memFree=27034392/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=26004064 memory=43440 CPUtime=0.5 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 9095 0 0 0 48 2 0 0 20 0 20 0 146294563 26628161536 10860 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6501016 10860 3041 1 0 6488269 0
[pid=20850/tid=20851] ppid=20848 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) R 20848 20848 19702 0 -1 4202560 6045 0 0 0 27 1 0 0 20 0 20 0 146294563 26628161536 10860 33554432000 4194304 4196468 140721980640720 140406579346672 140406190848867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20855] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20855/stat : 20855 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406524570640 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20856] ppid=20848 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20850/task/20856/stat : 20856 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406523517328 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20857] ppid=20848 vsize=26004064 memory=140436773630895 CPUtime=0 cores=0-7
/proc/20850/task/20857/stat : 20857 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406522464528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20858] ppid=20848 vsize=26004064 memory=140436773633200 CPUtime=0 cores=0-7
/proc/20850/task/20858/stat : 20858 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406521412240 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20859] ppid=20848 vsize=26004064 memory=140436773635504 CPUtime=0 cores=0-7
/proc/20850/task/20859/stat : 20859 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26628161536 11372 33554432000 4194304 4196468 140721980640720 140406520359440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20860] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20860/stat : 20860 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405769235056 140406575118978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20861] ppid=20848 vsize=26004064 memory=280873547277968 CPUtime=0 cores=0-7
/proc/20850/task/20861/stat : 20861 (java) S 20848 20848 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405768181024 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20862] ppid=20848 vsize=26004064 memory=280873547284880 CPUtime=0 cores=0-7
/proc/20850/task/20862/stat : 20862 (java) S 20848 20848 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146294566 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405767128688 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20863] ppid=20848 vsize=26004064 memory=280873547226160 CPUtime=0 cores=0-7
/proc/20850/task/20863/stat : 20863 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405766077008 140406575126427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20864] ppid=20848 vsize=26004064 memory=280873547298704 CPUtime=0.01 cores=0-7
/proc/20850/task/20864/stat : 20864 (java) S 20848 20848 19702 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405765023856 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20865] ppid=20848 vsize=26004064 memory=280873547305616 CPUtime=0.02 cores=0-7
/proc/20850/task/20865/stat : 20865 (java) S 20848 20848 19702 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405763971056 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20866] ppid=20848 vsize=26004064 memory=280873547303312 CPUtime=0.03 cores=0-7
/proc/20850/task/20866/stat : 20866 (java) S 20848 20848 19702 0 -1 1077944384 144 0 0 0 3 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405762918768 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20867] ppid=20848 vsize=26004064 memory=280873547319472 CPUtime=0.13 cores=0-7
/proc/20850/task/20867/stat : 20867 (java) R 20848 20848 19702 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405761862336 140406555880282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20868] ppid=20848 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20850/task/20868/stat : 20868 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405760813920 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20869] ppid=20848 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20850/task/20869/stat : 20869 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294569 26628161536 11372 33554432000 4194304 4196468 140721980640720 140405759761200 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44824 KiB

[startup+0.701073 s]
/proc/loadavg: 8.43 8.51 8.37 6/199 20869
/proc/meminfo: memFree=27002504/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=26006188 memory=109680 CPUtime=2.09 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 14864 0 0 0 204 5 0 0 20 0 20 0 146294563 26630336512 27420 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6501547 27420 3207 1 0 6488781 0
[pid=20850/tid=20851] ppid=20848 vsize=26006188 memory=280873547614400 CPUtime=0.67 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) R 20848 20848 19702 0 -1 4202560 6586 0 0 0 64 3 0 0 20 0 20 0 146294563 26630336512 27420 33554432000 4194304 4196468 140721980640720 140406579341312 140406553096849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26630336512 27420 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146294564 26630336512 27420 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146294564 26630336512 27420 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0

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

/proc/meminfo: memFree=24538304/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=26539728 memory=2530320 CPUtime=19887 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 431522 0 0 0 1987527 1173 0 0 20 0 28 0 146294563 27176681472 632580 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6634932 632580 3304 1 0 6622166 0
[pid=20850/tid=20851] ppid=20848 vsize=26539728 memory=2549300 CPUtime=1.52 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) S 20848 20848 19702 0 -1 1077944384 8114 0 0 0 147 5 0 0 20 0 28 0 146294563 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406579348608 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=26539728 memory=1384 CPUtime=2.24 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 8394 0 0 0 206 18 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=26539728 memory=2541604 CPUtime=2.21 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 9627 0 0 0 205 16 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=26539728 memory=2538528 CPUtime=2.18 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 9366 0 0 0 201 17 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20855] ppid=20848 vsize=26539728 memory=2538528 CPUtime=2.23 cores=0-7
/proc/20850/task/20855/stat : 20855 (java) S 20848 20848 19702 0 -1 1077944384 10112 0 0 0 206 17 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406524570640 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20856] ppid=20848 vsize=26539728 memory=1384 CPUtime=2.22 cores=0-7
/proc/20850/task/20856/stat : 20856 (java) S 20848 20848 19702 0 -1 1077944384 9489 0 0 0 204 18 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406523517328 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20857] ppid=20848 vsize=26539728 memory=2530320 CPUtime=2.21 cores=0-7
/proc/20850/task/20857/stat : 20857 (java) S 20848 20848 19702 0 -1 1077944384 10535 0 0 0 204 17 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406522464528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20858] ppid=20848 vsize=26539728 memory=1384 CPUtime=2.2 cores=0-7
/proc/20850/task/20858/stat : 20858 (java) S 20848 20848 19702 0 -1 1077944384 9637 0 0 0 203 17 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406521412240 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20859] ppid=20848 vsize=26539728 memory=2533396 CPUtime=2.25 cores=0-7
/proc/20850/task/20859/stat : 20859 (java) S 20848 20848 19702 0 -1 1077944384 10261 0 0 0 208 17 0 0 20 0 28 0 146294564 27176681472 632580 33554432000 4194304 4196468 140721980640720 140406520359440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20860] ppid=20848 vsize=26539728 memory=2530320 CPUtime=9.06 cores=0-7
/proc/20850/task/20860/stat : 20860 (java) S 20848 20848 19702 0 -1 1077944384 38620 0 0 0 311 595 0 0 20 0 28 0 146294566 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405769235056 140406575118978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20861] ppid=20848 vsize=26539728 memory=655 CPUtime=0 cores=0-7
/proc/20850/task/20861/stat : 20861 (java) S 20848 20848 19702 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146294566 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405768181088 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20862] ppid=20848 vsize=26539728 memory=40740 CPUtime=0 cores=0-7
/proc/20850/task/20862/stat : 20862 (java) S 20848 20848 19702 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 146294566 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405767128704 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20863] ppid=20848 vsize=26539728 memory=1292 CPUtime=0 cores=0-7
/proc/20850/task/20863/stat : 20863 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405766077008 140406575126427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20864] ppid=20848 vsize=26539728 memory=18448 CPUtime=2.84 cores=0-7
/proc/20850/task/20864/stat : 20864 (java) S 20848 20848 19702 0 -1 1077944384 14049 0 0 0 280 4 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405765023856 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20865] ppid=20848 vsize=26539728 memory=22848 CPUtime=2.97 cores=0-7
/proc/20850/task/20865/stat : 20865 (java) S 20848 20848 19702 0 -1 1077944384 11669 0 0 0 295 2 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405763971056 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20866] ppid=20848 vsize=26539728 memory=1384 CPUtime=3.03 cores=0-7
/proc/20850/task/20866/stat : 20866 (java) S 20848 20848 19702 0 -1 1077944384 14872 0 0 0 301 2 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405762918768 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20867] ppid=20848 vsize=26539728 memory=2669820 CPUtime=1.06 cores=0-7
/proc/20850/task/20867/stat : 20867 (java) S 20848 20848 19702 0 -1 1077944384 18224 0 0 0 103 3 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405761865968 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20868] ppid=20848 vsize=26539728 memory=164 CPUtime=0 cores=0-7
/proc/20850/task/20868/stat : 20868 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405760813920 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20869] ppid=20848 vsize=26539728 memory=609244293240598732 CPUtime=0.93 cores=0-7
/proc/20850/task/20869/stat : 20869 (java) S 20848 20848 19702 0 -1 1077944384 5287 0 0 0 0 93 0 0 20 0 28 0 146294569 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405759761200 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21271] ppid=20848 vsize=26539728 memory=1384 CPUtime=1994.71 cores=0-7
/proc/20850/task/21271/stat : 21271 (java) R 20848 20848 19702 0 -1 4202560 8519 0 0 0 199465 6 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405745434176 140406197598526 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21272] ppid=20848 vsize=26539728 memory=2538528 CPUtime=2000.13 cores=0-7
/proc/20850/task/21272/stat : 21272 (java) R 20848 20848 19702 0 -1 4202560 6254 0 0 0 200007 6 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405743329744 140406196528746 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21273] ppid=20848 vsize=26539728 memory=1384 CPUtime=1990.13 cores=0-7
/proc/20850/task/21273/stat : 21273 (java) R 20848 20848 19702 0 -1 4202560 26198 0 0 0 198998 15 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405746487072 140406196247131 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21274] ppid=20848 vsize=26539728 memory=2565716 CPUtime=2003.53 cores=0-7
/proc/20850/task/21274/stat : 21274 (java) R 20848 20848 19702 0 -1 4202560 11831 0 0 0 200325 28 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405744381680 140406192818819 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21275] ppid=20848 vsize=26539728 memory=1384 CPUtime=1998.23 cores=0-7
/proc/20850/task/21275/stat : 21275 (java) R 20848 20848 19702 0 -1 4202560 9255 0 0 0 199808 15 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405749645736 140406196529046 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21276] ppid=20848 vsize=26539728 memory=1384 CPUtime=1998.51 cores=0-7
/proc/20850/task/21276/stat : 21276 (java) R 20848 20848 19702 0 -1 4202560 37510 0 0 0 199773 78 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405748592744 140406192819180 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21277] ppid=20848 vsize=26539728 memory=2533396 CPUtime=1991.46 cores=0-7
/proc/20850/task/21277/stat : 21277 (java) R 20848 20848 19702 0 -1 4202560 32769 0 0 0 199086 60 0 0 20 0 28 0 146343458 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405747540032 140406192035897 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21278] ppid=20848 vsize=26539728 memory=1384 CPUtime=2001.23 cores=0-7
/proc/20850/task/21278/stat : 21278 (java) R 20848 20848 19702 0 -1 4202560 7387 0 0 0 200116 7 0 0 20 0 28 0 146343459 27176681472 632580 33554432000 4194304 4196468 140721980640720 140405750701264 140406196529314 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
Current children cumulated CPU time: 19887 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 2531704 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.50 7.92 8.16 9/207 21348
/proc/meminfo: memFree=24547544/32770624 swapFree=67108860/67108860
[pid=20848] ppid=20845 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20848/stat : 20848 (xcsp3-exec) S 20845 20848 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146294563 9740288 346 33554432000 4194304 5098028 140724582162640 140724582160744 139860960023164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11796480 140724582171748 140724582171959 140724582171959 140724582174699 0
/proc/20848/statm: 2378 346 289 221 0 87 0
[pid=20850] ppid=20848 vsize=26539728 memory=2521008 CPUtime=20025.3 cores=0-7
/proc/20850/stat : 20850 (java) S 20848 20848 19702 0 -1 1077944320 434301 0 0 0 2001326 1207 0 0 20 0 28 0 146294563 27176681472 630252 33554432000 4194304 4196468 140721980640720 140721980623264 140406575107831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
/proc/20850/statm: 6634932 630252 3304 1 0 6622166 0
[pid=20850/tid=20851] ppid=20848 vsize=26539728 memory=1398720917958146503 CPUtime=1.52 cores=0-7
/proc/20850/task/20851/stat : 20851 (java) S 20848 20848 19702 0 -1 1077944384 8114 0 0 0 147 5 0 0 20 0 28 0 146294563 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406579348608 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20852] ppid=20848 vsize=26539728 memory=-7003737579269690708 CPUtime=2.32 cores=0-7
/proc/20850/task/20852/stat : 20852 (java) S 20848 20848 19702 0 -1 1077944384 8471 0 0 0 214 18 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406527728528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20853] ppid=20848 vsize=26539728 memory=4128 CPUtime=2.3 cores=0-7
/proc/20850/task/20853/stat : 20853 (java) S 20848 20848 19702 0 -1 1077944384 9661 0 0 0 214 16 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406526675728 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20854] ppid=20848 vsize=26539728 memory=1572 CPUtime=2.27 cores=0-7
/proc/20850/task/20854/stat : 20854 (java) S 20848 20848 19702 0 -1 1077944384 9934 0 0 0 210 17 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406525623440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20855] ppid=20848 vsize=26539728 memory=932 CPUtime=2.32 cores=0-7
/proc/20850/task/20855/stat : 20855 (java) S 20848 20848 19702 0 -1 1077944384 10145 0 0 0 215 17 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406524570640 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20856] ppid=20848 vsize=26539728 memory=1712 CPUtime=2.31 cores=0-7
/proc/20850/task/20856/stat : 20856 (java) S 20848 20848 19702 0 -1 1077944384 9606 0 0 0 213 18 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406523517328 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20857] ppid=20848 vsize=26539728 memory=1952 CPUtime=2.3 cores=0-7
/proc/20850/task/20857/stat : 20857 (java) S 20848 20848 19702 0 -1 1077944384 10697 0 0 0 213 17 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406522464528 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20858] ppid=20848 vsize=26539728 memory=8612 CPUtime=2.3 cores=0-7
/proc/20850/task/20858/stat : 20858 (java) S 20848 20848 19702 0 -1 1077944384 9692 0 0 0 212 18 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406521412240 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20859] ppid=20848 vsize=26539728 memory=1224 CPUtime=2.34 cores=0-7
/proc/20850/task/20859/stat : 20859 (java) S 20848 20848 19702 0 -1 1077944384 10581 0 0 0 217 17 0 0 20 0 28 0 146294564 27176681472 630252 33554432000 4194304 4196468 140721980640720 140406520359440 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20860] ppid=20848 vsize=26539728 memory=792 CPUtime=9.53 cores=0-7
/proc/20850/task/20860/stat : 20860 (java) S 20848 20848 19702 0 -1 1077944384 39865 0 0 0 326 627 0 0 20 0 28 0 146294566 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405769235056 140406575118978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20861] ppid=20848 vsize=26539728 memory=1004 CPUtime=0 cores=0-7
/proc/20850/task/20861/stat : 20861 (java) S 20848 20848 19702 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146294566 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405768181088 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20862] ppid=20848 vsize=26539728 memory=5788 CPUtime=0 cores=0-7
/proc/20850/task/20862/stat : 20862 (java) S 20848 20848 19702 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 146294566 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405767128704 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20863] ppid=20848 vsize=26539728 memory=1196 CPUtime=0 cores=0-7
/proc/20850/task/20863/stat : 20863 (java) S 20848 20848 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405766077008 140406575126427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20864] ppid=20848 vsize=26539728 memory=1384 CPUtime=2.84 cores=0-7
/proc/20850/task/20864/stat : 20864 (java) S 20848 20848 19702 0 -1 1077944384 14049 0 0 0 280 4 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405765023856 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20865] ppid=20848 vsize=26539728 memory=2529216 CPUtime=2.97 cores=0-7
/proc/20850/task/20865/stat : 20865 (java) S 20848 20848 19702 0 -1 1077944384 11669 0 0 0 295 2 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405763971056 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20866] ppid=20848 vsize=26539728 memory=2521008 CPUtime=3.03 cores=0-7
/proc/20850/task/20866/stat : 20866 (java) S 20848 20848 19702 0 -1 1077944384 14872 0 0 0 301 2 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405762918768 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20867] ppid=20848 vsize=26539728 memory=2424 CPUtime=1.06 cores=0-7
/proc/20850/task/20867/stat : 20867 (java) S 20848 20848 19702 0 -1 1077944384 18224 0 0 0 103 3 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405761865968 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20868] ppid=20848 vsize=26539728 memory=1236 CPUtime=0 cores=0-7
/proc/20850/task/20868/stat : 20868 (java) S 20848 20848 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405760813920 140406575118037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=20869] ppid=20848 vsize=26539728 memory=2240 CPUtime=0.93 cores=0-7
/proc/20850/task/20869/stat : 20869 (java) S 20848 20848 19702 0 -1 1077944384 5289 0 0 0 0 93 0 0 20 0 28 0 146294569 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405759761200 140406575118978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21271] ppid=20848 vsize=26539728 memory=4128 CPUtime=2011.77 cores=0-7
/proc/20850/task/21271/stat : 21271 (java) R 20848 20848 19702 0 -1 4202560 8535 0 0 0 201171 6 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405745437360 140406199097270 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21272] ppid=20848 vsize=26539728 memory=1572 CPUtime=2017.15 cores=0-7
/proc/20850/task/21272/stat : 21272 (java) R 20848 20848 19702 0 -1 4202560 6278 0 0 0 201709 6 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405743329880 140406196791494 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21273] ppid=20848 vsize=26539728 memory=932 CPUtime=2007.25 cores=0-7
/proc/20850/task/21273/stat : 21273 (java) R 20848 20848 19702 0 -1 4202560 26231 0 0 0 200710 15 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405746486792 140406197050823 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21274] ppid=20848 vsize=26539728 memory=2200 CPUtime=2020.9 cores=0-7
/proc/20850/task/21274/stat : 21274 (java) R 20848 20848 19702 0 -1 4202560 11841 0 0 0 202062 28 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405744381568 140406192819143 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21275] ppid=20848 vsize=26539728 memory=7792 CPUtime=2015.36 cores=0-7
/proc/20850/task/21275/stat : 21275 (java) R 20848 20848 19702 0 -1 4202560 9272 0 0 0 201521 15 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405749645392 140406196529098 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21276] ppid=20848 vsize=26539728 memory=840 CPUtime=2015.66 cores=0-7
/proc/20850/task/21276/stat : 21276 (java) R 20848 20848 19702 0 -1 4202560 37544 0 0 0 201488 78 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405748592576 140406196529300 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21277] ppid=20848 vsize=26539728 memory=1696 CPUtime=2008.59 cores=0-7
/proc/20850/task/21277/stat : 21277 (java) R 20848 20848 19702 0 -1 4202560 32786 0 0 0 200799 60 0 0 20 0 28 0 146343458 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405747540584 140406192932767 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
[pid=20850/tid=21278] ppid=20848 vsize=26539728 memory=920 CPUtime=2018.36 cores=0-7
/proc/20850/task/21278/stat : 21278 (java) R 20848 20848 19702 0 -1 4202560 7402 0 0 0 201829 7 0 0 20 0 28 0 146343459 27176681472 630252 33554432000 4194304 4196468 140721980640720 140405750698328 140406196529156 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 39428096 140721980646546 140721980646723 140721980646723 140721980649423 0
Current children cumulated CPU time: 20025.3 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 2522392 KiB

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

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

[startup+2520.15 s]
# the end of solver process 20850 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20014.1 s, system=12.0988 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: 7.50 7.92 8.16 3/206 21350
/proc/meminfo: memFree=24547776/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001876 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20026.2
CPU user time (s): 20014.1
CPU system time (s): 12.0988
CPU usage (%): 794.646
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 3489044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20014.1
system time used= 12.0988
maximum resident set size= 3487660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93321
involuntary context switches= 203637


# summary of solver processes directly reported to runsolver:
#   pid: 20848,20850
#   total CPU time (s): 20026.2
#   total CPU user time (s): 20014.1
#   total CPU system time (s): 12.0988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9352 second user time and 29.9991 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-19 10:26:46
IDJOB=4280644
IDBENCH=124394
IDSOLVER=2675
FILE ID=node107/4280644-1503132066
RUNJOBID= node107-1503126150-19729
PBS_JOBID= 20630778
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.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-4280644-1503132066/watcher-4280644-1503132066 -o /tmp/evaluation-result-4280644-1503132066/solver-4280644-1503132066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503126150-19729 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1580717749 HOME/instance-4280644-1503132066.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1580717749

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
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:        27065312 kB
MemAvailable:   31976536 kB
Buffers:          262720 kB
Cached:          4942332 kB
SwapCached:            0 kB
Active:           825684 kB
Inactive:        4431756 kB
Active(anon):      55324 kB
Inactive(anon):    33132 kB
Active(file):     770360 kB
Inactive(file):  4398624 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             4 kB
AnonPages:         60236 kB
Mapped:            50696 kB
Shmem:             33420 kB
Slab:             142104 kB
SReclaimable:     116152 kB
SUnreclaim:        25952 kB
KernelStack:        3152 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 11:08:47