Trace number 4270840

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)1382 20087.801 2520.1201

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-4270840-1502711200.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270840-1502711200.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
5.15/1.55	c solve instance...
6.14/1.79	o 5240 
6.96/1.87	o 3279 
29.67/4.73	o 3271 
32.89/5.14	o 3270 
46.25/6.85	o 3269 
48.61/7.11	o 3264 
50.89/7.41	o 3244 
51.81/7.61	o 2998 
51.81/7.65	o 2996 
51.81/7.70	o 2975 
52.24/7.76	o 2972 
52.61/7.92	o 2970 
52.61/7.94	o 2940 
52.61/7.96	o 2919 
144.06/19.49	o 2908 
144.86/19.52	o 2898 
679.16/86.50	o 2862 
685.51/87.33	o 2839 
713.40/90.87	o 2827 
717.44/91.33	o 2759 
737.27/93.81	o 2703 
749.20/95.32	o 2702 
784.26/99.75	o 2685 
817.75/103.91	o 2659 
819.39/104.15	o 2644 
821.69/104.41	o 2623 
830.43/105.55	o 2616 
847.91/107.76	o 2581 
851.87/108.24	o 2577 
852.65/108.30	o 2576 
871.78/110.73	o 2574 
875.74/111.20	o 2570 
888.49/112.87	o 2540 
897.24/113.99	o 2536 
899.61/114.22	o 2535 
903.58/114.72	o 2525 
927.49/117.70	o 2519 
933.85/118.57	o 2518 
939.41/119.27	o 2516 
948.14/120.39	o 2499 
952.06/120.84	o 2491 
966.38/122.69	o 2489 
975.13/123.79	o 2436 
977.57/124.03	o 2434 
1021.35/129.51	o 2395 
1024.51/129.99	o 2394 
1047.64/132.85	o 2390 
1059.58/134.36	o 2386 
1099.41/139.32	o 2383 
1116.94/141.60	o 2382 
1128.09/142.92	o 2333 
1136.90/144.04	o 2331 
1206.21/152.75	o 2323 
1220.55/154.58	o 2290 
1226.10/155.22	o 2234 
1257.26/159.15	o 2233 
1266.74/160.35	o 2232 
1358.49/171.85	o 2230 
1361.53/172.29	o 2229 
1430.92/180.93	o 2210 
1462.81/184.97	o 2206 
1468.11/185.61	o 2205 
1471.25/186.06	o 2176 
1472.03/186.14	o 2122 
1474.32/186.48	o 2121 
1487.14/188.05	o 2109 
1511.06/191.08	o 2097 
1534.95/194.09	o 2087 
1584.33/200.22	o 2059 
1589.09/200.86	o 2034 
1603.50/202.66	o 2032 
1615.43/204.12	o 2030 
1640.86/207.36	o 2029 
1641.63/207.44	o 2025 
1643.18/207.68	o 2015 
1650.33/208.58	o 2010 
1690.19/213.56	o 2006 
1695.74/214.22	o 1998 
1756.34/221.81	o 1973 
1826.48/230.64	o 1955 
1885.55/238.10	o 1935 
1901.46/240.09	o 1933 
1963.60/247.88	o 1929 
2049.72/258.69	o 1926 
2105.53/265.61	o 1872 
2122.26/267.80	o 1859 
2126.22/268.26	o 1857 
2146.15/270.77	o 1855 
2203.56/277.96	o 1854 
2205.19/278.19	o 1852 
2369.44/298.73	o 1847 
2395.81/302.05	o 1842 
2422.04/305.34	o 1841 
2434.77/306.93	o 1836 
2443.58/308.05	o 1834 
2463.41/310.57	o 1810 
2595.09/327.01	o 1807 
2638.88/332.58	o 1804 
2736.98/344.81	o 1797 
2779.28/350.13	o 1781 
2879.71/362.75	o 1746 
2917.16/367.42	o 1720 
2939.46/370.21	o 1643 
2950.62/371.64	o 1641 
3026.47/381.14	o 1640 
3046.31/383.68	o 1639 
3074.99/387.23	o 1638 
3076.53/387.47	o 1632 
3369.33/424.16	o 1625 
3392.43/427.05	o 1620 
3480.16/438.07	o 1618 
3563.01/448.42	o 1615 
3573.29/449.79	o 1612 
3585.23/451.23	o 1611 
3608.65/454.24	o 1609 
3676.91/462.85	o 1590 
3829.26/481.91	o 1587 
3840.40/483.35	o 1586 
4015.80/505.39	o 1578 
4069.29/512.02	o 1576 
4120.27/518.45	o 1573 
4333.35/545.12	o 1570 
4448.13/559.57	o 1569 
4563.81/574.10	o 1565 
4570.96/574.91	o 1564 
4658.59/585.90	o 1562 
4660.22/586.14	o 1558 
4696.02/590.68	o 1556 
4708.75/592.22	o 1554 
4722.29/593.91	o 1504 
4771.79/600.19	o 1501 
5876.76/738.62	o 1500 
7039.29/884.36	o 1489 
9043.63/1135.51	o 1484 
9236.67/1159.78	o 1476 
9246.04/1161.26	o 1473 
9402.75/1180.92	o 1461 
9653.24/1212.38	o 1457 
9835.93/1235.28	o 1453 
10178.98/1278.28	o 1449 
11118.06/1395.99	o 1446 
11579.94/1453.83	o 1412 
12278.05/1541.37	o 1409 
12862.04/1614.53	o 1391 
13118.94/1646.70	o 1383 
19703.19/2471.95	o 1382 
20086.98/2520.10	s SATISFIABLE
20086.98/2520.10	v <instantiation>
20086.98/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[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>
20086.98/2520.10	v 	<values>0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 27 68 91 15 99 18 70 74 15 98 84 11 79 51 46 52 100 33 25 97 73 15 93 85 16 97 99 100 63 76 21 44 23 21 50 26 44 86 78 39 13 75 56 53 37 13 56 36 45 44 100 30 52 67 74 54 100 21 24 33 50 33 7 34 42 3 </values>
20086.98/2520.10	v </instantiation>
20086.98/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	1382

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270840-1502711200/watcher-4270840-1502711200 -o /tmp/evaluation-result-4270840-1502711200/solver-4270840-1502711200 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502702754-1846 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 921708473 HOME/instance-4270840-1502711200.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
solver pid=3148, runsolver pid=3145
Current StackSize limit: 8192 KiB


[startup+0.100118 s]*
/proc/loadavg: 8.26 8.69 8.70 2/200 3169
/proc/meminfo: memFree=27761968/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=25999808 memory=27024 CPUtime=0.12 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 5631 0 0 0 11 1 0 0 20 0 20 0 104200850 26623803392 6756 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6499952 6756 2870 1 0 6488269 0
[pid=3150/tid=3151] ppid=3148 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) R 3148 3148 1819 0 -1 4202560 3635 0 0 0 8 0 0 0 20 0 20 0 104200851 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707962037712 140707957834909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=25999808 memory=139750386226816 CPUtime=0 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3155] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3155/stat : 3155 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707907275280 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3156] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3156/stat : 3156 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707906222992 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3157] ppid=3148 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3157/stat : 3157 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707905170192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3158] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3158/stat : 3158 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707904117904 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3159] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3159/stat : 3159 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26623803392 6756 33554432000 4194304 4196468 140735722222336 140707903065104 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3160] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3160/stat : 3160 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200853 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706950658160 140707957824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3161] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3161/stat : 3161 (java) S 3148 3148 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104200853 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706949604128 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3162] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3162/stat : 3162 (java) S 3148 3148 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104200854 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706948551792 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3163] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3163/stat : 3163 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706947500112 140707957831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3164] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3164/stat : 3164 (java) S 3148 3148 1819 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706946447984 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3165] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3165/stat : 3165 (java) R 3148 3148 1819 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706945395184 140707957824918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3166] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3166/stat : 3166 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706944342896 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3167] ppid=3148 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3150/task/3167/stat : 3167 (java) R 3148 3148 1819 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706943287632 140707957834330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3168] ppid=3148 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3168/stat : 3168 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200856 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706942237024 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3169] ppid=3148 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3169/stat : 3169 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200857 26623803392 6756 33554432000 4194304 4196468 140735722222336 140706941184304 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28404 KiB

[startup+0.210461 s]*
/proc/loadavg: 8.26 8.69 8.70 2/200 3169
/proc/meminfo: memFree=27751132/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=26004064 memory=39188 CPUtime=0.32 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 8336 0 0 0 30 2 0 0 20 0 20 0 104200850 26628161536 9797 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6501016 9797 3056 1 0 6488269 0
[pid=3150/tid=3151] ppid=3148 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) D 3148 3148 1819 0 -1 1077944384 5429 0 0 0 18 1 0 0 20 0 20 0 104200851 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707962014704 140707950492205 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=26004064 memory=139750386234797 CPUtime=0 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3155] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3155/stat : 3155 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707907275280 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3156] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3156/stat : 3156 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707906222992 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3157] ppid=3148 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3157/stat : 3157 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628194304 9817 33554432000 4194304 4196468 140735722222336 140707905170192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3158] ppid=3148 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3158/stat : 3158 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628194304 9817 33554432000 4194304 4196468 140735722222336 140707904117904 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3159] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3159/stat : 3159 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 9817 33554432000 4194304 4196468 140735722222336 140707903065104 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3160] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3160/stat : 3160 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200853 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706950658160 140707957824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3161] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3161/stat : 3161 (java) S 3148 3148 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104200853 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706949604128 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3162] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3162/stat : 3162 (java) S 3148 3148 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104200854 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706948551792 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3163] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3163/stat : 3163 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200856 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706947500112 140707957831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3164] ppid=3148 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3150/task/3164/stat : 3164 (java) S 3148 3148 1819 0 -1 1077944384 666 0 0 0 1 0 0 0 20 0 20 0 104200856 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706946447984 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3165] ppid=3148 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3150/task/3165/stat : 3165 (java) S 3148 3148 1819 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 104200856 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706945395184 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3166] ppid=3148 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3166/stat : 3166 (java) S 3148 3148 1819 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 20 0 104200856 26628194304 9817 33554432000 4194304 4196468 140735722222336 140706944342896 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3167] ppid=3148 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/3150/task/3167/stat : 3167 (java) R 3148 3148 1819 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 20 0 104200856 26628194304 9817 33554432000 4194304 4196468 140735722222336 140706943290096 140707937105679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3168] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3168/stat : 3168 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200856 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706942237024 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3169] ppid=3148 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3169/stat : 3169 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200857 26628161536 9817 33554432000 4194304 4196468 140735722222336 140706941184304 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40568 KiB

[startup+0.310487 s]*
/proc/loadavg: 8.26 8.69 8.70 3/200 3169
/proc/meminfo: memFree=27746396/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=26004064 memory=45624 CPUtime=0.5 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 9165 0 0 0 47 3 0 0 20 0 20 0 104200850 26628161536 11406 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6501016 11406 3069 1 0 6488269 0
[pid=3150/tid=3151] ppid=3148 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) R 3148 3148 1819 0 -1 4202560 6094 0 0 0 28 1 0 0 20 0 20 0 104200851 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707962051760 140707576662886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3155] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3155/stat : 3155 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707907275280 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3156] ppid=3148 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/3150/task/3156/stat : 3156 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707906222992 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3157] ppid=3148 vsize=26004064 memory=139750249952175 CPUtime=0 cores=0-7
/proc/3150/task/3157/stat : 3157 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707905170192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3158] ppid=3148 vsize=26004064 memory=139750249954480 CPUtime=0 cores=0-7
/proc/3150/task/3158/stat : 3158 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707904117904 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3159] ppid=3148 vsize=26004064 memory=139750249956784 CPUtime=0 cores=0-7
/proc/3150/task/3159/stat : 3159 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26628161536 11406 33554432000 4194304 4196468 140735722222336 140707903065104 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3160] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3160/stat : 3160 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200853 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706950658160 140707957824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3161] ppid=3148 vsize=26004064 memory=279500499920528 CPUtime=0 cores=0-7
/proc/3150/task/3161/stat : 3161 (java) S 3148 3148 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104200853 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706949604128 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3162] ppid=3148 vsize=26004064 memory=279500499927440 CPUtime=0 cores=0-7
/proc/3150/task/3162/stat : 3162 (java) S 3148 3148 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104200854 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706948551792 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3163] ppid=3148 vsize=26004064 memory=279500499868720 CPUtime=0 cores=0-7
/proc/3150/task/3163/stat : 3163 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706947500112 140707957831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3164] ppid=3148 vsize=26004064 memory=279500499941264 CPUtime=0.01 cores=0-7
/proc/3150/task/3164/stat : 3164 (java) R 3148 3148 1819 0 -1 1077944384 668 0 0 0 1 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706946447984 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3165] ppid=3148 vsize=26004064 memory=279500499948176 CPUtime=0.02 cores=0-7
/proc/3150/task/3165/stat : 3165 (java) R 3148 3148 1819 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706945395184 140707943836775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3166] ppid=3148 vsize=26004064 memory=279500499945872 CPUtime=0.01 cores=0-7
/proc/3150/task/3166/stat : 3166 (java) R 3148 3148 1819 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706944342896 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3167] ppid=3148 vsize=26004064 memory=279500499962032 CPUtime=0.12 cores=0-7
/proc/3150/task/3167/stat : 3167 (java) R 3148 3148 1819 0 -1 4202560 850 0 0 0 12 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706943287032 140707950050110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3168] ppid=3148 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3168/stat : 3168 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200856 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706942237024 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3169] ppid=3148 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3150/task/3169/stat : 3169 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200857 26628161536 11406 33554432000 4194304 4196468 140735722222336 140706941184304 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47004 KiB

[startup+0.70098 s]
/proc/loadavg: 8.26 8.69 8.70 5/200 3169
/proc/meminfo: memFree=27717796/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=26006188 memory=107948 CPUtime=2.11 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 13394 0 0 0 206 5 0 0 20 0 20 0 104200850 26630336512 26987 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6501547 26987 3207 1 0 6488781 0
[pid=3150/tid=3151] ppid=3148 vsize=26006188 memory=279500500319920 CPUtime=0.67 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) R 3148 3148 1819 0 -1 4202560 6591 0 0 0 65 2 0 0 20 0 20 0 104200851 26630336512 26987 33554432000 4194304 4196468 140735722222336 140707962051808 140707574698826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=26006188 memory=139750250161008 CPUtime=0 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104200852 26630336512 27018 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104200852 26630336512 27018 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=26006188 memory=8612 CPUtime=0 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104200852 26630336512 27018 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0

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

[pid=3150/tid=4355] ppid=3148 vsize=26538700 memory=5792 CPUtime=793.05 cores=0-7
/proc/3150/task/4355/stat : 4355 (java) R 3148 3148 1819 0 -1 4202560 2007 0 0 0 79305 0 0 0 20 0 28 0 104365521 27175628800 806506 33554432000 4194304 4196468 140735722222336 140706926857752 140707584571804 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 19467 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3227404 KiB

[startup+2502.3 s]
/proc/loadavg: 8.10 8.31 8.38 9/208 4401
/proc/meminfo: memFree=24574004/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=26538700 memory=3208740 CPUtime=19945.7 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 680371 0 0 0 1993798 772 0 0 20 0 28 0 104200850 27175628800 802185 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6634675 802185 3288 1 0 6621909 0
[pid=3150/tid=3151] ppid=3148 vsize=26538700 memory=3208740 CPUtime=1.76 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) S 3148 3148 1819 0 -1 1077944384 29212 0 0 0 168 8 0 0 20 0 28 0 104200851 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707962053792 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=26538700 memory=3207556 CPUtime=0.29 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 4302 0 0 0 18 11 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=26538700 memory=3296188 CPUtime=0.27 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2218 0 0 0 17 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=26538700 memory=3296188 CPUtime=0.3 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 2433 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3155] ppid=3148 vsize=26538700 memory=3296188 CPUtime=0.3 cores=0-7
/proc/3150/task/3155/stat : 3155 (java) S 3148 3148 1819 0 -1 1077944384 3532 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707907275280 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3156] ppid=3148 vsize=26538700 memory=3296188 CPUtime=0.29 cores=0-7
/proc/3150/task/3156/stat : 3156 (java) S 3148 3148 1819 0 -1 1077944384 2676 0 0 0 18 11 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707906222992 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3157] ppid=3148 vsize=26538700 memory=3268548 CPUtime=0.28 cores=0-7
/proc/3150/task/3157/stat : 3157 (java) S 3148 3148 1819 0 -1 1077944384 3223 0 0 0 16 12 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707905170192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3158] ppid=3148 vsize=26538700 memory=3270136 CPUtime=0.3 cores=0-7
/proc/3150/task/3158/stat : 3158 (java) S 3148 3148 1819 0 -1 1077944384 3055 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707904117904 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3159] ppid=3148 vsize=26538700 memory=3246540 CPUtime=0.3 cores=0-7
/proc/3150/task/3159/stat : 3159 (java) S 3148 3148 1819 0 -1 1077944384 2197 0 0 0 18 12 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707903065104 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3160] ppid=3148 vsize=26538700 memory=3227040 CPUtime=0.16 cores=0-7
/proc/3150/task/3160/stat : 3160 (java) S 3148 3148 1819 0 -1 1077944384 17665 0 0 0 8 8 0 0 20 0 28 0 104200853 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706950658160 140707957824130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3161] ppid=3148 vsize=26538700 memory=3227040 CPUtime=0 cores=0-7
/proc/3150/task/3161/stat : 3161 (java) S 3148 3148 1819 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 104200853 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706949604192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3162] ppid=3148 vsize=26538700 memory=3226024 CPUtime=0 cores=0-7
/proc/3150/task/3162/stat : 3162 (java) S 3148 3148 1819 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 104200854 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706948551808 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3163] ppid=3148 vsize=26538700 memory=3226024 CPUtime=0 cores=0-7
/proc/3150/task/3163/stat : 3163 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706947500112 140707957831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3164] ppid=3148 vsize=26538700 memory=1380 CPUtime=3.74 cores=0-7
/proc/3150/task/3164/stat : 3164 (java) S 3148 3148 1819 0 -1 1077944384 32275 0 0 0 371 3 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706946447984 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3165] ppid=3148 vsize=26538700 memory=3207092 CPUtime=3.67 cores=0-7
/proc/3150/task/3165/stat : 3165 (java) S 3148 3148 1819 0 -1 1077944384 19961 0 0 0 363 4 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706945395184 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3166] ppid=3148 vsize=26538700 memory=3207196 CPUtime=3.63 cores=0-7
/proc/3150/task/3166/stat : 3166 (java) S 3148 3148 1819 0 -1 1077944384 28815 0 0 0 359 4 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706944342896 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3167] ppid=3148 vsize=26538700 memory=3208740 CPUtime=1.12 cores=0-7
/proc/3150/task/3167/stat : 3167 (java) S 3148 3148 1819 0 -1 1077944384 38042 0 0 0 105 7 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706943290096 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3168] ppid=3148 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/3150/task/3168/stat : 3168 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706942237024 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3169] ppid=3148 vsize=26538700 memory=3208740 CPUtime=0.85 cores=0-7
/proc/3150/task/3169/stat : 3169 (java) S 3148 3148 1819 0 -1 1077944384 14654 0 0 0 0 85 0 0 20 0 28 0 104200857 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706941184304 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4394] ppid=3148 vsize=26538700 memory=3207196 CPUtime=30.33 cores=0-7
/proc/3150/task/4394/stat : 4394 (java) R 3148 3148 1819 0 -1 4202560 394 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706928962696 140707582924981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4395] ppid=3148 vsize=26538700 memory=3208740 CPUtime=30.33 cores=0-7
/proc/3150/task/4395/stat : 4395 (java) R 3148 3148 1819 0 -1 4202560 507 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706932121608 140707584766796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4396] ppid=3148 vsize=26538700 memory=4144 CPUtime=30.33 cores=0-7
/proc/3150/task/4396/stat : 4396 (java) R 3148 3148 1819 0 -1 4202560 1366 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706930016824 140707575866723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4397] ppid=3148 vsize=26538700 memory=30188 CPUtime=30.33 cores=0-7
/proc/3150/task/4397/stat : 4397 (java) R 3148 3148 1819 0 -1 4202560 694 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706933174696 140707583225815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4398] ppid=3148 vsize=26538700 memory=1380 CPUtime=29.7 cores=0-7
/proc/3150/task/4398/stat : 4398 (java) R 3148 3148 1819 0 -1 4202560 1091 0 0 0 2969 1 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706926859096 140707582598966 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4399] ppid=3148 vsize=26538700 memory=3207196 CPUtime=30.33 cores=0-7
/proc/3150/task/4399/stat : 4399 (java) R 3148 3148 1819 0 -1 4202560 424 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706925805776 140707577824227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4400] ppid=3148 vsize=26538700 memory=3207196 CPUtime=30.31 cores=0-7
/proc/3150/task/4400/stat : 4400 (java) R 3148 3148 1819 0 -1 4202560 2377 0 0 0 3030 1 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706927913648 140707582260912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4401] ppid=3148 vsize=26538700 memory=3207196 CPUtime=30.33 cores=0-7
/proc/3150/task/4401/stat : 4401 (java) R 3148 3148 1819 0 -1 4202560 551 0 0 0 3033 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706931068456 140707576666423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 19945.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3210120 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.29 8.37 9/208 4401
/proc/meminfo: memFree=24574544/32770624 swapFree=67108860/67108860
[pid=3148] ppid=3145 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3148/stat : 3148 (xcsp3-exec) S 3145 3148 1819 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 104200850 9740288 345 33554432000 4194304 5098028 140724514044720 140724514042824 139870798684796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33693696 140724514047077 140724514047287 140724514047287 140724514050027 0
/proc/3148/statm: 2378 345 289 221 0 87 0
[pid=3150] ppid=3148 vsize=26538700 memory=3208740 CPUtime=20087 cores=0-7
/proc/3150/stat : 3150 (java) S 3148 3148 1819 0 -1 1077944320 682573 0 0 0 2007925 773 0 0 20 0 28 0 104200850 27175628800 802185 33554432000 4194304 4196468 140735722222336 140735722204880 140707957812983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
/proc/3150/statm: 6634675 802185 3288 1 0 6621909 0
[pid=3150/tid=3151] ppid=3148 vsize=26538700 memory=3208740 CPUtime=1.76 cores=0-7
/proc/3150/task/3151/stat : 3151 (java) S 3148 3148 1819 0 -1 1077944384 29212 0 0 0 168 8 0 0 20 0 28 0 104200851 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707962053792 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3152] ppid=3148 vsize=26538700 memory=4126316290023845779 CPUtime=0.29 cores=0-7
/proc/3150/task/3152/stat : 3152 (java) S 3148 3148 1819 0 -1 1077944384 4302 0 0 0 18 11 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707910433168 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3153] ppid=3148 vsize=26538700 memory=18476 CPUtime=0.27 cores=0-7
/proc/3150/task/3153/stat : 3153 (java) S 3148 3148 1819 0 -1 1077944384 2218 0 0 0 17 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707909380368 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3154] ppid=3148 vsize=26538700 memory=17804 CPUtime=0.3 cores=0-7
/proc/3150/task/3154/stat : 3154 (java) S 3148 3148 1819 0 -1 1077944384 2433 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707908328080 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3155] ppid=3148 vsize=26538700 memory=4048 CPUtime=0.3 cores=0-7
/proc/3150/task/3155/stat : 3155 (java) S 3148 3148 1819 0 -1 1077944384 3532 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707907275280 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3156] ppid=3148 vsize=26538700 memory=1792 CPUtime=0.29 cores=0-7
/proc/3150/task/3156/stat : 3156 (java) S 3148 3148 1819 0 -1 1077944384 2676 0 0 0 18 11 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707906222992 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3157] ppid=3148 vsize=26538700 memory=648 CPUtime=0.28 cores=0-7
/proc/3150/task/3157/stat : 3157 (java) S 3148 3148 1819 0 -1 1077944384 3223 0 0 0 16 12 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707905170192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3158] ppid=3148 vsize=26538700 memory=1240 CPUtime=0.3 cores=0-7
/proc/3150/task/3158/stat : 3158 (java) S 3148 3148 1819 0 -1 1077944384 3055 0 0 0 20 10 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707904117904 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3159] ppid=3148 vsize=26538700 memory=960 CPUtime=0.3 cores=0-7
/proc/3150/task/3159/stat : 3159 (java) S 3148 3148 1819 0 -1 1077944384 2197 0 0 0 18 12 0 0 20 0 28 0 104200852 27175628800 802185 33554432000 4194304 4196468 140735722222336 140707903065104 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3160] ppid=3148 vsize=26538700 memory=2340 CPUtime=0.16 cores=0-7
/proc/3150/task/3160/stat : 3160 (java) S 3148 3148 1819 0 -1 1077944384 17685 0 0 0 8 8 0 0 20 0 28 0 104200853 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706950658160 140707957824130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3161] ppid=3148 vsize=26538700 memory=4048 CPUtime=0 cores=0-7
/proc/3150/task/3161/stat : 3161 (java) S 3148 3148 1819 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 104200853 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706949604192 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3162] ppid=3148 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/3150/task/3162/stat : 3162 (java) S 3148 3148 1819 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 104200854 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706948551808 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3163] ppid=3148 vsize=26538700 memory=648 CPUtime=0 cores=0-7
/proc/3150/task/3163/stat : 3163 (java) S 3148 3148 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706947500112 140707957831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3164] ppid=3148 vsize=26538700 memory=1240 CPUtime=3.74 cores=0-7
/proc/3150/task/3164/stat : 3164 (java) S 3148 3148 1819 0 -1 1077944384 32281 0 0 0 371 3 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706946447984 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3165] ppid=3148 vsize=26538700 memory=960 CPUtime=3.67 cores=0-7
/proc/3150/task/3165/stat : 3165 (java) S 3148 3148 1819 0 -1 1077944384 19967 0 0 0 363 4 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706945395184 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3166] ppid=3148 vsize=26538700 memory=2340 CPUtime=3.63 cores=0-7
/proc/3150/task/3166/stat : 3166 (java) S 3148 3148 1819 0 -1 1077944384 28831 0 0 0 359 4 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706944342896 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3167] ppid=3148 vsize=26538700 memory=1692 CPUtime=1.12 cores=0-7
/proc/3150/task/3167/stat : 3167 (java) S 3148 3148 1819 0 -1 1077944384 38050 0 0 0 105 7 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706943290096 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3168] ppid=3148 vsize=26538700 memory=912 CPUtime=0 cores=0-7
/proc/3150/task/3168/stat : 3168 (java) S 3148 3148 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104200856 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706942237024 140707957823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=3169] ppid=3148 vsize=26538700 memory=5720 CPUtime=0.85 cores=0-7
/proc/3150/task/3169/stat : 3169 (java) S 3148 3148 1819 0 -1 1077944384 14719 0 0 0 0 85 0 0 20 0 28 0 104200857 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706941184304 140707957824130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4394] ppid=3148 vsize=26538700 memory=932 CPUtime=48.03 cores=0-7
/proc/3150/task/4394/stat : 4394 (java) R 3148 3148 1819 0 -1 4202560 537 0 0 0 4803 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706928962696 140707582924672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4395] ppid=3148 vsize=26538700 memory=8112282956445269571 CPUtime=48.04 cores=0-7
/proc/3150/task/4395/stat : 4395 (java) R 3148 3148 1819 0 -1 4202560 690 0 0 0 4804 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706932121608 140707582599205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4396] ppid=3148 vsize=26538700 memory=2408 CPUtime=48.04 cores=0-7
/proc/3150/task/4396/stat : 4396 (java) R 3148 3148 1819 0 -1 4202560 1820 0 0 0 4804 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706930016824 140707585761733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4397] ppid=3148 vsize=26538700 memory=1732 CPUtime=48.04 cores=0-7
/proc/3150/task/4397/stat : 4397 (java) R 3148 3148 1819 0 -1 4202560 923 0 0 0 4803 1 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706933174696 140707582705908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4398] ppid=3148 vsize=26538700 memory=1224 CPUtime=47.05 cores=0-7
/proc/3150/task/4398/stat : 4398 (java) R 3148 3148 1819 0 -1 4202560 1452 0 0 0 4703 2 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706926859096 140707576666484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4399] ppid=3148 vsize=26538700 memory=12032 CPUtime=48.03 cores=0-7
/proc/3150/task/4399/stat : 4399 (java) R 3148 3148 1819 0 -1 4202560 606 0 0 0 4803 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706925805776 140707582598952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4400] ppid=3148 vsize=26538700 memory=5792 CPUtime=48.02 cores=0-7
/proc/3150/task/4400/stat : 4400 (java) R 3148 3148 1819 0 -1 4202560 2795 0 0 0 4800 2 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706927913648 140707585208465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
[pid=3150/tid=4401] ppid=3148 vsize=26538700 memory=796 CPUtime=48.04 cores=0-7
/proc/3150/task/4401/stat : 4401 (java) R 3148 3148 1819 0 -1 4202560 662 0 0 0 4804 0 0 0 20 0 28 0 104448046 27175628800 802185 33554432000 4194304 4196468 140735722222336 140706931068456 140707582599158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140735722230930 140735722231107 140735722231107 140735722233807 0
Current children cumulated CPU time: 20087 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3210120 KiB

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

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

[startup+2520.12 s]
# the end of solver process 3150 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20080 s, system=7.75511 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.12
CPU time (s): 20087.8
CPU user time (s): 20080
CPU system time (s): 7.75511
CPU usage (%): 797.095
Max. virtual memory (cumulated for all children) (KiB): 26550304
Max. memory (cumulated for all children) (KiB): 3528440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20080
system time used= 7.75511
maximum resident set size= 3538928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80231
involuntary context switches= 204016


# summary of solver processes directly reported to runsolver:
#   pid: 3148,3150
#   total CPU time (s): 20087.8
#   total CPU user time (s): 20080
#   total CPU system time (s): 7.75511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.9137 second user time and 21.4114 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-14 13:32:21
IDJOB=4270840
IDBENCH=124400
IDSOLVER=2662
FILE ID=node149/4270840-1502711200
RUNJOBID= node149-1502702754-1846
PBS_JOBID= 20629013
Free space on /tmp= 61936 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-4270840-1502711200/watcher-4270840-1502711200 -o /tmp/evaluation-result-4270840-1502711200/solver-4270840-1502711200 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502702754-1846 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 921708473 HOME/instance-4270840-1502711200.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=921708473

node149.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.43
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.43
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.43
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.43
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:        27778808 kB
MemAvailable:   31969528 kB
Buffers:          295756 kB
Cached:          4167592 kB
SwapCached:            0 kB
Active:          1179524 kB
Inactive:        3339524 kB
Active(anon):      58472 kB
Inactive(anon):    24944 kB
Active(file):    1121052 kB
Inactive(file):  3314580 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             4 kB
AnonPages:         60936 kB
Mapped:            44768 kB
Shmem:             25224 kB
Slab:             168192 kB
SReclaimable:     141844 kB
SUnreclaim:        26348 kB
KernelStack:        3248 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-14 14:14:21