Trace number 4280650

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)1454 19483.199 2520.1101

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n67-k10.xml
MD5SUM22a404b8d6219eda7de384223800de36
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1093
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables4556
Number of constraints4488
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}]
Minimum variable degree0
Maximum variable degree131
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}]
Number of extensional constraints0
Number of intensional constraints66
Distribution of constraint types[{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}]
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-4280650-1503132756.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280650-1503132756.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
4.68/1.50	c solve instance...
6.24/1.72	o 5240 
6.82/1.84	o 5190 
6.82/1.86	o 3279 
28.20/4.54	o 3271 
30.49/4.87	o 3270 
43.11/6.44	o 3269 
45.47/6.71	o 3264 
47.92/7.11	o 3244 
50.20/7.36	o 3243 
50.20/7.37	o 2998 
50.92/7.43	o 2996 
51.15/7.56	o 2975 
51.15/7.59	o 2972 
51.15/7.60	o 2970 
51.49/7.64	o 2940 
51.49/7.70	o 2919 
129.13/17.42	o 2908 
129.13/17.43	o 2898 
861.82/109.31	o 2867 
861.82/109.33	o 2809 
861.82/109.34	o 2800 
861.82/109.35	o 2799 
861.82/109.36	o 2790 
861.82/109.36	o 2789 
1798.92/226.94	o 2773 
1801.79/227.31	o 2758 
1824.12/230.12	o 2749 
1829.79/231.79	o 2744 
1829.90/231.86	o 2743 
1835.09/232.59	o 2733 
1847.32/234.21	o 2703 
1855.80/235.59	o 2702 
1857.54/235.84	o 2679 
1863.08/236.58	o 2647 
1869.44/237.38	o 2640 
1910.76/242.53	o 2539 
1917.91/243.46	o 2535 
1933.81/245.56	o 2532 
1954.15/248.19	o 2512 
2008.27/254.99	o 2446 
2009.15/255.28	o 2435 
2012.36/256.11	o 2422 
2014.76/256.67	o 2416 
2026.25/258.14	o 2387 
2032.53/258.90	o 2379 
2034.17/259.14	o 2378 
2035.69/259.38	o 2377 
2054.79/262.41	o 2314 
2054.79/262.49	o 2313 
2057.53/262.82	o 2311 
2068.50/264.23	o 2304 
2073.36/265.63	o 2298 
2130.71/274.16	o 2296 
2135.02/276.28	o 2293 
2171.94/282.83	o 2251 
2180.37/284.07	o 2240 
2182.62/284.46	o 2239 
2216.69/288.92	o 2218 
2218.75/289.30	o 2211 
2281.29/297.23	o 2152 
2292.81/298.90	o 2114 
2298.04/300.13	o 2065 
2298.58/300.20	o 2062 
2385.35/311.19	o 2036 
2485.48/324.29	o 2020 
2499.46/327.10	o 2013 
2499.56/327.17	o 2009 
2512.38/331.20	o 1990 
2514.06/331.43	o 1985 
2539.97/334.75	o 1981 
2559.85/337.90	o 1959 
2621.36/345.67	o 1949 
2649.31/349.17	o 1947 
2664.43/351.02	o 1943 
2697.09/355.19	o 1941 
2712.10/357.02	o 1913 
2712.10/357.08	o 1911 
2751.74/362.23	o 1909 
2755.48/362.79	o 1905 
2755.67/362.86	o 1874 
2782.23/366.78	o 1870 
2800.04/369.04	o 1843 
2842.12/375.38	o 1833 
2876.42/379.81	o 1830 
2876.42/379.88	o 1823 
2898.59/384.44	o 1792 
3014.81/399.06	o 1789 
3033.89/402.07	o 1787 
3039.12/404.03	o 1784 
3053.23/405.81	o 1770 
3163.40/420.35	o 1761 
3257.04/433.31	o 1754 
3314.92/440.83	o 1727 
3325.84/442.29	o 1720 
3355.93/446.96	o 1714 
3396.21/452.02	o 1713 
3413.08/454.25	o 1709 
3426.19/458.42	o 1690 
3444.20/461.44	o 1686 
3498.16/468.21	o 1667 
3517.34/471.75	o 1663 
3542.45/474.94	o 1656 
3630.99/487.34	o 1655 
3684.11/494.09	o 1652 
3852.32/517.40	o 1647 
3852.32/517.47	o 1639 
3990.68/535.55	o 1637 
4021.93/539.82	o 1636 
4065.52/545.62	o 1635 
4101.29/551.29	o 1629 
4120.77/555.52	o 1628 
4298.92/579.15	o 1624 
4433.68/598.05	o 1621 
4666.62/627.44	o 1618 
4889.31/658.57	o 1611 
5173.60/694.25	o 1597 
5304.32/710.64	o 1596 
5630.49/752.95	o 1593 
5860.67/785.28	o 1586 
6285.21/838.55	o 1582 
6306.62/844.48	o 1581 
7666.99/1016.62	o 1577 
7893.07/1046.37	o 1569 
7923.61/1050.32	o 1567 
8180.23/1083.82	o 1565 
8660.13/1147.80	o 1563 
8930.79/1182.02	o 1562 
8951.85/1187.10	o 1561 
9129.95/1217.56	o 1558 
9167.90/1225.96	o 1556 
9244.25/1235.68	o 1552 
9244.45/1235.75	o 1547 
9337.54/1247.41	o 1545 
9556.62/1274.91	o 1542 
11250.85/1487.31	o 1538 
11283.52/1491.42	o 1535 
11291.47/1492.47	o 1529 
11333.72/1497.72	o 1491 
11930.11/1572.72	o 1488 
12118.92/1596.46	o 1485 
12453.12/1638.37	o 1483 
12455.47/1638.67	o 1481 
12512.07/1645.73	o 1477 
15697.23/2045.08	o 1462 
15969.20/2079.15	o 1461 
16183.72/2106.06	o 1460 
16435.48/2137.68	o 1455 
17902.01/2321.62	o 1454 
19482.53/2520.08	s SATISFIABLE
19482.53/2520.08	v <instantiation>
19482.53/2520.08	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[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] 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[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] 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[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] 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[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] 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[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] 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[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] 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[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] 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[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] 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[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] 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[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] 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[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] 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[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] 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[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] 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[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] 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[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] 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[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] 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[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] 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[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] 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[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] 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[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] 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[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] 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[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] 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[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] 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[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] 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[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] 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[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] 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[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] 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[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] 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[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] 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[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] 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[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] 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[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] 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[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] 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[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] 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[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] 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[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] 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[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] 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[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] 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[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] 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[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] 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[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] 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[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] 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[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] 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[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] 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[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] 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[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] 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[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] 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[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] 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[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] 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[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] 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[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] 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[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] 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[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] 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[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] 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[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] 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[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] 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[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] 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[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] 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[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] 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[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] 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] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] 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] u[61] u[62] u[63] u[64] u[65] u[66] </list>
19482.53/2520.09	v 	<values>0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 23 47 47 8 93 82 100 48 85 50 77 87 25 49 44 17 100 78 70 77 86 56 19 80 62 18 94 64 57 98 99 76 34 60 28 65 62 75 44 57 33 23 100 16 31 99 74 26 43 99 42 49 46 98 90 17 77 75 59 33 55 40 92 58 71 21 </values>
19482.53/2520.09	v </instantiation>
19482.53/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	1454

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280650-1503132756/watcher-4280650-1503132756 -o /tmp/evaluation-result-4280650-1503132756/solver-4280650-1503132756 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 971592705 HOME/instance-4280650-1503132756.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=10433, runsolver pid=10430

[startup+0.100161 s]*
/proc/loadavg: 8.07 8.27 8.29 3/199 10454
/proc/meminfo: memFree=27375680/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=25999808 memory=26316 CPUtime=0.12 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 20 0 146363256 26623803392 6579 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6499952 6579 2848 1 0 6488269 0
[pid=10435/tid=10436] ppid=10433 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) R 10433 10433 4731 0 -1 4202560 3488 0 0 0 8 0 0 0 20 0 20 0 146363256 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970591588608 139970587368854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970509937424 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=25999808 memory=140204721333888 CPUtime=0 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970508884880 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10440] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10440/stat : 10440 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970506779792 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10441] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10441/stat : 10441 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970505726224 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10442] ppid=10433 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10442/stat : 10442 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970504673680 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10443] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10443/stat : 10443 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970503621136 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10444] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10444/stat : 10444 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26623803392 6644 33554432000 4194304 4196468 140736573684704 139970502568592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10445] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10445/stat : 10445 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363258 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969983166960 139970587368066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10446] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10446/stat : 10446 (java) S 10433 10433 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146363259 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969982113184 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10447] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10447/stat : 10447 (java) S 10433 10433 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146363259 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969981060592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10448] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10448/stat : 10448 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363261 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969980009168 139970587375515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10449] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10449/stat : 10449 (java) S 10433 10433 4731 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 146363261 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969978955760 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10450] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10450/stat : 10450 (java) R 10433 10433 4731 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146363261 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969977903216 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10451] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10451/stat : 10451 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363261 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969976850672 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10452] ppid=10433 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10435/task/10452/stat : 10452 (java) R 10433 10433 4731 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 146363261 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969975798128 139970573368945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10453] ppid=10433 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10453/stat : 10453 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363262 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969974745824 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10454] ppid=10433 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10454/stat : 10454 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363262 26623803392 6644 33554432000 4194304 4196468 140736573684704 139969973693360 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27700 KiB

[startup+0.210069 s]*
/proc/loadavg: 7.66 8.18 8.26 2/199 10454
/proc/meminfo: memFree=27364880/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=26004064 memory=38792 CPUtime=0.33 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 8280 0 0 0 31 2 0 0 20 0 20 0 146363256 26628161536 9698 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6501016 9698 3059 1 0 6488269 0
[pid=10435/tid=10436] ppid=10433 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) R 10433 10433 4731 0 -1 4202560 5445 0 0 0 18 1 0 0 20 0 20 0 146363256 26628194304 9698 33554432000 4194304 4196468 140736573684704 139970591567712 139970580036637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=26004096 memory=342 CPUtime=0 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628194304 9698 33554432000 4194304 4196468 140736573684704 139970509937424 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=26004096 memory=4122401931654096544 CPUtime=0 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628194304 9698 33554432000 4194304 4196468 140736573684704 139970508884880 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10440] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10440/stat : 10440 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970506779792 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10441] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10441/stat : 10441 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970505726224 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10442] ppid=10433 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10442/stat : 10442 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970504673680 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10443] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10443/stat : 10443 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970503621136 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10444] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10444/stat : 10444 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 9698 33554432000 4194304 4196468 140736573684704 139970502568592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10445] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10445/stat : 10445 (java) S 10433 10433 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 146363258 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969983166960 139970587368066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10446] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10446/stat : 10446 (java) S 10433 10433 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146363259 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969982113184 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10447] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10447/stat : 10447 (java) S 10433 10433 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146363259 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969981060592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10448] ppid=10433 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10448/stat : 10448 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363261 26628194304 9698 33554432000 4194304 4196468 140736573684704 139969980009168 139970587375515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10449] ppid=10433 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/10435/task/10449/stat : 10449 (java) S 10433 10433 4731 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 20 0 146363261 26628194304 9698 33554432000 4194304 4196468 140736573684704 139969978955760 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10450] ppid=10433 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/10435/task/10450/stat : 10450 (java) S 10433 10433 4731 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 146363261 26628194304 9698 33554432000 4194304 4196468 140736573684704 139969977903216 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10451] ppid=10433 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10451/stat : 10451 (java) S 10433 10433 4731 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 146363261 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969976850672 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10452] ppid=10433 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/10435/task/10452/stat : 10452 (java) S 10433 10433 4731 0 -1 1077944384 720 0 0 0 8 0 0 0 20 0 20 0 146363261 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969975798128 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10453] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10453/stat : 10453 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363262 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969974745824 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10454] ppid=10433 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10454/stat : 10454 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363262 26628161536 9698 33554432000 4194304 4196468 140736573684704 139969973693360 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40176 KiB

[startup+0.309731 s]*
/proc/loadavg: 7.66 8.18 8.26 3/199 10454
/proc/meminfo: memFree=27360476/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=26004064 memory=45936 CPUtime=0.5 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 9243 0 0 0 47 3 0 0 20 0 20 0 146363256 26628161536 11484 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6501016 11484 3099 1 0 6488269 0
[pid=10435/tid=10436] ppid=10433 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) R 10433 10433 4731 0 -1 4202560 6109 0 0 0 27 2 0 0 20 0 20 0 146363256 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970591595696 139970182477872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970509937424 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970508884880 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10440] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10440/stat : 10440 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970506779792 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10441] ppid=10433 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10435/task/10441/stat : 10441 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970505726224 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10442] ppid=10433 vsize=26004064 memory=140204576961455 CPUtime=0 cores=0-7
/proc/10435/task/10442/stat : 10442 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970504673680 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10443] ppid=10433 vsize=26004064 memory=140204576963760 CPUtime=0 cores=0-7
/proc/10435/task/10443/stat : 10443 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970503621136 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10444] ppid=10433 vsize=26004064 memory=140204576966064 CPUtime=0 cores=0-7
/proc/10435/task/10444/stat : 10444 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26628161536 11484 33554432000 4194304 4196468 140736573684704 139970502568592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10445] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10445/stat : 10445 (java) S 10433 10433 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 146363258 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969983166960 139970587368066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10446] ppid=10433 vsize=26004064 memory=280409153939088 CPUtime=0 cores=0-7
/proc/10435/task/10446/stat : 10446 (java) S 10433 10433 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146363259 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969982113184 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10447] ppid=10433 vsize=26004064 memory=280409153946000 CPUtime=0 cores=0-7
/proc/10435/task/10447/stat : 10447 (java) S 10433 10433 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146363259 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969981060592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10448] ppid=10433 vsize=26004064 memory=280409153887280 CPUtime=0 cores=0-7
/proc/10435/task/10448/stat : 10448 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363261 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969980009168 139970587375515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10449] ppid=10433 vsize=26004064 memory=280409153959824 CPUtime=0.02 cores=0-7
/proc/10435/task/10449/stat : 10449 (java) R 10433 10433 4731 0 -1 4202560 491 0 0 0 2 0 0 0 20 0 20 0 146363261 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969978955760 139970568877742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10450] ppid=10433 vsize=26004064 memory=280409153966736 CPUtime=0.03 cores=0-7
/proc/10435/task/10450/stat : 10450 (java) S 10433 10433 4731 0 -1 1077944384 392 0 0 0 3 0 0 0 20 0 20 0 146363261 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969977903216 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10451] ppid=10433 vsize=26004064 memory=280409153964432 CPUtime=0.01 cores=0-7
/proc/10435/task/10451/stat : 10451 (java) R 10433 10433 4731 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 20 0 146363261 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969976842000 139970566505608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10452] ppid=10433 vsize=26004064 memory=280409153980592 CPUtime=0.13 cores=0-7
/proc/10435/task/10452/stat : 10452 (java) R 10433 10433 4731 0 -1 4202560 896 0 0 0 13 0 0 0 20 0 20 0 146363261 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969975795064 139970573038358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10453] ppid=10433 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10453/stat : 10453 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146363262 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969974745824 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10454] ppid=10433 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10435/task/10454/stat : 10454 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363262 26628161536 11484 33554432000 4194304 4196468 140736573684704 139969973693360 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47320 KiB

[startup+0.701035 s]
/proc/loadavg: 7.66 8.18 8.26 5/199 10454
/proc/meminfo: memFree=27330388/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=26006188 memory=110684 CPUtime=2.09 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 13599 0 0 0 204 5 0 0 20 0 20 0 146363256 26630336512 27671 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6501547 27671 3206 1 0 6488781 0
[pid=10435/tid=10436] ppid=10433 vsize=26006188 memory=280409154338480 CPUtime=0.67 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) R 10433 10433 4731 0 -1 4202560 6615 0 0 0 64 3 0 0 20 0 20 0 146363256 26630336512 27671 33554432000 4194304 4196468 140736573684704 139970591591968 139970186831177 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=26006188 memory=140204577170288 CPUtime=0 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146363257 26630336512 27671 33554432000 4194304 4196468 140736573684704 139970509937424 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26630336512 27671 33554432000 4194304 4196468 140736573684704 139970508884880 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146363257 26630336512 27671 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0

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

[pid=10435/tid=11704] ppid=10433 vsize=26804956 memory=1384 CPUtime=120.33 cores=0-7
/proc/10435/task/11704/stat : 11704 (java) R 10433 10433 4731 0 -1 4202560 1310 0 0 0 12032 1 0 0 20 0 28 0 146595418 27448274944 773663 33554432000 4194304 4196468 140736573684704 139969965682968 139970191019339 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 18863.6 s
Current children cumulated vsize: 26814468 KiB
Current children cumulated memory: 3096036 KiB

[startup+2502.3 s]
/proc/loadavg: 8.44 8.26 8.13 9/207 11704
/proc/meminfo: memFree=24266760/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=26804956 memory=3128984 CPUtime=19341.4 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 867830 0 0 0 1933107 1038 0 0 20 0 28 0 146363256 27448274944 782246 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6701239 782246 3288 1 0 6688473 0
[pid=10435/tid=10436] ppid=10433 vsize=26804956 memory=3130012 CPUtime=1.76 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) S 10433 10433 4731 0 -1 1077944384 32713 0 0 0 165 11 0 0 20 0 28 0 146363256 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970591597728 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=26804956 memory=3130524 CPUtime=0.56 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) R 10433 10433 4731 0 -1 4202560 7406 0 0 0 44 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970509937424 139970587368854 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=26804956 memory=3130524 CPUtime=0.57 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) R 10433 10433 4731 0 -1 4202560 6620 0 0 0 44 13 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970508884880 139970587368854 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=26804956 memory=3128972 CPUtime=0.57 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 8541 0 0 0 45 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10440] ppid=10433 vsize=26804956 memory=3094652 CPUtime=0.56 cores=0-7
/proc/10435/task/10440/stat : 10440 (java) R 10433 10433 4731 0 -1 4202560 6261 0 0 0 44 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970506779792 139970587368854 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10441] ppid=10433 vsize=26804956 memory=3096188 CPUtime=0.56 cores=0-7
/proc/10435/task/10441/stat : 10441 (java) R 10433 10433 4731 0 -1 4202560 8345 0 0 0 44 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970505726224 139970587368854 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10442] ppid=10433 vsize=26804956 memory=3110956 CPUtime=0.57 cores=0-7
/proc/10435/task/10442/stat : 10442 (java) S 10433 10433 4731 0 -1 1077944384 8136 0 0 0 45 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970504673680 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10443] ppid=10433 vsize=26804956 memory=3333644 CPUtime=0.55 cores=0-7
/proc/10435/task/10443/stat : 10443 (java) R 10433 10433 4731 0 -1 1077944384 5068 0 0 0 43 12 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970503621136 139970587367125 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10444] ppid=10433 vsize=26804956 memory=3342944 CPUtime=0.55 cores=0-7
/proc/10435/task/10444/stat : 10444 (java) R 10433 10433 4731 0 -1 4202560 6675 0 0 0 44 11 0 0 20 0 28 0 146363257 27448274944 782246 33554432000 4194304 4196468 140736573684704 139970502568592 139970566551949 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10445] ppid=10433 vsize=26804956 memory=3225832 CPUtime=0.97 cores=0-7
/proc/10435/task/10445/stat : 10445 (java) S 10433 10433 4731 0 -1 1077944384 30430 0 0 0 40 57 0 0 20 0 28 0 146363258 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969983165472 139970587367125 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10446] ppid=10433 vsize=26804956 memory=3226012 CPUtime=0 cores=0-7
/proc/10435/task/10446/stat : 10446 (java) S 10433 10433 4731 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146363259 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969982113248 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10447] ppid=10433 vsize=26804956 memory=3207096 CPUtime=0 cores=0-7
/proc/10435/task/10447/stat : 10447 (java) S 10433 10433 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 146363259 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969981060608 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10448] ppid=10433 vsize=26804956 memory=3207096 CPUtime=0 cores=0-7
/proc/10435/task/10448/stat : 10448 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146363261 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969980009168 139970587375515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10449] ppid=10433 vsize=26804956 memory=3207096 CPUtime=3.65 cores=0-7
/proc/10435/task/10449/stat : 10449 (java) S 10433 10433 4731 0 -1 1077944384 21498 0 0 0 362 3 0 0 20 0 28 0 146363261 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969978955760 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10450] ppid=10433 vsize=26804956 memory=1384 CPUtime=3.43 cores=0-7
/proc/10435/task/10450/stat : 10450 (java) S 10433 10433 4731 0 -1 1077944384 23120 0 0 0 339 4 0 0 20 0 28 0 146363261 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969977903216 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10451] ppid=10433 vsize=26804956 memory=3172784 CPUtime=3.35 cores=0-7
/proc/10435/task/10451/stat : 10451 (java) S 10433 10433 4731 0 -1 1077944384 22480 0 0 0 331 4 0 0 20 0 28 0 146363261 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969976850672 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10452] ppid=10433 vsize=26804956 memory=3160184 CPUtime=1.17 cores=0-7
/proc/10435/task/10452/stat : 10452 (java) S 10433 10433 4731 0 -1 1077944384 38396 0 0 0 112 5 0 0 20 0 28 0 146363261 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969975798128 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10453] ppid=10433 vsize=26804956 memory=3085768 CPUtime=0 cores=0-7
/proc/10435/task/10453/stat : 10453 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146363262 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969974745824 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10454] ppid=10433 vsize=26804956 memory=3102244 CPUtime=0.93 cores=0-7
/proc/10435/task/10454/stat : 10454 (java) S 10433 10433 4731 0 -1 1077944384 15389 0 0 0 44 49 0 0 20 0 28 0 146363262 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969973693360 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11697] ppid=10433 vsize=26804956 memory=3096188 CPUtime=180.21 cores=0-7
/proc/10435/task/11697/stat : 11697 (java) S 10433 10433 4731 0 -1 1077944384 1398 0 0 0 18021 0 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969886628960 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11698] ppid=10433 vsize=26804956 memory=3113108 CPUtime=179.5 cores=0-7
/proc/10435/task/11698/stat : 11698 (java) S 10433 10433 4731 0 -1 1077944384 1461 0 0 0 17949 1 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969896104400 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11699] ppid=10433 vsize=26804956 memory=3129488 CPUtime=180.1 cores=0-7
/proc/10435/task/11699/stat : 11699 (java) S 10433 10433 4731 0 -1 1077944384 3992 0 0 0 18009 1 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969887682176 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11700] ppid=10433 vsize=26804956 memory=3128460 CPUtime=179.85 cores=0-7
/proc/10435/task/11700/stat : 11700 (java) S 10433 10433 4731 0 -1 1077944384 3777 0 0 0 17981 4 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969892946000 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11701] ppid=10433 vsize=26804956 memory=3129500 CPUtime=180.15 cores=0-7
/proc/10435/task/11701/stat : 11701 (java) S 10433 10433 4731 0 -1 1077944384 2540 0 0 0 18012 3 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969891893072 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11702] ppid=10433 vsize=26804956 memory=3128984 CPUtime=180.25 cores=0-7
/proc/10435/task/11702/stat : 11702 (java) S 10433 10433 4731 0 -1 1077944384 5179 0 0 0 18021 4 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969888734864 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11703] ppid=10433 vsize=26804956 memory=3128984 CPUtime=177.94 cores=0-7
/proc/10435/task/11703/stat : 11703 (java) S 10433 10433 4731 0 -1 1077944384 1203 0 0 0 17794 0 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969895054672 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11704] ppid=10433 vsize=26804956 memory=1384 CPUtime=179.89 cores=0-7
/proc/10435/task/11704/stat : 11704 (java) S 10433 10433 4731 0 -1 1077944384 1619 0 0 0 17988 1 0 0 20 0 28 0 146595418 27448274944 782246 33554432000 4194304 4196468 140736573684704 139969965683248 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 19341.5 s
Current children cumulated vsize: 26814468 KiB
Current children cumulated memory: 3130368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.57 8.29 8.15 10/207 11711
/proc/meminfo: memFree=24266772/32770624 swapFree=67108860/67108860
[pid=10433] ppid=10430 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10433/stat : 10433 (xcsp3-exec) S 10430 10433 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146363255 9740288 346 33554432000 4194304 5098028 140724707376400 140724707374504 139996156707452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17948672 140724707382373 140724707382583 140724707382583 140724707385323 0
/proc/10433/statm: 2378 346 289 221 0 87 0
[pid=10435] ppid=10433 vsize=26804956 memory=3128532 CPUtime=19482.5 cores=0-7
/proc/10435/stat : 10435 (java) S 10433 10433 4731 0 -1 1077944320 869712 0 0 0 1947214 1039 0 0 20 0 28 0 146363256 27448274944 782133 33554432000 4194304 4196468 140736573684704 140736573667248 139970587356919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
/proc/10435/statm: 6701239 782133 3288 1 0 6688473 0
[pid=10435/tid=10436] ppid=10433 vsize=26804956 memory=4140 CPUtime=1.76 cores=0-7
/proc/10435/task/10436/stat : 10436 (java) S 10433 10433 4731 0 -1 1077944384 32713 0 0 0 165 11 0 0 20 0 28 0 146363256 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970591597728 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10437] ppid=10433 vsize=26804956 memory=4872558044660077418 CPUtime=0.58 cores=0-7
/proc/10435/task/10437/stat : 10437 (java) S 10433 10433 4731 0 -1 1077944384 7789 0 0 0 46 12 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970509937424 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10438] ppid=10433 vsize=26804956 memory=3126972 CPUtime=0.59 cores=0-7
/proc/10435/task/10438/stat : 10438 (java) S 10433 10433 4731 0 -1 1077944384 6720 0 0 0 46 13 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970508884880 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10439] ppid=10433 vsize=26804956 memory=1296 CPUtime=0.6 cores=0-7
/proc/10435/task/10439/stat : 10439 (java) S 10433 10433 4731 0 -1 1077944384 8577 0 0 0 48 12 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970507832336 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10440] ppid=10433 vsize=26804956 memory=2416 CPUtime=0.59 cores=0-7
/proc/10435/task/10440/stat : 10440 (java) S 10433 10433 4731 0 -1 1077944384 6358 0 0 0 47 12 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970506779792 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10441] ppid=10433 vsize=26804956 memory=1728 CPUtime=0.59 cores=0-7
/proc/10435/task/10441/stat : 10441 (java) S 10433 10433 4731 0 -1 1077944384 8420 0 0 0 46 13 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970505726224 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10442] ppid=10433 vsize=26804956 memory=796 CPUtime=0.6 cores=0-7
/proc/10435/task/10442/stat : 10442 (java) S 10433 10433 4731 0 -1 1077944384 8205 0 0 0 48 12 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970504673680 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10443] ppid=10433 vsize=26804956 memory=1716 CPUtime=0.57 cores=0-7
/proc/10435/task/10443/stat : 10443 (java) S 10433 10433 4731 0 -1 1077944384 5144 0 0 0 45 12 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970503621136 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10444] ppid=10433 vsize=26804956 memory=1948 CPUtime=0.57 cores=0-7
/proc/10435/task/10444/stat : 10444 (java) S 10433 10433 4731 0 -1 1077944384 6704 0 0 0 46 11 0 0 20 0 28 0 146363257 27448274944 782133 33554432000 4194304 4196468 140736573684704 139970502568592 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10445] ppid=10433 vsize=26804956 memory=2240 CPUtime=0.98 cores=0-7
/proc/10435/task/10445/stat : 10445 (java) S 10433 10433 4731 0 -1 1077944384 30650 0 0 0 41 57 0 0 20 0 28 0 146363258 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969983166960 139970587368066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10446] ppid=10433 vsize=26804956 memory=3126972 CPUtime=0 cores=0-7
/proc/10435/task/10446/stat : 10446 (java) S 10433 10433 4731 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146363259 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969982113248 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10447] ppid=10433 vsize=26804956 memory=3126972 CPUtime=0 cores=0-7
/proc/10435/task/10447/stat : 10447 (java) S 10433 10433 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 146363259 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969981060608 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10448] ppid=10433 vsize=26804956 memory=1576 CPUtime=0 cores=0-7
/proc/10435/task/10448/stat : 10448 (java) S 10433 10433 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146363261 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969980009168 139970587375515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10449] ppid=10433 vsize=26804956 memory=2196 CPUtime=3.65 cores=0-7
/proc/10435/task/10449/stat : 10449 (java) S 10433 10433 4731 0 -1 1077944384 21500 0 0 0 362 3 0 0 20 0 28 0 146363261 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969978955760 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10450] ppid=10433 vsize=26804956 memory=8040 CPUtime=3.43 cores=0-7
/proc/10435/task/10450/stat : 10450 (java) S 10433 10433 4731 0 -1 1077944384 23122 0 0 0 339 4 0 0 20 0 28 0 146363261 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969977903216 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10451] ppid=10433 vsize=26804956 memory=840 CPUtime=3.35 cores=0-7
/proc/10435/task/10451/stat : 10451 (java) S 10433 10433 4731 0 -1 1077944384 22482 0 0 0 331 4 0 0 20 0 28 0 146363261 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969976850672 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10452] ppid=10433 vsize=26804956 memory=1692 CPUtime=1.17 cores=0-7
/proc/10435/task/10452/stat : 10452 (java) S 10433 10433 4731 0 -1 1077944384 38398 0 0 0 112 5 0 0 20 0 28 0 146363261 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969975798128 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10453] ppid=10433 vsize=26804956 memory=1384 CPUtime=0 cores=0-7
/proc/10435/task/10453/stat : 10453 (java) S 10433 10433 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146363262 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969974745824 139970587367125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=10454] ppid=10433 vsize=26804956 memory=3127976 CPUtime=0.94 cores=0-7
/proc/10435/task/10454/stat : 10454 (java) S 10433 10433 4731 0 -1 1077944384 15402 0 0 0 44 50 0 0 20 0 28 0 146363262 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969973693360 139970587368066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11697] ppid=10433 vsize=26804956 memory=4100 CPUtime=197.87 cores=0-7
/proc/10435/task/11697/stat : 11697 (java) R 10433 10433 4731 0 -1 4202560 1449 0 0 0 19787 0 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969886629200 139970186981851 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11698] ppid=10433 vsize=26804956 memory=6791534058613427641 CPUtime=197.08 cores=0-7
/proc/10435/task/11698/stat : 11698 (java) R 10433 10433 4731 0 -1 4202560 1537 0 0 0 19707 1 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969896104608 139970193636471 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11699] ppid=10433 vsize=26804956 memory=4872558044660077418 CPUtime=197.75 cores=0-7
/proc/10435/task/11699/stat : 11699 (java) R 10433 10433 4731 0 -1 4202560 4169 0 0 0 19774 1 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969887681824 139970185267758 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11700] ppid=10433 vsize=26804956 memory=4872558044660077418 CPUtime=197.41 cores=0-7
/proc/10435/task/11700/stat : 11700 (java) R 10433 10433 4731 0 -1 4202560 3908 0 0 0 19737 4 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969892945808 139970193775727 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11701] ppid=10433 vsize=26804956 memory=1008 CPUtime=197.8 cores=0-7
/proc/10435/task/11701/stat : 11701 (java) R 10433 10433 4731 0 -1 4202560 2647 0 0 0 19777 3 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969891895792 139970193636471 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11702] ppid=10433 vsize=26804956 memory=4612 CPUtime=197.91 cores=0-7
/proc/10435/task/11702/stat : 11702 (java) R 10433 10433 4731 0 -1 4202560 5293 0 0 0 19787 4 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969888735320 139970191019220 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11703] ppid=10433 vsize=26804956 memory=1428 CPUtime=195.55 cores=0-7
/proc/10435/task/11703/stat : 11703 (java) R 10433 10433 4731 0 -1 4202560 1259 0 0 0 19555 0 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969895051416 139970192012159 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
[pid=10435/tid=11704] ppid=10433 vsize=26804956 memory=1384 CPUtime=197.39 cores=0-7
/proc/10435/task/11704/stat : 11704 (java) R 10433 10433 4731 0 -1 4202560 1683 0 0 0 19738 1 0 0 20 0 28 0 146595418 27448274944 782133 33554432000 4194304 4196468 140736573684704 139969965683032 139970192010884 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32112640 140736573691026 140736573691203 140736573691203 140736573693903 0
Current children cumulated CPU time: 19482.5 s
Current children cumulated vsize: 26814468 KiB
Current children cumulated memory: 3129916 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19483.2
CPU user time (s): 19472.8
CPU system time (s): 10.4129
CPU usage (%): 773.11
Max. virtual memory (cumulated for all children) (KiB): 26814468
Max. memory (cumulated for all children) (KiB): 3472708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19472.8
system time used= 10.4129
maximum resident set size= 3475460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 870670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89439
involuntary context switches= 199631


# summary of solver processes directly reported to runsolver:
#   pid: 10433,10435
#   total CPU time (s): 19483.2
#   total CPU user time (s): 19472.8
#   total CPU system time (s): 10.4129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3685 second user time and 26.4676 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-19 10:38:16
IDJOB=4280650
IDBENCH=124400
IDSOLVER=2675
FILE ID=node106/4280650-1503132756
RUNJOBID= node106-1503124150-4758
PBS_JOBID= 20630776
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.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-4280650-1503132756/watcher-4280650-1503132756 -o /tmp/evaluation-result-4280650-1503132756/solver-4280650-1503132756 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 971592705 HOME/instance-4280650-1503132756.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=971592705

node106.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.86
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.86
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.86
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.86
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:        27391192 kB
MemAvailable:   31971848 kB
Buffers:          231776 kB
Cached:          4642200 kB
SwapCached:            0 kB
Active:          1044536 kB
Inactive:        3884972 kB
Active(anon):      11864 kB
Inactive(anon):    80268 kB
Active(file):    1032672 kB
Inactive(file):  3804704 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7928 kB
Writeback:             0 kB
AnonPages:         63512 kB
Mapped:            50740 kB
Shmem:             33420 kB
Slab:             144736 kB
SReclaimable:     118228 kB
SUnreclaim:        26508 kB
KernelStack:        3504 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 11:20:16