Trace number 4271830

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)1717 1993.55 252.14301

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 benchmark1157
Best CPU time to get the best result obtained on this benchmark251.936
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-4271830-1502641912.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271830-1502641912.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
5.27/1.57	c solve instance...
6.95/1.83	o 5240 
6.95/1.86	o 5190 
7.66/1.90	o 5189 
7.66/1.92	o 3279 
27.40/4.50	o 3271 
30.91/4.90	o 3270 
43.57/6.51	o 3269 
45.14/6.77	o 3264 
48.21/7.13	o 3244 
50.47/7.43	o 3243 
52.03/7.69	o 3224 
52.87/7.78	o 2998 
53.57/7.93	o 2996 
53.57/7.94	o 2975 
54.13/8.05	o 2972 
54.28/8.18	o 2970 
54.50/8.20	o 2940 
54.50/8.21	o 2919 
143.40/19.41	o 2908 
143.40/19.42	o 2898 
984.85/124.91	o 2883 
996.79/126.46	o 2881 
998.35/126.68	o 2865 
1012.69/128.42	o 2857 
1015.86/128.89	o 2820 
1038.94/131.77	o 2816 
1040.49/132.00	o 2787 
1041.33/132.08	o 2768 
1046.84/132.77	o 2767 
1050.78/133.28	o 2700 
1061.13/134.59	o 2661 
1070.68/135.76	o 2538 
1120.95/142.03	o 2518 
1124.05/142.45	o 2513 
1126.42/142.70	o 2493 
1146.33/145.22	o 2484 
1150.29/145.74	o 2481 
1153.59/146.18	o 2408 
1155.83/146.41	o 2399 
1155.83/146.48	o 2397 
1190.04/150.73	o 2362 
1196.40/151.50	o 2355 
1209.72/153.23	o 2346 
1213.44/153.72	o 2303 
1219.01/154.47	o 2295 
1251.60/158.58	o 2273 
1253.93/158.85	o 2258 
1272.30/161.15	o 2251 
1274.60/161.43	o 2132 
1290.57/163.45	o 2102 
1300.08/164.64	o 2087 
1305.65/165.38	o 2061 
1319.77/167.16	o 2045 
1347.43/170.68	o 2029 
1371.32/173.67	o 2024 
1387.25/175.70	o 2018 
1393.61/176.41	o 2014 
1400.76/177.30	o 2009 
1458.17/184.57	o 1987 
1522.76/192.65	o 1986 
1523.95/192.87	o 1983 
1549.54/196.09	o 1981 
1568.56/198.45	o 1953 
1573.39/199.07	o 1951 
1577.27/199.52	o 1949 
1582.10/200.19	o 1948 
1593.17/201.52	o 1913 
1617.08/204.57	o 1906 
1619.61/204.95	o 1875 
1622.38/205.39	o 1873 
1631.93/206.54	o 1864 
1650.21/208.88	o 1861 
1664.53/210.68	o 1858 
1672.46/211.60	o 1837 
1679.63/212.59	o 1825 
1697.31/214.87	o 1820 
1713.23/216.86	o 1814 
1717.17/217.32	o 1812 
1748.24/221.20	o 1769 
1763.44/223.19	o 1758 
1764.17/223.27	o 1756 
1766.50/223.53	o 1755 
1770.52/224.05	o 1752 
1851.07/234.19	o 1751 
1854.50/234.65	o 1748 
1895.17/239.76	o 1746 
1896.65/239.97	o 1743 
1923.75/243.38	o 1742 
1929.38/244.08	o 1737 
1936.09/244.99	o 1719 
1971.86/249.49	o 1717 
1992.64/252.09	s SATISFIABLE
1992.64/252.09	v <instantiation>
1992.64/252.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[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>
1992.64/252.10	v 	<values>0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 42 68 97 27 23 30 20 59 48 96 58 77 79 46 33 90 54 89 82 33 98 71 82 21 96 63 60 100 7 87 20 76 89 28 32 27 79 48 54 50 100 85 100 14 97 14 56 23 22 20 62 66 83 40 64 16 36 91 31 67 53 67 99 51 37 92 </values>
1992.64/252.10	v </instantiation>
1992.64/252.10	c Unexpected resolution interruption!

Verifier Data 

OK	1717

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271830-1502641912/watcher-4271830-1502641912 -o /tmp/evaluation-result-4271830-1502641912/solver-4271830-1502641912 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1112282274 HOME/instance-4271830-1502641912.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13436, runsolver pid=13433

[startup+0.100133 s]*
/proc/loadavg: 7.46 7.46 6.71 4/199 13457
/proc/meminfo: memFree=29135596/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=25999808 memory=27344 CPUtime=0.12 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 5263 0 0 0 11 1 0 0 20 0 20 0 97279327 26623803392 6836 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6499952 6836 2847 1 0 6488269 0
[pid=13438/tid=13439] ppid=13436 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) R 13436 13436 3823 0 -1 4202560 3269 0 0 0 8 0 0 0 20 0 20 0 97279327 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227969763120 140227965541782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=25999808 memory=140538710337152 CPUtime=0 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13443] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13443/stat : 13443 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227521059344 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13444] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13444/stat : 13444 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227520007056 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13445] ppid=13436 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13445/stat : 13445 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227518954256 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13446] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13446/stat : 13446 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227517901968 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13447] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13447/stat : 13447 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279328 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227516849168 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13448] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13448/stat : 13448 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279329 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227227162736 140227965540994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13449] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13449/stat : 13449 (java) S 13436 13436 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97279330 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227226108704 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13450] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13450/stat : 13450 (java) S 13436 13436 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97279330 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227225056368 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13451] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13451/stat : 13451 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279332 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227224004688 140227965548443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13452] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13452/stat : 13452 (java) S 13436 13436 3823 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 97279332 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227222952560 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13453] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13453/stat : 13453 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279332 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227221899760 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13454] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13454/stat : 13454 (java) S 13436 13436 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97279332 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227220847472 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13455] ppid=13436 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13438/task/13455/stat : 13455 (java) R 13436 13436 3823 0 -1 4202560 244 0 0 0 1 0 0 0 20 0 20 0 97279332 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227219794672 140227944230048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13456] ppid=13436 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13456/stat : 13456 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279333 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227218741600 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13457] ppid=13436 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13457/stat : 13457 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279333 26623803392 6836 33554432000 4194304 4196468 140721418677776 140227217688880 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28728 KiB

[startup+0.209802 s]*
/proc/loadavg: 7.46 7.46 6.71 2/199 13457
/proc/meminfo: memFree=29123592/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=26004064 memory=39256 CPUtime=0.33 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 7854 0 0 0 31 2 0 0 20 0 20 0 97279327 26628161536 9814 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6501016 9814 3057 1 0 6488269 0
[pid=13438/tid=13439] ppid=13436 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) R 13436 13436 3823 0 -1 4202560 4986 0 0 0 18 1 0 0 20 0 20 0 97279327 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227969744896 140227949610334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=26004064 memory=288370914862048896 CPUtime=0 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13443] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13443/stat : 13443 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227521059344 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13444] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13444/stat : 13444 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227520007056 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13445] ppid=13436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13445/stat : 13445 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227518954256 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13446] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13446/stat : 13446 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227517901968 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13447] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13447/stat : 13447 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227516849168 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13448] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13448/stat : 13448 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279329 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227227162736 140227965540994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13449] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13449/stat : 13449 (java) S 13436 13436 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97279330 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227226108704 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13450] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13450/stat : 13450 (java) S 13436 13436 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97279330 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227225056368 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13451] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13451/stat : 13451 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279332 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227224004688 140227965548443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13452] ppid=13436 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13438/task/13452/stat : 13452 (java) S 13436 13436 3823 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 20 0 97279332 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227222952560 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13453] ppid=13436 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13438/task/13453/stat : 13453 (java) S 13436 13436 3823 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 97279332 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227221899760 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13454] ppid=13436 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/13438/task/13454/stat : 13454 (java) S 13436 13436 3823 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 97279332 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227220847472 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13455] ppid=13436 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/13438/task/13455/stat : 13455 (java) R 13436 13436 3823 0 -1 4202560 694 0 0 0 7 0 0 0 20 0 20 0 97279332 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227219794672 140227965551194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13456] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13456/stat : 13456 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279333 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227218741600 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13457] ppid=13436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13457/stat : 13457 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279333 26628161536 9814 33554432000 4194304 4196468 140721418677776 140227217688880 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40640 KiB

[startup+0.309453 s]*
/proc/loadavg: 7.46 7.46 6.71 3/199 13457
/proc/meminfo: memFree=29119500/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=26004064 memory=43872 CPUtime=0.5 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 8674 0 0 0 47 3 0 0 20 0 20 0 97279327 26628161536 10968 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6501016 10968 3082 1 0 6488269 0
[pid=13438/tid=13439] ppid=13436 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) R 13436 13436 3823 0 -1 4202560 5652 0 0 0 27 2 0 0 20 0 20 0 97279327 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227969766128 140227965541782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13443] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13443/stat : 13443 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227521059344 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13444] ppid=13436 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13438/task/13444/stat : 13444 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227520007056 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13445] ppid=13436 vsize=26004064 memory=140538577777583 CPUtime=0 cores=0-7
/proc/13438/task/13445/stat : 13445 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227518954256 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13446] ppid=13436 vsize=26004064 memory=140538577779888 CPUtime=0 cores=0-7
/proc/13438/task/13446/stat : 13446 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227517901968 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13447] ppid=13436 vsize=26004064 memory=140538577782192 CPUtime=0 cores=0-7
/proc/13438/task/13447/stat : 13447 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279328 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227516849168 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13448] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13448/stat : 13448 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279329 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227227162736 140227965540994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13449] ppid=13436 vsize=26004064 memory=281077155571344 CPUtime=0 cores=0-7
/proc/13438/task/13449/stat : 13449 (java) S 13436 13436 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97279330 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227226108704 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13450] ppid=13436 vsize=26004064 memory=281077155578256 CPUtime=0 cores=0-7
/proc/13438/task/13450/stat : 13450 (java) S 13436 13436 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97279330 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227225056368 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13451] ppid=13436 vsize=26004064 memory=281077155519536 CPUtime=0 cores=0-7
/proc/13438/task/13451/stat : 13451 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279332 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227224004688 140227965548443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13452] ppid=13436 vsize=26004064 memory=281077155592080 CPUtime=0.01 cores=0-7
/proc/13438/task/13452/stat : 13452 (java) S 13436 13436 3823 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 20 0 97279332 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227222952560 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13453] ppid=13436 vsize=26004064 memory=281077155598992 CPUtime=0.02 cores=0-7
/proc/13438/task/13453/stat : 13453 (java) S 13436 13436 3823 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 20 0 97279332 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227221899760 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13454] ppid=13436 vsize=26004064 memory=281077155596688 CPUtime=0.02 cores=0-7
/proc/13438/task/13454/stat : 13454 (java) S 13436 13436 3823 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 97279332 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227220847472 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13455] ppid=13436 vsize=26004064 memory=281077155612848 CPUtime=0.12 cores=0-7
/proc/13438/task/13455/stat : 13455 (java) R 13436 13436 3823 0 -1 4202560 777 0 0 0 12 0 0 0 20 0 20 0 97279332 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227219791040 140227944985589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13456] ppid=13436 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13456/stat : 13456 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97279333 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227218741600 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13457] ppid=13436 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13438/task/13457/stat : 13457 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279333 26628161536 10968 33554432000 4194304 4196468 140721418677776 140227217688880 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45256 KiB

[startup+0.700938 s]
/proc/loadavg: 7.46 7.46 6.71 5/199 13457
/proc/meminfo: memFree=29092476/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=26006188 memory=109836 CPUtime=2.06 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 12870 0 0 0 200 6 0 0 20 0 20 0 97279327 26630336512 27459 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6501547 27459 3204 1 0 6488781 0
[pid=13438/tid=13439] ppid=13436 vsize=26006188 memory=281077155970736 CPUtime=0.67 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) R 13436 13436 3823 0 -1 4202560 6157 0 0 0 65 2 0 0 20 0 20 0 97279327 26630336512 27459 33554432000 4194304 4196468 140721418677776 140227969766992 140227965541782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=26006188 memory=140538577986416 CPUtime=0 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26630336512 27467 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97279328 26630336512 27467 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97279328 26630336512 27467 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0

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

[pid=13438/tid=13865] ppid=13436 vsize=26605264 memory=6791534058613427641 CPUtime=0.86 cores=0-7
/proc/13438/task/13865/stat : 13865 (java) R 13436 13436 3823 0 -1 4202560 4 0 0 0 86 0 0 0 20 0 28 0 97295471 27243790336 574744 33554432000 4194304 4196468 140721418677776 140227201264328 140227607767583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 1281.76 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2300360 KiB

[startup+222.302 s]
/proc/loadavg: 8.16 7.87 7.04 9/207 14109
/proc/meminfo: memFree=26172396/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=26605264 memory=2984988 CPUtime=1756.98 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 172248 0 0 0 175443 255 0 0 20 0 28 0 97279327 27243790336 746247 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6651316 746247 3288 1 0 6638550 0
[pid=13438/tid=13439] ppid=13436 vsize=26605264 memory=2299324 CPUtime=1.67 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) S 13436 13436 3823 0 -1 1077944384 10329 0 0 0 161 6 0 0 20 0 28 0 97279327 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227969770624 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=26605264 memory=2258532 CPUtime=0.21 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 583 0 0 0 14 7 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=26605264 memory=2299268 CPUtime=0.21 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 468 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=26605264 memory=2299336 CPUtime=0.21 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 380 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13443] ppid=13436 vsize=26605264 memory=2298988 CPUtime=0.18 cores=0-7
/proc/13438/task/13443/stat : 13443 (java) S 13436 13436 3823 0 -1 1077944384 1991 0 0 0 10 8 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227521059344 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13444] ppid=13436 vsize=26605264 memory=2299396 CPUtime=0.21 cores=0-7
/proc/13438/task/13444/stat : 13444 (java) S 13436 13436 3823 0 -1 1077944384 1102 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227520007056 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13445] ppid=13436 vsize=26605264 memory=2298980 CPUtime=0.19 cores=0-7
/proc/13438/task/13445/stat : 13445 (java) S 13436 13436 3823 0 -1 1077944384 425 0 0 0 10 9 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227518954256 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13446] ppid=13436 vsize=26605264 memory=2534504 CPUtime=0.19 cores=0-7
/proc/13438/task/13446/stat : 13446 (java) S 13436 13436 3823 0 -1 1077944384 259 0 0 0 12 7 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227517901968 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13447] ppid=13436 vsize=26605264 memory=2690152 CPUtime=0.18 cores=0-7
/proc/13438/task/13447/stat : 13447 (java) S 13436 13436 3823 0 -1 1077944384 1243 0 0 0 10 8 0 0 20 0 28 0 97279328 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227516849168 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13448] ppid=13436 vsize=26605264 memory=2743400 CPUtime=0.06 cores=0-7
/proc/13438/task/13448/stat : 13448 (java) S 13436 13436 3823 0 -1 1077944384 4526 0 0 0 3 3 0 0 20 0 28 0 97279329 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227227162736 140227965540994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13449] ppid=13436 vsize=26605264 memory=2985048 CPUtime=0 cores=0-7
/proc/13438/task/13449/stat : 13449 (java) S 13436 13436 3823 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97279330 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227226108768 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13450] ppid=13436 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/13438/task/13450/stat : 13450 (java) S 13436 13436 3823 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97279330 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227225056384 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13451] ppid=13436 vsize=26605264 memory=2984980 CPUtime=0 cores=0-7
/proc/13438/task/13451/stat : 13451 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97279332 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227224004688 140227965548443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13452] ppid=13436 vsize=26605264 memory=2984980 CPUtime=2.87 cores=0-7
/proc/13438/task/13452/stat : 13452 (java) S 13436 13436 3823 0 -1 1077944384 13871 0 0 0 284 3 0 0 20 0 28 0 97279332 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227222952560 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13453] ppid=13436 vsize=26605264 memory=2984980 CPUtime=3.69 cores=0-7
/proc/13438/task/13453/stat : 13453 (java) S 13436 13436 3823 0 -1 1077944384 14556 0 0 0 366 3 0 0 20 0 28 0 97279332 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227221899760 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13454] ppid=13436 vsize=26605264 memory=1384 CPUtime=3.51 cores=0-7
/proc/13438/task/13454/stat : 13454 (java) S 13436 13436 3823 0 -1 1077944384 16007 0 0 0 347 4 0 0 20 0 28 0 97279332 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227220847472 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13455] ppid=13436 vsize=26605264 memory=2984988 CPUtime=1.08 cores=0-7
/proc/13438/task/13455/stat : 13455 (java) S 13436 13436 3823 0 -1 1077944384 20043 0 0 0 104 4 0 0 20 0 28 0 97279332 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227219794672 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13456] ppid=13436 vsize=26605264 memory=4140 CPUtime=0 cores=0-7
/proc/13438/task/13456/stat : 13456 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97279333 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227218741600 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13457] ppid=13436 vsize=26605264 memory=27824 CPUtime=0.06 cores=0-7
/proc/13438/task/13457/stat : 13457 (java) S 13436 13436 3823 0 -1 1077944384 3137 0 0 0 3 3 0 0 20 0 28 0 97279333 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227217688880 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14102] ppid=13436 vsize=26605264 memory=1292 CPUtime=1.09 cores=0-7
/proc/13438/task/14102/stat : 14102 (java) R 13436 13436 3823 0 -1 4202560 40 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227207577064 140227611535967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14103] ppid=13436 vsize=26605264 memory=2428 CPUtime=1.09 cores=0-7
/proc/13438/task/14103/stat : 14103 (java) R 13436 13436 3823 0 -1 4202560 24 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227201261944 140227613713762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14104] ppid=13436 vsize=26605264 memory=1728 CPUtime=1.09 cores=0-7
/proc/13438/task/14104/stat : 14104 (java) R 13436 13436 3823 0 -1 4202560 42 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227206525568 140227610414364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14105] ppid=13436 vsize=26605264 memory=1420 CPUtime=1.09 cores=0-7
/proc/13438/task/14105/stat : 14105 (java) R 13436 13436 3823 0 -1 4202560 86 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227204422856 140227610413637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14106] ppid=13436 vsize=26605264 memory=11032 CPUtime=1.07 cores=0-7
/proc/13438/task/14106/stat : 14106 (java) R 13436 13436 3823 0 -1 4202560 9 0 0 0 107 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227203370568 140227607766976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14107] ppid=13436 vsize=26605264 memory=303430223234596890 CPUtime=1.09 cores=0-7
/proc/13438/task/14107/stat : 14107 (java) R 13436 13436 3823 0 -1 4202560 9 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227202317768 140227611407930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14108] ppid=13436 vsize=26605264 memory=288230604624101685 CPUtime=1.09 cores=0-7
/proc/13438/task/14108/stat : 14108 (java) R 13436 13436 3823 0 -1 4202560 40 0 0 0 109 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227209685832 140227613696275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14109] ppid=13436 vsize=26605264 memory=14698478437665088 CPUtime=1.08 cores=0-7
/proc/13438/task/14109/stat : 14109 (java) R 13436 13436 3823 0 -1 4202560 55 0 0 0 108 0 0 0 20 0 28 0 97301447 27243790336 746247 33554432000 4194304 4196468 140721418677776 140227208633032 140227607767574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 1756.98 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2986372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.10 7.88 7.07 9/207 14205
/proc/meminfo: memFree=26172504/32770624 swapFree=67108860/67108860
[pid=13436] ppid=13433 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13436/stat : 13436 (xcsp3-exec) S 13433 13436 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97279327 9740288 346 33554432000 4194304 5098028 140734234227152 140734234225256 140642909991548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140734234231914 140734234232124 140734234232124 140734234234859 0
/proc/13436/statm: 2378 346 289 221 0 87 0
[pid=13438] ppid=13436 vsize=26605264 memory=2985228 CPUtime=1992.64 cores=0-7
/proc/13438/stat : 13438 (java) S 13436 13436 3823 0 -1 1077944320 189542 0 0 0 198985 279 0 0 20 0 28 0 97279327 27243790336 746307 33554432000 4194304 4196468 140721418677776 140721418660320 140227965529847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
/proc/13438/statm: 6651316 746307 3288 1 0 6638550 0
[pid=13438/tid=13439] ppid=13436 vsize=26605264 memory=1398720917958146503 CPUtime=1.69 cores=0-7
/proc/13438/task/13439/stat : 13439 (java) S 13436 13436 3823 0 -1 1077944384 11283 0 0 0 162 7 0 0 20 0 28 0 97279327 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227969770624 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13440] ppid=13436 vsize=26605264 memory=4126316290023845779 CPUtime=0.21 cores=0-7
/proc/13438/task/13440/stat : 13440 (java) S 13436 13436 3823 0 -1 1077944384 583 0 0 0 14 7 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227524217232 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13441] ppid=13436 vsize=26605264 memory=1236 CPUtime=0.21 cores=0-7
/proc/13438/task/13441/stat : 13441 (java) S 13436 13436 3823 0 -1 1077944384 468 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227523164432 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13442] ppid=13436 vsize=26605264 memory=2240 CPUtime=0.21 cores=0-7
/proc/13438/task/13442/stat : 13442 (java) S 13436 13436 3823 0 -1 1077944384 380 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227522112144 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13443] ppid=13436 vsize=26605264 memory=4128 CPUtime=0.18 cores=0-7
/proc/13438/task/13443/stat : 13443 (java) S 13436 13436 3823 0 -1 1077944384 1991 0 0 0 10 8 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227521059344 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13444] ppid=13436 vsize=26605264 memory=1572 CPUtime=0.21 cores=0-7
/proc/13438/task/13444/stat : 13444 (java) S 13436 13436 3823 0 -1 1077944384 1102 0 0 0 13 8 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227520007056 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13445] ppid=13436 vsize=26605264 memory=932 CPUtime=0.19 cores=0-7
/proc/13438/task/13445/stat : 13445 (java) S 13436 13436 3823 0 -1 1077944384 425 0 0 0 10 9 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227518954256 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13446] ppid=13436 vsize=26605264 memory=2200 CPUtime=0.19 cores=0-7
/proc/13438/task/13446/stat : 13446 (java) S 13436 13436 3823 0 -1 1077944384 259 0 0 0 12 7 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227517901968 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13447] ppid=13436 vsize=26605264 memory=1572 CPUtime=0.18 cores=0-7
/proc/13438/task/13447/stat : 13447 (java) S 13436 13436 3823 0 -1 1077944384 1243 0 0 0 10 8 0 0 20 0 28 0 97279328 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227516849168 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13448] ppid=13436 vsize=26605264 memory=932 CPUtime=0.06 cores=0-7
/proc/13438/task/13448/stat : 13448 (java) S 13436 13436 3823 0 -1 1077944384 4660 0 0 0 3 3 0 0 20 0 28 0 97279329 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227227162736 140227965540994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13449] ppid=13436 vsize=26605264 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13438/task/13449/stat : 13449 (java) S 13436 13436 3823 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97279330 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227226108768 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13450] ppid=13436 vsize=26605264 memory=2985056 CPUtime=0 cores=0-7
/proc/13438/task/13450/stat : 13450 (java) S 13436 13436 3823 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97279330 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227225056384 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13451] ppid=13436 vsize=26605264 memory=840 CPUtime=0 cores=0-7
/proc/13438/task/13451/stat : 13451 (java) S 13436 13436 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97279332 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227224004688 140227965548443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13452] ppid=13436 vsize=26605264 memory=1692 CPUtime=2.87 cores=0-7
/proc/13438/task/13452/stat : 13452 (java) S 13436 13436 3823 0 -1 1077944384 13899 0 0 0 284 3 0 0 20 0 28 0 97279332 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227222952560 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13453] ppid=13436 vsize=26605264 memory=6791534058613427641 CPUtime=3.69 cores=0-7
/proc/13438/task/13453/stat : 13453 (java) S 13436 13436 3823 0 -1 1077944384 15312 0 0 0 366 3 0 0 20 0 28 0 97279332 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227221899760 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13454] ppid=13436 vsize=26605264 memory=4184 CPUtime=3.51 cores=0-7
/proc/13438/task/13454/stat : 13454 (java) S 13436 13436 3823 0 -1 1077944384 16028 0 0 0 347 4 0 0 20 0 28 0 97279332 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227220847472 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13455] ppid=13436 vsize=26605264 memory=2985140 CPUtime=1.09 cores=0-7
/proc/13438/task/13455/stat : 13455 (java) S 13436 13436 3823 0 -1 1077944384 22895 0 0 0 105 4 0 0 20 0 28 0 97279332 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227219794672 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13456] ppid=13436 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/13438/task/13456/stat : 13456 (java) S 13436 13436 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97279333 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227218741600 140227965540053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=13457] ppid=13436 vsize=26605264 memory=1420 CPUtime=0.08 cores=0-7
/proc/13438/task/13457/stat : 13457 (java) S 13436 13436 3823 0 -1 1077944384 3453 0 0 0 4 4 0 0 20 0 28 0 97279333 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227217688880 140227965540994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14198] ppid=13436 vsize=26605264 memory=11032 CPUtime=2.5 cores=0-7
/proc/13438/task/14198/stat : 14198 (java) R 13436 13436 3823 0 -1 4202560 127 0 0 0 250 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227208629736 140227613696188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14199] ppid=13436 vsize=26605264 memory=1712 CPUtime=2.5 cores=0-7
/proc/13438/task/14199/stat : 14199 (java) R 13436 13436 3823 0 -1 4202560 90 0 0 0 250 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227204419960 140227610413593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14200] ppid=13436 vsize=26605264 memory=1952 CPUtime=2.44 cores=0-7
/proc/13438/task/14200/stat : 14200 (java) R 13436 13436 3823 0 -1 4202560 228 0 0 0 244 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227202315448 140227613902863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14201] ppid=13436 vsize=26605264 memory=8552 CPUtime=2.5 cores=0-7
/proc/13438/task/14201/stat : 14201 (java) R 13436 13436 3823 0 -1 4202560 99 0 0 0 250 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227206525560 140227612071801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14202] ppid=13436 vsize=26605264 memory=1224 CPUtime=2.49 cores=0-7
/proc/13438/task/14202/stat : 14202 (java) R 13436 13436 3823 0 -1 4202560 422 0 0 0 248 1 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227201265224 140227614012796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14203] ppid=13436 vsize=26605264 memory=792 CPUtime=2.5 cores=0-7
/proc/13438/task/14203/stat : 14203 (java) R 13436 13436 3823 0 -1 4202560 54 0 0 0 250 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227207581128 140227613696325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14204] ppid=13436 vsize=26605264 memory=1004 CPUtime=2.5 cores=0-7
/proc/13438/task/14204/stat : 14204 (java) R 13436 13436 3823 0 -1 4202560 81 0 0 0 250 0 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227209685832 140227613897335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
[pid=13438/tid=14205] ppid=13436 vsize=26605264 memory=5296 CPUtime=2.5 cores=0-7
/proc/13438/task/14205/stat : 14205 (java) R 13436 13436 3823 0 -1 4202560 196 0 0 0 248 2 0 0 20 0 28 0 97304277 27243790336 746307 33554432000 4194304 4196468 140721418677776 140227203369672 140227606050825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19234816 140721418679448 140721418679624 140721418679624 140721418682319 0
Current children cumulated CPU time: 1992.64 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 2986612 KiB

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

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

[startup+252.143 s]
# the end of solver process 13438 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1990.73 s, system=2.8227 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): 252.143
CPU time (s): 1993.55
CPU user time (s): 1990.73
CPU system time (s): 2.8227
CPU usage (%): 790.644
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 3011024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.73
system time used= 2.8227
maximum resident set size= 3017832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19659
involuntary context switches= 21768


# summary of solver processes directly reported to runsolver:
#   pid: 13436,13438
#   total CPU time (s): 1993.55
#   total CPU user time (s): 1990.73
#   total CPU system time (s): 2.8227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17557 second user time and 2.9325 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 18:17:34
IDJOB=4271830
IDBENCH=124400
IDSOLVER=2663
FILE ID=node107/4271830-1502641912
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 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-4271830-1502641912/watcher-4271830-1502641912 -o /tmp/evaluation-result-4271830-1502641912/solver-4271830-1502641912 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1112282274 HOME/instance-4271830-1502641912.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=1112282274

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29152888 kB
MemAvailable:   31991260 kB
Buffers:          167552 kB
Cached:          2959352 kB
SwapCached:            0 kB
Active:           524576 kB
Inactive:        2654432 kB
Active(anon):      54908 kB
Inactive(anon):    24972 kB
Active(file):     469668 kB
Inactive(file):  2629460 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7676 kB
Writeback:             0 kB
AnonPages:         58156 kB
Mapped:            43516 kB
Shmem:             25228 kB
Slab:             135996 kB
SReclaimable:     110156 kB
SUnreclaim:        25840 kB
KernelStack:        3136 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 18:21:46