Trace number 4271831

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)2376 1735.8 252.13699

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n68-k9.xml
MD5SUMd46243a0c717d56f47be278be902a17a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1388
Best CPU time to get the best result obtained on this benchmark251.92799
Satisfiable
(Un)Satisfiability was proved
Number of variables4692
Number of constraints4623
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}]
Minimum variable degree0
Maximum variable degree133
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}]
Number of extensional constraints0
Number of intensional constraints67
Distribution of constraint types[{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}]
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-4271831-1502642051.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271831-1502642051.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
5.16/1.59	c solve instance...
6.74/1.85	o 7860 
6.74/1.89	o 7822 
7.48/1.93	o 7817 
7.48/1.96	o 4343 
22.35/3.89	o 4271 
24.87/4.23	o 4228 
28.04/4.66	o 4160 
33.42/5.38	o 4112 
35.78/5.60	o 4016 
38.20/5.94	o 3846 
38.20/5.97	o 3837 
38.86/6.04	o 3778 
44.88/6.82	o 3759 
48.82/7.33	o 3638 
51.21/7.69	o 3622 
53.42/7.98	o 3424 
53.42/8.00	o 3380 
54.00/8.09	o 3370 
54.72/8.17	o 3357 
55.30/8.29	o 3355 
164.84/22.05	o 3348 
286.43/37.39	o 3337 
287.80/37.53	o 3327 
695.77/88.77	o 3303 
704.51/89.86	o 3278 
725.67/92.60	o 3196 
748.03/95.48	o 3191 
754.75/96.35	o 3185 
773.31/99.22	o 3149 
788.86/101.68	o 3147 
793.08/102.71	o 3074 
808.94/104.75	o 3016 
813.97/105.86	o 3012 
845.09/110.22	o 3007 
876.73/114.65	o 2983 
891.75/117.09	o 2961 
906.51/120.47	o 2943 
942.66/125.78	o 2938 
944.57/126.05	o 2907 
971.99/130.07	o 2902 
1085.05/144.70	o 2879 
1120.01/149.65	o 2874 
1125.03/151.58	o 2871 
1130.80/153.01	o 2859 
1135.43/154.82	o 2832 
1139.90/155.60	o 2812 
1148.78/157.54	o 2808 
1151.33/158.52	o 2805 
1159.00/159.75	o 2800 
1159.42/159.82	o 2799 
1159.42/159.89	o 2795 
1167.39/163.92	o 2792 
1249.37/174.48	o 2769 
1251.22/174.81	o 2765 
1252.77/175.06	o 2756 
1257.17/176.09	o 2755 
1276.12/178.57	o 2744 
1283.48/179.93	o 2741 
1292.78/181.28	o 2738 
1300.69/183.19	o 2736 
1301.57/183.36	o 2725 
1309.54/184.83	o 2700 
1312.15/185.46	o 2698 
1323.65/186.98	o 2693 
1330.03/188.38	o 2688 
1332.08/189.22	o 2610 
1335.87/191.38	o 2608 
1350.22/193.66	o 2570 
1360.35/195.40	o 2568 
1363.51/196.93	o 2565 
1403.16/202.89	o 2563 
1443.71/208.14	o 2557 
1456.24/209.81	o 2537 
1457.76/210.02	o 2534 
1466.74/211.55	o 2501 
1467.14/211.63	o 2500 
1467.14/211.69	o 2496 
1481.55/214.54	o 2495 
1492.93/216.43	o 2464 
1492.93/216.49	o 2463 
1519.49/220.34	o 2462 
1525.16/222.91	o 2456 
1531.11/224.40	o 2455 
1546.34/226.32	o 2450 
1546.34/226.38	o 2447 
1587.55/231.73	o 2417 
1619.20/236.57	o 2405 
1644.89/240.27	o 2383 
1653.53/241.43	o 2382 
1663.96/243.09	o 2378 
1703.25/248.08	o 2376 
1734.97/252.09	s SATISFIABLE
1734.97/252.09	v <instantiation>
1734.97/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[0][67] 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[1][67] 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[2][67] 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[3][67] 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[4][67] 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[5][67] 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[6][67] 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[7][67] 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[8][67] 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[9][67] 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[10][67] 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[11][67] 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[12][67] 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[13][67] 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[14][67] 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[15][67] 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[16][67] 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[17][67] 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[18][67] 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[19][67] 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[20][67] 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[21][67] 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[22][67] 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[23][67] 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[24][67] 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[25][67] 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[26][67] 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[27][67] 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[28][67] 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[29][67] 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[30][67] 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[31][67] 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[32][67] 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[33][67] 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[34][67] 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[35][67] 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[36][67] 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[37][67] 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[38][67] 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[39][67] 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[40][67] 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[41][67] 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[42][67] 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[43][67] 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[44][67] 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[45][67] 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[46][67] 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[47][67] 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[48][67] 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[49][67] 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[50][67] 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[51][67] 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[52][67] 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[53][67] 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[54][67] 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[55][67] 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[56][67] 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[57][67] 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[58][67] 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[59][67] 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[60][67] 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[61][67] 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[62][67] 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[63][67] 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[64][67] 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[65][67] 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] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] 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] u[67] </list>
1734.97/252.09	v 	<values>0 1 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 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 41 85 100 69 90 35 68 77 24 15 69 31 86 89 88 45 53 66 27 71 43 84 87 37 71 55 82 57 8 33 87 99 29 30 8 59 86 21 17 34 96 71 57 49 61 56 23 86 98 94 65 90 49 60 79 55 86 100 98 84 44 69 21 10 16 79 </values>
1734.97/252.09	v </instantiation>
1734.97/252.09	c Unexpected resolution interruption!

Verifier Data 

OK	2376

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271831-1502642051/watcher-4271831-1502642051 -o /tmp/evaluation-result-4271831-1502642051/solver-4271831-1502642051 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1455057291 HOME/instance-4271831-1502642051.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=21107, runsolver pid=21104

[startup+0.10011 s]*
/proc/loadavg: 7.88 6.81 6.47 2/199 21128
/proc/meminfo: memFree=26494412/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=25999808 memory=26504 CPUtime=0.12 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 5522 0 0 0 11 1 0 0 20 0 20 0 97276691 26623803392 6626 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6499952 6626 2883 1 0 6488269 0
[pid=21109/tid=21110] ppid=21107 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) R 21107 21107 6764 0 -1 4202560 3521 0 0 0 8 0 0 0 20 0 20 0 97276691 26623803392 6626 33554432000 4194304 4196468 140721963864496 140162004412208 140161984259422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=25999808 memory=139799965369984 CPUtime=0 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21114] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21114/stat : 21114 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161555220880 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21115] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21115/stat : 21115 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161554168848 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21116] ppid=21107 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21116/stat : 21116 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161553116304 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21117] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21117/stat : 21117 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161552063248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21118] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21118/stat : 21118 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26623803392 6626 33554432000 4194304 4196468 140721963864496 140161551010704 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21119] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21119/stat : 21119 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276693 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160339486960 140162000190082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21120] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21120/stat : 21120 (java) S 21107 21107 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97276694 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160338433184 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21121] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21121/stat : 21121 (java) S 21107 21107 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97276694 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160337380080 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21122] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21122/stat : 21122 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276696 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160336328656 140162000197531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21123] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21123/stat : 21123 (java) R 21107 21107 6764 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 97276696 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160335276784 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21124] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21124/stat : 21124 (java) R 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276696 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160334224240 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21125] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21125/stat : 21125 (java) S 21107 21107 6764 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 97276696 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160333171184 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21126] ppid=21107 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21109/task/21126/stat : 21126 (java) R 21107 21107 6764 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 97276696 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160332118640 140162000190082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21127] ppid=21107 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21127/stat : 21127 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276697 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160331065824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21128] ppid=21107 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21128/stat : 21128 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276697 26623803392 6626 33554432000 4194304 4196468 140721963864496 140160330013360 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27888 KiB

[startup+0.210311 s]*
/proc/loadavg: 7.88 6.81 6.47 3/199 21128
/proc/meminfo: memFree=26482256/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=26004064 memory=38976 CPUtime=0.33 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 8348 0 0 0 31 2 0 0 20 0 20 0 97276691 26628161536 9744 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6501016 9744 3060 1 0 6488269 0
[pid=21109/tid=21110] ppid=21107 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) R 21107 21107 6764 0 -1 4202560 5431 0 0 0 18 1 0 0 20 0 20 0 97276691 26628161536 9744 33554432000 4194304 4196468 140721963864496 140162004399760 140162000200861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=26004064 memory=139799965389709 CPUtime=0 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21114] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21114/stat : 21114 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161555220880 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21115] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21115/stat : 21115 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161554168848 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21116] ppid=21107 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21116/stat : 21116 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161553116304 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21117] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21117/stat : 21117 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161552063248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21118] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21118/stat : 21118 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 9744 33554432000 4194304 4196468 140721963864496 140161551010704 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21119] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21119/stat : 21119 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276693 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160339486960 140162000190082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21120] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21120/stat : 21120 (java) S 21107 21107 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97276694 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160338433184 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21121] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21121/stat : 21121 (java) S 21107 21107 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97276694 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160337380080 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21122] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21122/stat : 21122 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276696 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160336328656 140162000197531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21123] ppid=21107 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21109/task/21123/stat : 21123 (java) S 21107 21107 6764 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 97276696 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160335276784 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21124] ppid=21107 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21109/task/21124/stat : 21124 (java) S 21107 21107 6764 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 97276696 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160334224240 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21125] ppid=21107 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/21109/task/21125/stat : 21125 (java) S 21107 21107 6764 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 97276696 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160333171184 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21126] ppid=21107 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/21109/task/21126/stat : 21126 (java) R 21107 21107 6764 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 97276696 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160332118640 140161980099380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21127] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21127/stat : 21127 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276697 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160331065824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21128] ppid=21107 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21128/stat : 21128 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276697 26628161536 9744 33554432000 4194304 4196468 140721963864496 140160330013360 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40360 KiB

[startup+0.310004 s]*
/proc/loadavg: 7.88 6.81 6.47 3/199 21128
/proc/meminfo: memFree=26477728/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=26004064 memory=43884 CPUtime=0.5 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 9183 0 0 0 47 3 0 0 20 0 20 0 97276691 26628161536 10971 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6501016 10971 3095 1 0 6488269 0
[pid=21109/tid=21110] ppid=21107 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) R 21107 21107 6764 0 -1 4202560 6104 0 0 0 27 2 0 0 20 0 20 0 97276691 26628161536 11483 33554432000 4194304 4196468 140721963864496 140162004416448 140161639347646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21114] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21114/stat : 21114 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161555220880 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21115] ppid=21107 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21109/task/21115/stat : 21115 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161554168848 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21116] ppid=21107 vsize=26004064 memory=139799843402671 CPUtime=0 cores=0-7
/proc/21109/task/21116/stat : 21116 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161553116304 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21117] ppid=21107 vsize=26004064 memory=139799843404976 CPUtime=0 cores=0-7
/proc/21109/task/21117/stat : 21117 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161552063248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21118] ppid=21107 vsize=26004064 memory=139799843407280 CPUtime=0 cores=0-7
/proc/21109/task/21118/stat : 21118 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26628161536 11483 33554432000 4194304 4196468 140721963864496 140161551010704 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21119] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21119/stat : 21119 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276693 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160339486960 140162000190082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21120] ppid=21107 vsize=26004064 memory=279599686821520 CPUtime=0 cores=0-7
/proc/21109/task/21120/stat : 21120 (java) S 21107 21107 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97276694 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160338433184 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21121] ppid=21107 vsize=26004064 memory=279599686828432 CPUtime=0 cores=0-7
/proc/21109/task/21121/stat : 21121 (java) S 21107 21107 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97276694 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160337380080 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21122] ppid=21107 vsize=26004064 memory=279599686769712 CPUtime=0 cores=0-7
/proc/21109/task/21122/stat : 21122 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276696 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160336328656 140162000197531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21123] ppid=21107 vsize=26004064 memory=279599686842256 CPUtime=0.01 cores=0-7
/proc/21109/task/21123/stat : 21123 (java) S 21107 21107 6764 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 97276696 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160335276784 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21124] ppid=21107 vsize=26004064 memory=279599686849168 CPUtime=0.01 cores=0-7
/proc/21109/task/21124/stat : 21124 (java) S 21107 21107 6764 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 97276696 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160334224240 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21125] ppid=21107 vsize=26004064 memory=279599686846864 CPUtime=0.04 cores=0-7
/proc/21109/task/21125/stat : 21125 (java) S 21107 21107 6764 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 20 0 97276696 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160333171184 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21126] ppid=21107 vsize=26004064 memory=279599686863024 CPUtime=0.12 cores=0-7
/proc/21109/task/21126/stat : 21126 (java) R 21107 21107 6764 0 -1 4202560 869 0 0 0 12 0 0 0 20 0 20 0 97276696 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160332118640 140161979607440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21127] ppid=21107 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21127/stat : 21127 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276697 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160331065824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21128] ppid=21107 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21109/task/21128/stat : 21128 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276697 26628161536 11483 33554432000 4194304 4196468 140721963864496 140160330013360 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45268 KiB

[startup+0.701 s]
/proc/loadavg: 7.88 6.81 6.47 5/199 21128
/proc/meminfo: memFree=26449440/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=26006188 memory=108404 CPUtime=2.02 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 13534 0 0 0 197 5 0 0 20 0 20 0 97276691 26630336512 27101 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6501547 27101 3204 1 0 6488781 0
[pid=21109/tid=21110] ppid=21107 vsize=26006188 memory=279599687220912 CPUtime=0.67 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) R 21107 21107 6764 0 -1 4202560 6644 0 0 0 64 3 0 0 20 0 20 0 97276691 26630336512 27101 33554432000 4194304 4196468 140721963864496 140162004416880 140162000190870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=26006188 memory=139799843611504 CPUtime=0 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97276692 26630336512 27101 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97276692 26630336512 27101 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97276692 26630336512 27101 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0

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

[pid=21109/tid=21552] ppid=21107 vsize=26538700 memory=960 CPUtime=0.46 cores=0-7
/proc/21109/task/21552/stat : 21552 (java) S 21107 21107 6764 0 -1 1077944384 21 0 0 0 46 0 0 0 20 0 28 0 97292680 27175628800 565849 33554432000 4194304 4196468 140721963864496 140160317797584 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 1165.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2264780 KiB

[startup+222.301 s]
/proc/loadavg: 6.53 7.00 6.65 2/208 21792
/proc/meminfo: memFree=24180248/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=26538700 memory=2336384 CPUtime=1524.56 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 218875 0 0 0 152195 261 0 0 20 0 28 0 97276691 27175628800 584096 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6634675 584096 3287 1 0 6621909 0
[pid=21109/tid=21110] ppid=21107 vsize=26538700 memory=2293364 CPUtime=1.72 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) S 21107 21107 6764 0 -1 1077944384 14134 0 0 0 164 8 0 0 20 0 28 0 97276691 27175628800 584096 33554432000 4194304 4196468 140721963864496 140162004419712 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=26538700 memory=2289428 CPUtime=0.2 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 1320 0 0 0 14 6 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=26538700 memory=2289432 CPUtime=0.16 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 462 0 0 0 11 5 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=26538700 memory=2289428 CPUtime=0.18 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 549 0 0 0 11 7 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21114] ppid=21107 vsize=26538700 memory=2271872 CPUtime=0.17 cores=0-7
/proc/21109/task/21114/stat : 21114 (java) S 21107 21107 6764 0 -1 1077944384 222 0 0 0 11 6 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161555220880 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21115] ppid=21107 vsize=26538700 memory=2271940 CPUtime=0.16 cores=0-7
/proc/21109/task/21115/stat : 21115 (java) S 21107 21107 6764 0 -1 1077944384 266 0 0 0 11 5 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161554168848 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21116] ppid=21107 vsize=26538700 memory=2271808 CPUtime=0.21 cores=0-7
/proc/21109/task/21116/stat : 21116 (java) S 21107 21107 6764 0 -1 1077944384 1079 0 0 0 14 7 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161553116304 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21117] ppid=21107 vsize=26538700 memory=1384 CPUtime=0.17 cores=0-7
/proc/21109/task/21117/stat : 21117 (java) S 21107 21107 6764 0 -1 1077944384 243 0 0 0 12 5 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161552063248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21118] ppid=21107 vsize=26538700 memory=2294116 CPUtime=0.18 cores=0-7
/proc/21109/task/21118/stat : 21118 (java) S 21107 21107 6764 0 -1 1077944384 1297 0 0 0 13 5 0 0 20 0 28 0 97276692 27175628800 584096 33554432000 4194304 4196468 140721963864496 140161551010704 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21119] ppid=21107 vsize=26538700 memory=2294248 CPUtime=0.14 cores=0-7
/proc/21109/task/21119/stat : 21119 (java) S 21107 21107 6764 0 -1 1077944384 4777 0 0 0 6 8 0 0 20 0 28 0 97276693 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160339486960 140162000190082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21120] ppid=21107 vsize=26538700 memory=2289432 CPUtime=0 cores=0-7
/proc/21109/task/21120/stat : 21120 (java) S 21107 21107 6764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97276694 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160338433248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21121] ppid=21107 vsize=26538700 memory=2289264 CPUtime=0 cores=0-7
/proc/21109/task/21121/stat : 21121 (java) S 21107 21107 6764 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 97276694 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160337380096 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21122] ppid=21107 vsize=26538700 memory=2289496 CPUtime=0 cores=0-7
/proc/21109/task/21122/stat : 21122 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97276696 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160336328656 140162000197531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21123] ppid=21107 vsize=26538700 memory=2303820 CPUtime=3.82 cores=0-7
/proc/21109/task/21123/stat : 21123 (java) S 21107 21107 6764 0 -1 1077944384 22835 0 0 0 379 3 0 0 20 0 28 0 97276696 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160335276784 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21124] ppid=21107 vsize=26538700 memory=2334328 CPUtime=4.16 cores=0-7
/proc/21109/task/21124/stat : 21124 (java) S 21107 21107 6764 0 -1 1077944384 20057 0 0 0 412 4 0 0 20 0 28 0 97276696 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160334224240 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21125] ppid=21107 vsize=26538700 memory=2336384 CPUtime=4.07 cores=0-7
/proc/21109/task/21125/stat : 21125 (java) S 21107 21107 6764 0 -1 1077944384 23534 0 0 0 402 5 0 0 20 0 28 0 97276696 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160333171184 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21126] ppid=21107 vsize=26538700 memory=1384 CPUtime=1.12 cores=0-7
/proc/21109/task/21126/stat : 21126 (java) S 21107 21107 6764 0 -1 1077944384 25923 0 0 0 107 5 0 0 20 0 28 0 97276696 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160332118640 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21127] ppid=21107 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/21109/task/21127/stat : 21127 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97276697 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160331065824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21128] ppid=21107 vsize=26538700 memory=1384 CPUtime=0.08 cores=0-7
/proc/21109/task/21128/stat : 21128 (java) S 21107 21107 6764 0 -1 1077944384 4911 0 0 0 3 5 0 0 20 0 28 0 97276697 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160330013360 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21785] ppid=21107 vsize=26538700 memory=2289264 CPUtime=0.43 cores=0-7
/proc/21109/task/21785/stat : 21785 (java) S 21107 21107 6764 0 -1 1077944384 50 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160322006384 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21786] ppid=21107 vsize=26538700 memory=2334328 CPUtime=0.43 cores=0-7
/proc/21109/task/21786/stat : 21786 (java) S 21107 21107 6764 0 -1 1077944384 8 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160318850000 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21787] ppid=21107 vsize=26538700 memory=1708 CPUtime=0.43 cores=0-7
/proc/21109/task/21787/stat : 21787 (java) S 21107 21107 6764 0 -1 1077944384 26 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160320955984 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21788] ppid=21107 vsize=26538700 memory=4872558044660077418 CPUtime=0.43 cores=0-7
/proc/21109/task/21788/stat : 21788 (java) S 21107 21107 6764 0 -1 1077944384 15 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160315692752 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21789] ppid=21107 vsize=26538700 memory=1384 CPUtime=1.94 cores=0-7
/proc/21109/task/21789/stat : 21789 (java) R 21107 21107 6764 0 -1 4202560 117 0 0 0 194 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160316746952 140161647155444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21790] ppid=21107 vsize=26538700 memory=4012 CPUtime=0.43 cores=0-7
/proc/21109/task/21790/stat : 21790 (java) S 21107 21107 6764 0 -1 1077944384 2 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160314639824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21791] ppid=21107 vsize=26538700 memory=27884 CPUtime=0.43 cores=0-7
/proc/21109/task/21791/stat : 21791 (java) S 21107 21107 6764 0 -1 1077944384 4 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160317797456 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21792] ppid=21107 vsize=26538700 memory=1384 CPUtime=0.43 cores=0-7
/proc/21109/task/21792/stat : 21792 (java) S 21107 21107 6764 0 -1 1077944384 41 0 0 0 43 0 0 0 20 0 28 0 97298725 27175628800 584096 33554432000 4194304 4196468 140721963864496 140160319902928 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 1524.56 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2337768 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 6.39 6.90 6.63 9/208 21872
/proc/meminfo: memFree=23523232/32770624 swapFree=67108860/67108860
[pid=21107] ppid=21104 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21107/stat : 21107 (xcsp3-exec) S 21104 21107 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97276690 9740288 346 33554432000 4194304 5098028 140729654253872 140729654251976 140342570127996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12521472 140729654260842 140729654261052 140729654261052 140729654263787 0
/proc/21107/statm: 2378 346 289 221 0 87 0
[pid=21109] ppid=21107 vsize=26538700 memory=2991968 CPUtime=1734.97 cores=0-7
/proc/21109/stat : 21109 (java) S 21107 21107 6764 0 -1 1077944320 240884 0 0 0 173191 306 0 0 20 0 28 0 97276691 27175628800 747992 33554432000 4194304 4196468 140721963864496 140721963847040 140162000178935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
/proc/21109/statm: 6634675 747992 3287 1 0 6621909 0
[pid=21109/tid=21110] ppid=21107 vsize=26538700 memory=6791534058613427641 CPUtime=1.75 cores=0-7
/proc/21109/task/21110/stat : 21110 (java) S 21107 21107 6764 0 -1 1077944384 16368 0 0 0 166 9 0 0 20 0 28 0 97276691 27175628800 747992 33554432000 4194304 4196468 140721963864496 140162004419712 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21111] ppid=21107 vsize=26538700 memory=1928 CPUtime=0.2 cores=0-7
/proc/21109/task/21111/stat : 21111 (java) S 21107 21107 6764 0 -1 1077944384 1320 0 0 0 14 6 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161558379024 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21112] ppid=21107 vsize=26538700 memory=1428 CPUtime=0.16 cores=0-7
/proc/21109/task/21112/stat : 21112 (java) S 21107 21107 6764 0 -1 1077944384 462 0 0 0 11 5 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161557326480 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21113] ppid=21107 vsize=26538700 memory=1196 CPUtime=0.18 cores=0-7
/proc/21109/task/21113/stat : 21113 (java) S 21107 21107 6764 0 -1 1077944384 549 0 0 0 11 7 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161556273424 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21114] ppid=21107 vsize=26538700 memory=4872558044660077418 CPUtime=0.17 cores=0-7
/proc/21109/task/21114/stat : 21114 (java) S 21107 21107 6764 0 -1 1077944384 222 0 0 0 11 6 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161555220880 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21115] ppid=21107 vsize=26538700 memory=10640 CPUtime=0.16 cores=0-7
/proc/21109/task/21115/stat : 21115 (java) S 21107 21107 6764 0 -1 1077944384 266 0 0 0 11 5 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161554168848 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21116] ppid=21107 vsize=26538700 memory=15876 CPUtime=0.21 cores=0-7
/proc/21109/task/21116/stat : 21116 (java) S 21107 21107 6764 0 -1 1077944384 1079 0 0 0 14 7 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161553116304 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21117] ppid=21107 vsize=26538700 memory=15768 CPUtime=0.17 cores=0-7
/proc/21109/task/21117/stat : 21117 (java) S 21107 21107 6764 0 -1 1077944384 243 0 0 0 12 5 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161552063248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21118] ppid=21107 vsize=26538700 memory=16432 CPUtime=0.18 cores=0-7
/proc/21109/task/21118/stat : 21118 (java) S 21107 21107 6764 0 -1 1077944384 1297 0 0 0 13 5 0 0 20 0 28 0 97276692 27175628800 747992 33554432000 4194304 4196468 140721963864496 140161551010704 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21119] ppid=21107 vsize=26538700 memory=4040 CPUtime=0.15 cores=0-7
/proc/21109/task/21119/stat : 21119 (java) S 21107 21107 6764 0 -1 1077944384 5074 0 0 0 6 9 0 0 20 0 28 0 97276693 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160339486960 140162000190082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21120] ppid=21107 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/21109/task/21120/stat : 21120 (java) S 21107 21107 6764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97276694 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160338433248 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21121] ppid=21107 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/21109/task/21121/stat : 21121 (java) S 21107 21107 6764 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 97276694 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160337380096 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21122] ppid=21107 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/21109/task/21122/stat : 21122 (java) S 21107 21107 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97276696 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160336328656 140162000197531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21123] ppid=21107 vsize=26538700 memory=1236 CPUtime=3.82 cores=0-7
/proc/21109/task/21123/stat : 21123 (java) S 21107 21107 6764 0 -1 1077944384 22857 0 0 0 379 3 0 0 20 0 28 0 97276696 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160335276784 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21124] ppid=21107 vsize=26538700 memory=2344 CPUtime=4.16 cores=0-7
/proc/21109/task/21124/stat : 21124 (java) S 21107 21107 6764 0 -1 1077944384 20411 0 0 0 412 4 0 0 20 0 28 0 97276696 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160334224240 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21125] ppid=21107 vsize=26538700 memory=1576 CPUtime=4.07 cores=0-7
/proc/21109/task/21125/stat : 21125 (java) S 21107 21107 6764 0 -1 1077944384 23554 0 0 0 402 5 0 0 20 0 28 0 97276696 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160333171184 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21126] ppid=21107 vsize=26538700 memory=928 CPUtime=1.14 cores=0-7
/proc/21109/task/21126/stat : 21126 (java) S 21107 21107 6764 0 -1 1077944384 28441 0 0 0 108 6 0 0 20 0 28 0 97276696 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160332118640 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21127] ppid=21107 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/21109/task/21127/stat : 21127 (java) S 21107 21107 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97276697 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160331065824 140162000189141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21128] ppid=21107 vsize=26538700 memory=4128 CPUtime=0.09 cores=0-7
/proc/21109/task/21128/stat : 21128 (java) S 21107 21107 6764 0 -1 1077944384 5268 0 0 0 3 6 0 0 20 0 28 0 97276697 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160330013360 140162000190082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21865] ppid=21107 vsize=26538700 memory=2200 CPUtime=3.91 cores=0-7
/proc/21109/task/21865/stat : 21865 (java) R 21107 21107 6764 0 -1 4202560 179 0 0 0 391 0 0 0 20 0 28 0 97301499 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160314637352 140161646188442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21866] ppid=21107 vsize=26538700 memory=6508 CPUtime=3.9 cores=0-7
/proc/21109/task/21866/stat : 21866 (java) R 21107 21107 6764 0 -1 4202560 248 0 0 0 390 0 0 0 20 0 28 0 97301499 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160318848800 140161641681876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21867] ppid=21107 vsize=26538700 memory=840 CPUtime=3.91 cores=0-7
/proc/21109/task/21867/stat : 21867 (java) R 21107 21107 6764 0 -1 4202560 345 0 0 0 391 0 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160316744568 140161646693365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21868] ppid=21107 vsize=26538700 memory=1692 CPUtime=3.91 cores=0-7
/proc/21109/task/21868/stat : 21868 (java) R 21107 21107 6764 0 -1 4202560 475 0 0 0 391 0 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160320958024 140161647155463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21869] ppid=21107 vsize=26538700 memory=916 CPUtime=3.91 cores=0-7
/proc/21109/task/21869/stat : 21869 (java) R 21107 21107 6764 0 -1 4202560 254 0 0 0 389 2 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160319902360 140161640252718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21870] ppid=21107 vsize=26538700 memory=6944 CPUtime=3.84 cores=0-7
/proc/21109/task/21870/stat : 21870 (java) R 21107 21107 6764 0 -1 4202560 75 0 0 0 384 0 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160317797144 140161646189625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21871] ppid=21107 vsize=26538700 memory=4100 CPUtime=3.91 cores=0-7
/proc/21109/task/21871/stat : 21871 (java) R 21107 21107 6764 0 -1 4202560 305 0 0 0 391 0 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160322007448 140161642679888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
[pid=21109/tid=21872] ppid=21107 vsize=26538700 memory=1156 CPUtime=3.91 cores=0-7
/proc/21109/task/21872/stat : 21872 (java) R 21107 21107 6764 0 -1 4202560 166 0 0 0 391 0 0 0 20 0 28 0 97301500 27175628800 747992 33554432000 4194304 4196468 140721963864496 140160315690976 140161646823229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7569408 140721963873432 140721963873608 140721963873608 140721963876303 0
Current children cumulated CPU time: 1734.97 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2993352 KiB

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

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

[startup+252.137 s]
# the end of solver process 21109 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1732.71 s, system=3.09694 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.137
CPU time (s): 1735.8
CPU user time (s): 1732.71
CPU system time (s): 3.09694
CPU usage (%): 688.437
Max. virtual memory (cumulated for all children) (KiB): 26550588
Max. memory (cumulated for all children) (KiB): 2993352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.71
system time used= 3.09694
maximum resident set size= 3000712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19975
involuntary context switches= 19351


# summary of solver processes directly reported to runsolver:
#   pid: 21107,21109
#   total CPU time (s): 1735.8
#   total CPU user time (s): 1732.71
#   total CPU system time (s): 3.09694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12707 second user time and 2.98433 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 18:19:52
IDJOB=4271831
IDBENCH=124439
IDSOLVER=2663
FILE ID=node105/4271831-1502642051
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271831-1502642051/watcher-4271831-1502642051 -o /tmp/evaluation-result-4271831-1502642051/solver-4271831-1502642051 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1455057291 HOME/instance-4271831-1502642051.xml

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

MD5SUM BENCH= d46243a0c717d56f47be278be902a17a
RANDOM SEED=1455057291

node105.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.17
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.17
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.17
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.17
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:        26509356 kB
MemAvailable:   31973132 kB
Buffers:          175676 kB
Cached:          5563360 kB
SwapCached:            0 kB
Active:           719596 kB
Inactive:        5075412 kB
Active(anon):      58788 kB
Inactive(anon):    25060 kB
Active(file):     660808 kB
Inactive(file):  5050352 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7776 kB
Writeback:             4 kB
AnonPages:         62440 kB
Mapped:            43540 kB
Shmem:             25228 kB
Slab:             162556 kB
SReclaimable:     136900 kB
SUnreclaim:        25656 kB
KernelStack:        3216 kB
PageTables:         4708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 18:24:04