0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270842-1502715110.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270842-1502715110.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
6.10/1.83	c solve instance...
7.34/2.08	o 7120 
8.08/2.13	o 7114 
8.08/2.16	o 7113 
8.08/2.18	o 3945 
51.03/7.66	o 3944 
60.41/8.89	o 3898 
75.44/10.77	o 3842 
98.52/13.60	o 3838 
101.74/14.03	o 3504 
127.87/17.38	o 3479 
142.99/19.20	o 3417 
149.43/20.05	o 3397 
163.68/21.81	o 3388 
172.42/23.01	o 3345 
197.99/26.19	o 3336 
204.25/26.93	o 3333 
211.40/27.82	o 3316 
229.79/30.16	o 3180 
253.70/33.17	o 3151 
280.69/36.54	o 3150 
283.85/36.93	o 3135 
295.79/38.47	o 3107 
311.71/40.47	o 3042 
323.60/41.95	o 3039 
339.52/43.98	o 2925 
349.09/45.12	o 2922 
388.12/50.06	o 2913 
396.86/51.18	o 2901 
412.78/53.18	o 2900 
442.97/56.99	o 2898 
446.11/57.39	o 2890 
461.21/59.24	o 2888 
466.73/59.95	o 2861 
497.83/63.89	o 2825 
503.38/64.55	o 2736 
509.75/65.35	o 2726 
524.15/67.14	o 2710 
526.45/67.48	o 2693 
552.73/70.79	o 2684 
618.98/79.02	o 2681 
661.95/84.41	o 2678 
681.87/86.94	o 2676 
682.71/87.06	o 2670 
688.21/87.77	o 2666 
691.45/88.13	o 2643 
757.56/96.42	o 2639 
785.45/99.94	o 2638 
803.04/102.20	o 2570 
868.35/110.33	o 2540 
923.36/117.27	o 2520 
926.51/117.64	o 2493 
932.06/118.34	o 2491 
943.15/119.77	o 2485 
959.88/121.88	o 2481 
963.03/122.22	o 2408 
1005.28/127.52	o 2406 
1076.25/136.43	o 2404 
1100.94/139.58	o 2401 
1104.10/139.94	o 2398 
1124.80/142.53	o 2373 
1170.22/148.21	o 2328 
1172.59/148.52	o 2311 
1249.17/158.11	o 2304 
1251.46/158.47	o 2303 
1280.20/162.06	o 2294 
1333.55/168.72	o 2278 
1340.71/169.65	o 2233 
1361.44/172.26	o 2211 
1412.47/178.62	o 2176 
1420.40/179.66	o 2169 
1520.87/192.23	o 2161 
1537.60/194.37	o 2157 
1575.14/199.07	o 2156 
1673.16/211.32	o 2154 
1738.55/219.52	o 2147 
1791.24/226.20	o 2126 
1898.04/239.57	o 2124 
1985.76/250.51	o 2117 
2146.06/270.63	o 2116 
2153.19/271.53	o 2110 
2229.01/281.10	o 2097 
2234.51/281.71	o 2072 
2307.89/291.00	o 2069 
2737.07/344.77	o 2064 
2827.26/356.03	o 2053 
2863.86/360.62	o 2025 
2930.91/369.06	o 2007 
3052.84/384.36	o 2004 
3089.49/389.00	o 2003 
3125.32/393.50	o 2002 
3296.80/414.94	o 2001 
3441.23/433.07	o 2000 
3662.91/460.85	o 1987 
3788.93/476.61	o 1986 
3840.79/483.15	o 1985 
3865.41/486.30	o 1984 
3923.61/493.55	o 1981 
4067.14/511.60	o 1975 
4433.32/557.50	o 1955 
4533.95/570.08	o 1936 
4715.65/592.84	o 1922 
4740.37/596.01	o 1917 
4935.76/620.42	o 1916 
5075.16/637.90	o 1911 
5075.98/638.01	o 1909 
5086.25/639.35	o 1895 
5173.99/650.37	o 1894 
5202.68/654.00	o 1893 
5351.81/672.63	o 1891 
5362.17/673.93	o 1882 
5374.11/675.49	o 1876 
5818.54/731.12	o 1865 
5891.82/740.30	o 1854 
6043.31/759.37	o 1853 
6364.79/799.62	o 1851 
6832.20/858.23	o 1848 
6839.43/859.20	o 1842 
6856.88/861.39	o 1838 
6872.80/863.31	o 1836 
6905.47/867.50	o 1830 
6935.03/871.19	o 1826 
7160.69/899.47	o 1824 
7369.67/925.68	o 1820 
7530.01/945.78	o 1819 
7621.70/957.23	o 1809 
7867.46/988.04	o 1803 
8212.79/1031.34	o 1797 
8243.14/1035.19	o 1794 
8255.00/1036.67	o 1793 
8641.19/1085.06	o 1779 
8892.39/1116.52	o 1776 
9094.19/1141.80	o 1775 
9584.85/1203.35	o 1773 
9587.22/1203.65	o 1744 
9727.61/1221.30	o 1742 
10934.67/1372.53	o 1737 
11363.82/1426.31	o 1735 
11510.55/1444.75	o 1720 
11736.36/1473.09	o 1694 
11802.48/1481.39	o 1692 
11839.14/1485.92	o 1690 
17129.85/2149.05	o 1646 
17190.39/2156.63	o 1645 
17621.97/2210.71	o 1643 
17749.57/2226.79	o 1618 
18354.27/2302.58	o 1616 
18619.00/2335.79	o 1613 
18630.17/2337.19	o 1612 
19806.12/2484.58	o 1604 
20089.37/2520.09	s SATISFIABLE
20089.37/2520.09	v <instantiation>
20089.37/2520.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[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] 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[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] 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[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] 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[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] 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[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] 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[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] 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[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] 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[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] 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[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] 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[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] 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[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] 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[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] 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[12][68] x[12][69] x[12][70] x[12][71] x[12][72] x[12][73] x[12][74] x[12][75] x[12][76] x[12][77] 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[13][68] x[13][69] x[13][70] x[13][71] x[13][72] x[13][73] x[13][74] x[13][75] x[13][76] x[13][77] 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[14][68] x[14][69] x[14][70] x[14][71] x[14][72] x[14][73] x[14][74] x[14][75] x[14][76] x[14][77] 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[15][68] x[15][69] x[15][70] x[15][71] x[15][72] x[15][73] x[15][74] x[15][75] x[15][76] x[15][77] 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[16][68] x[16][69] x[16][70] x[16][71] x[16][72] x[16][73] x[16][74] x[16][75] x[16][76] x[16][77] 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[17][68] x[17][69] x[17][70] x[17][71] x[17][72] x[17][73] x[17][74] x[17][75] x[17][76] x[17][77] 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[18][68] x[18][69] x[18][70] x[18][71] x[18][72] x[18][73] x[18][74] x[18][75] x[18][76] x[18][77] 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[19][68] x[19][69] x[19][70] x[19][71] x[19][72] x[19][73] x[19][74] x[19][75] x[19][76] x[19][77] 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[20][68] x[20][69] x[20][70] x[20][71] x[20][72] x[20][73] x[20][74] x[20][75] x[20][76] x[20][77] 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[21][68] x[21][69] x[21][70] x[21][71] x[21][72] x[21][73] x[21][74] x[21][75] x[21][76] x[21][77] 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[22][68] x[22][69] x[22][70] x[22][71] x[22][72] x[22][73] x[22][74] x[22][75] x[22][76] x[22][77] 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[23][68] x[23][69] x[23][70] x[23][71] x[23][72] x[23][73] x[23][74] x[23][75] x[23][76] x[23][77] 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[24][68] x[24][69] x[24][70] x[24][71] x[24][72] x[24][73] x[24][74] x[24][75] x[24][76] x[24][77] 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[25][68] x[25][69] x[25][70] x[25][71] x[25][72] x[25][73] x[25][74] x[25][75] x[25][76] x[25][77] 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[26][68] x[26][69] x[26][70] x[26][71] x[26][72] x[26][73] x[26][74] x[26][75] x[26][76] x[26][77] 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[27][68] x[27][69] x[27][70] x[27][71] x[27][72] x[27][73] x[27][74] x[27][75] x[27][76] x[27][77] 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[28][68] x[28][69] x[28][70] x[28][71] x[28][72] x[28][73] x[28][74] x[28][75] x[28][76] x[28][77] 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[29][68] x[29][69] x[29][70] x[29][71] x[29][72] x[29][73] x[29][74] x[29][75] x[29][76] x[29][77] 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[30][68] x[30][69] x[30][70] x[30][71] x[30][72] x[30][73] x[30][74] x[30][75] x[30][76] x[30][77] 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[31][68] x[31][69] x[31][70] x[31][71] x[31][72] x[31][73] x[31][74] x[31][75] x[31][76] x[31][77] 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[32][68] x[32][69] x[32][70] x[32][71] x[32][72] x[32][73] x[32][74] x[32][75] x[32][76] x[32][77] 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[33][68] x[33][69] x[33][70] x[33][71] x[33][72] x[33][73] x[33][74] x[33][75] x[33][76] x[33][77] 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[34][68] x[34][69] x[34][70] x[34][71] x[34][72] x[34][73] x[34][74] x[34][75] x[34][76] x[34][77] 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[35][68] x[35][69] x[35][70] x[35][71] x[35][72] x[35][73] x[35][74] x[35][75] x[35][76] x[35][77] 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[36][68] x[36][69] x[36][70] x[36][71] x[36][72] x[36][73] x[36][74] x[36][75] x[36][76] x[36][77] 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[37][68] x[37][69] x[37][70] x[37][71] x[37][72] x[37][73] x[37][74] x[37][75] x[37][76] x[37][77] 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[38][68] x[38][69] x[38][70] x[38][71] x[38][72] x[38][73] x[38][74] x[38][75] x[38][76] x[38][77] 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[39][68] x[39][69] x[39][70] x[39][71] x[39][72] x[39][73] x[39][74] x[39][75] x[39][76] x[39][77] 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[40][68] x[40][69] x[40][70] x[40][71] x[40][72] x[40][73] x[40][74] x[40][75] x[40][76] x[40][77] 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[41][68] x[41][69] x[41][70] x[41][71] x[41][72] x[41][73] x[41][74] x[41][75] x[41][76] x[41][77] 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[42][68] x[42][69] x[42][70] x[42][71] x[42][72] x[42][73] x[42][74] x[42][75] x[42][76] x[42][77] 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[43][68] x[43][69] x[43][70] x[43][71] x[43][72] x[43][73] x[43][74] x[43][75] x[43][76] x[43][77] 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[44][68] x[44][69] x[44][70] x[44][71] x[44][72] x[44][73] x[44][74] x[44][75] x[44][76] x[44][77] 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[45][68] x[45][69] x[45][70] x[45][71] x[45][72] x[45][73] x[45][74] x[45][75] x[45][76] x[45][77] 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[46][68] x[46][69] x[46][70] x[46][71] x[46][72] x[46][73] x[46][74] x[46][75] x[46][76] x[46][77] 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[47][68] x[47][69] x[47][70] x[47][71] x[47][72] x[47][73] x[47][74] x[47][75] x[47][76] x[47][77] 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[48][68] x[48][69] x[48][70] x[48][71] x[48][72] x[48][73] x[48][74] x[48][75] x[48][76] x[48][77] 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[49][68] x[49][69] x[49][70] x[49][71] x[49][72] x[49][73] x[49][74] x[49][75] x[49][76] x[49][77] 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[50][68] x[50][69] x[50][70] x[50][71] x[50][72] x[50][73] x[50][74] x[50][75] x[50][76] x[50][77] 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[51][68] x[51][69] x[51][70] x[51][71] x[51][72] x[51][73] x[51][74] x[51][75] x[51][76] x[51][77] 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[52][68] x[52][69] x[52][70] x[52][71] x[52][72] x[52][73] x[52][74] x[52][75] x[52][76] x[52][77] 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[53][68] x[53][69] x[53][70] x[53][71] x[53][72] x[53][73] x[53][74] x[53][75] x[53][76] x[53][77] 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[54][68] x[54][69] x[54][70] x[54][71] x[54][72] x[54][73] x[54][74] x[54][75] x[54][76] x[54][77] 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[55][68] x[55][69] x[55][70] x[55][71] x[55][72] x[55][73] x[55][74] x[55][75] x[55][76] x[55][77] 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[56][68] x[56][69] x[56][70] x[56][71] x[56][72] x[56][73] x[56][74] x[56][75] x[56][76] x[56][77] 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[57][68] x[57][69] x[57][70] x[57][71] x[57][72] x[57][73] x[57][74] x[57][75] x[57][76] x[57][77] 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[58][68] x[58][69] x[58][70] x[58][71] x[58][72] x[58][73] x[58][74] x[58][75] x[58][76] x[58][77] 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[59][68] x[59][69] x[59][70] x[59][71] x[59][72] x[59][73] x[59][74] x[59][75] x[59][76] x[59][77] 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[60][68] x[60][69] x[60][70] x[60][71] x[60][72] x[60][73] x[60][74] x[60][75] x[60][76] x[60][77] 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[61][68] x[61][69] x[61][70] x[61][71] x[61][72] x[61][73] x[61][74] x[61][75] x[61][76] x[61][77] 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[62][68] x[62][69] x[62][70] x[62][71] x[62][72] x[62][73] x[62][74] x[62][75] x[62][76] x[62][77] 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[63][68] x[63][69] x[63][70] x[63][71] x[63][72] x[63][73] x[63][74] x[63][75] x[63][76] x[63][77] 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[64][68] x[64][69] x[64][70] x[64][71] x[64][72] x[64][73] x[64][74] x[64][75] x[64][76] x[64][77] 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[65][68] x[65][69] x[65][70] x[65][71] x[65][72] x[65][73] x[65][74] x[65][75] x[65][76] x[65][77] 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[66][68] x[66][69] x[66][70] x[66][71] x[66][72] x[66][73] x[66][74] x[66][75] x[66][76] x[66][77] 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] x[67][68] x[67][69] x[67][70] x[67][71] x[67][72] x[67][73] x[67][74] x[67][75] x[67][76] x[67][77] x[68][0] x[68][1] x[68][2] x[68][3] x[68][4] x[68][5] x[68][6] x[68][7] x[68][8] x[68][9] x[68][10] x[68][11] x[68][12] x[68][13] x[68][14] x[68][15] x[68][16] x[68][17] x[68][18] x[68][19] x[68][20] x[68][21] x[68][22] x[68][23] x[68][24] x[68][25] x[68][26] x[68][27] x[68][28] x[68][29] x[68][30] x[68][31] x[68][32] x[68][33] x[68][34] x[68][35] x[68][36] x[68][37] x[68][38] x[68][39] x[68][40] x[68][41] x[68][42] x[68][43] x[68][44] x[68][45] x[68][46] x[68][47] x[68][48] x[68][49] x[68][50] x[68][51] x[68][52] x[68][53] x[68][54] x[68][55] x[68][56] x[68][57] x[68][58] x[68][59] x[68][60] x[68][61] x[68][62] x[68][63] x[68][64] x[68][65] x[68][66] x[68][67] x[68][68] x[68][69] x[68][70] x[68][71] x[68][72] x[68][73] x[68][74] x[68][75] x[68][76] x[68][77] x[69][0] x[69][1] x[69][2] x[69][3] x[69][4] x[69][5] x[69][6] x[69][7] x[69][8] x[69][9] x[69][10] x[69][11] x[69][12] x[69][13] x[69][14] x[69][15] x[69][16] x[69][17] x[69][18] x[69][19] x[69][20] x[69][21] x[69][22] x[69][23] x[69][24] x[69][25] x[69][26] x[69][27] x[69][28] x[69][29] x[69][30] x[69][31] x[69][32] x[69][33] x[69][34] x[69][35] x[69][36] x[69][37] x[69][38] x[69][39] x[69][40] x[69][41] x[69][42] x[69][43] x[69][44] x[69][45] x[69][46] x[69][47] x[69][48] x[69][49] x[69][50] x[69][51] x[69][52] x[69][53] x[69][54] x[69][55] x[69][56] x[69][57] x[69][58] x[69][59] x[69][60] x[69][61] x[69][62] x[69][63] x[69][64] x[69][65] x[69][66] x[69][67] x[69][68] x[69][69] x[69][70] x[69][71] x[69][72] x[69][73] x[69][74] x[69][75] x[69][76] x[69][77] x[70][0] x[70][1] x[70][2] x[70][3] x[70][4] x[70][5] x[70][6] x[70][7] x[70][8] x[70][9] x[70][10] x[70][11] x[70][12] x[70][13] x[70][14] x[70][15] x[70][16] x[70][17] x[70][18] x[70][19] x[70][20] x[70][21] x[70][22] x[70][23] x[70][24] x[70][25] x[70][26] x[70][27] x[70][28] x[70][29] x[70][30] x[70][31] x[70][32] x[70][33] x[70][34] x[70][35] x[70][36] x[70][37] x[70][38] x[70][39] x[70][40] x[70][41] x[70][42] x[70][43] x[70][44] x[70][45] x[70][46] x[70][47] x[70][48] x[70][49] x[70][50] x[70][51] x[70][52] x[70][53] x[70][54] x[70][55] x[70][56] x[70][57] x[70][58] x[70][59] x[70][60] x[70][61] x[70][62] x[70][63] x[70][64] x[70][65] x[70][66] x[70][67] x[70][68] x[70][69] x[70][70] x[70][71] x[70][72] x[70][73] x[70][74] x[70][75] x[70][76] x[70][77] x[71][0] x[71][1] x[71][2] x[71][3] x[71][4] x[71][5] x[71][6] x[71][7] x[71][8] x[71][9] x[71][10] x[71][11] x[71][12] x[71][13] x[71][14] x[71][15] x[71][16] x[71][17] x[71][18] x[71][19] x[71][20] x[71][21] x[71][22] x[71][23] x[71][24] x[71][25] x[71][26] x[71][27] x[71][28] x[71][29] x[71][30] x[71][31] x[71][32] x[71][33] x[71][34] x[71][35] x[71][36] x[71][37] x[71][38] x[71][39] x[71][40] x[71][41] x[71][42] x[71][43] x[71][44] x[71][45] x[71][46] x[71][47] x[71][48] x[71][49] x[71][50] x[71][51] x[71][52] x[71][53] x[71][54] x[71][55] x[71][56] x[71][57] x[71][58] x[71][59] x[71][60] x[71][61] x[71][62] x[71][63] x[71][64] x[71][65] x[71][66] x[71][67] x[71][68] x[71][69] x[71][70] x[71][71] x[71][72] x[71][73] x[71][74] x[71][75] x[71][76] x[71][77] x[72][0] x[72][1] x[72][2] x[72][3] x[72][4] x[72][5] x[72][6] x[72][7] x[72][8] x[72][9] x[72][10] x[72][11] x[72][12] x[72][13] x[72][14] x[72][15] x[72][16] x[72][17] x[72][18] x[72][19] x[72][20] x[72][21] x[72][22] x[72][23] x[72][24] x[72][25] x[72][26] x[72][27] x[72][28] x[72][29] x[72][30] x[72][31] x[72][32] x[72][33] x[72][34] x[72][35] x[72][36] x[72][37] x[72][38] x[72][39] x[72][40] x[72][41] x[72][42] x[72][43] x[72][44] x[72][45] x[72][46] x[72][47] x[72][48] x[72][49] x[72][50] x[72][51] x[72][52] x[72][53] x[72][54] x[72][55] x[72][56] x[72][57] x[72][58] x[72][59] x[72][60] x[72][61] x[72][62] x[72][63] x[72][64] x[72][65] x[72][66] x[72][67] x[72][68] x[72][69] x[72][70] x[72][71] x[72][72] x[72][73] x[72][74] x[72][75] x[72][76] x[72][77] x[73][0] x[73][1] x[73][2] x[73][3] x[73][4] x[73][5] x[73][6] x[73][7] x[73][8] x[73][9] x[73][10] x[73][11] x[73][12] x[73][13] x[73][14] x[73][15] x[73][16] x[73][17] x[73][18] x[73][19] x[73][20] x[73][21] x[73][22] x[73][23] x[73][24] x[73][25] x[73][26] x[73][27] x[73][28] x[73][29] x[73][30] x[73][31] x[73][32] x[73][33] x[73][34] x[73][35] x[73][36] x[73][37] x[73][38] x[73][39] x[73][40] x[73][41] x[73][42] x[73][43] x[73][44] x[73][45] x[73][46] x[73][47] x[73][48] x[73][49] x[73][50] x[73][51] x[73][52] x[73][53] x[73][54] x[73][55] x[73][56] x[73][57] x[73][58] x[73][59] x[73][60] x[73][61] x[73][62] x[73][63] x[73][64] x[73][65] x[73][66] x[73][67] x[73][68] x[73][69] x[73][70] x[73][71] x[73][72] x[73][73] x[73][74] x[73][75] x[73][76] x[73][77] x[74][0] x[74][1] x[74][2] x[74][3] x[74][4] x[74][5] x[74][6] x[74][7] x[74][8] x[74][9] x[74][10] x[74][11] x[74][12] x[74][13] x[74][14] x[74][15] x[74][16] x[74][17] x[74][18] x[74][19] x[74][20] x[74][21] x[74][22] x[74][23] x[74][24] x[74][25] x[74][26] x[74][27] x[74][28] x[74][29] x[74][30] x[74][31] x[74][32] x[74][33] x[74][34] x[74][35] x[74][36] x[74][37] x[74][38] x[74][39] x[74][40] x[74][41] x[74][42] x[74][43] x[74][44] x[74][45] x[74][46] x[74][47] x[74][48] x[74][49] x[74][50] x[74][51] x[74][52] x[74][53] x[74][54] x[74][55] x[74][56] x[74][57] x[74][58] x[74][59] x[74][60] x[74][61] x[74][62] x[74][63] x[74][64] x[74][65] x[74][66] x[74][67] x[74][68] x[74][69] x[74][70] x[74][71] x[74][72] x[74][73] x[74][74] x[74][75] x[74][76] x[74][77] x[75][0] x[75][1] x[75][2] x[75][3] x[75][4] x[75][5] x[75][6] x[75][7] x[75][8] x[75][9] x[75][10] x[75][11] x[75][12] x[75][13] x[75][14] x[75][15] x[75][16] x[75][17] x[75][18] x[75][19] x[75][20] x[75][21] x[75][22] x[75][23] x[75][24] x[75][25] x[75][26] x[75][27] x[75][28] x[75][29] x[75][30] x[75][31] x[75][32] x[75][33] x[75][34] x[75][35] x[75][36] x[75][37] x[75][38] x[75][39] x[75][40] x[75][41] x[75][42] x[75][43] x[75][44] x[75][45] x[75][46] x[75][47] x[75][48] x[75][49] x[75][50] x[75][51] x[75][52] x[75][53] x[75][54] x[75][55] x[75][56] x[75][57] x[75][58] x[75][59] x[75][60] x[75][61] x[75][62] x[75][63] x[75][64] x[75][65] x[75][66] x[75][67] x[75][68] x[75][69] x[75][70] x[75][71] x[75][72] x[75][73] x[75][74] x[75][75] x[75][76] x[75][77] x[76][0] x[76][1] x[76][2] x[76][3] x[76][4] x[76][5] x[76][6] x[76][7] x[76][8] x[76][9] x[76][10] x[76][11] x[76][12] x[76][13] x[76][14] x[76][15] x[76][16] x[76][17] x[76][18] x[76][19] x[76][20] x[76][21] x[76][22] x[76][23] x[76][24] x[76][25] x[76][26] x[76][27] x[76][28] x[76][29] x[76][30] x[76][31] x[76][32] x[76][33] x[76][34] x[76][35] x[76][36] x[76][37] x[76][38] x[76][39] x[76][40] x[76][41] x[76][42] x[76][43] x[76][44] x[76][45] x[76][46] x[76][47] x[76][48] x[76][49] x[76][50] x[76][51] x[76][52] x[76][53] x[76][54] x[76][55] x[76][56] x[76][57] x[76][58] x[76][59] x[76][60] x[76][61] x[76][62] x[76][63] x[76][64] x[76][65] x[76][66] x[76][67] x[76][68] x[76][69] x[76][70] x[76][71] x[76][72] x[76][73] x[76][74] x[76][75] x[76][76] x[76][77] x[77][0] x[77][1] x[77][2] x[77][3] x[77][4] x[77][5] x[77][6] x[77][7] x[77][8] x[77][9] x[77][10] x[77][11] x[77][12] x[77][13] x[77][14] x[77][15] x[77][16] x[77][17] x[77][18] x[77][19] x[77][20] x[77][21] x[77][22] x[77][23] x[77][24] x[77][25] x[77][26] x[77][27] x[77][28] x[77][29] x[77][30] x[77][31] x[77][32] x[77][33] x[77][34] x[77][35] x[77][36] x[77][37] x[77][38] x[77][39] x[77][40] x[77][41] x[77][42] x[77][43] x[77][44] x[77][45] x[77][46] x[77][47] x[77][48] x[77][49] x[77][50] x[77][51] x[77][52] x[77][53] x[77][54] x[77][55] x[77][56] x[77][57] x[77][58] x[77][59] x[77][60] x[77][61] x[77][62] x[77][63] x[77][64] x[77][65] x[77][66] x[77][67] x[77][68] x[77][69] x[77][70] x[77][71] x[77][72] x[77][73] x[77][74] x[77][75] x[77][76] x[77][77] 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] u[68] u[69] u[70] u[71] u[72] u[73] u[74] u[75] u[76] u[77] </list>
20089.37/2520.09	v 	<values>0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 92 95 46 90 31 21 47 21 96 79 87 36 59 34 82 67 91 26 93 68 45 9 91 50 65 32 100 87 98 35 60 76 16 31 71 26 49 17 27 98 36 42 57 26 79 53 3 48 12 74 59 74 92 54 74 95 75 40 41 100 51 28 100 5 17 61 44 54 74 78 26 29 42 80 25 24 60 </values>
20089.37/2520.10	v </instantiation>
20089.37/2520.10	c Unexpected resolution interruption!

OK	1604

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270842-1502715110/watcher-4270842-1502715110 -o /tmp/evaluation-result-4270842-1502715110/solver-4270842-1502715110 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502711730-20263 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1273162460 HOME/instance-4270842-1502715110.xml 

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

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

solver pid=21138, runsolver pid=21135

[startup+0.100125 s]*
/proc/loadavg: 8.13 8.23 8.28 3/199 21159
/proc/meminfo: memFree=31420920/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=25999808 memory=26636 CPUtime=0.12 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 5499 0 0 0 11 1 0 0 20 0 20 0 104599356 26623803392 6659 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6499952 6659 2868 1 0 6488269 0
[pid=21140/tid=21141] ppid=21138 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) R 21138 21138 20236 0 -1 4202560 3488 0 0 0 8 1 0 0 20 0 20 0 104599356 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314662897536 140314658676118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=25999808 memory=140166900024960 CPUtime=0 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21145] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314578086160 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21146] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314577034384 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21147] ppid=21138 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314575981584 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21148] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314574928784 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21149] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314573875984 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21150] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599358 26623803392 6659 33554432000 4194304 4196468 140731864336912 140314166704496 140314658675330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21151] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21138 21138 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104599359 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313785033760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21152] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21138 21138 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104599359 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313783980912 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21153] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313782929232 140314658682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21154] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21138 21138 20236 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313781877616 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21155] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313780824816 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21156] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21138 21138 20236 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313779772016 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21157] ppid=21138 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) R 21138 21138 20236 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313778719216 140314642744670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21158] ppid=21138 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599361 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313777666656 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21159] ppid=21138 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599362 26623803392 6659 33554432000 4194304 4196468 140731864336912 140313776613936 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28020 KiB

[startup+0.210478 s]*
/proc/loadavg: 8.13 8.23 8.28 2/199 21159
/proc/meminfo: memFree=31410184/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=26004064 memory=38920 CPUtime=0.33 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 8344 0 0 0 31 2 0 0 20 0 20 0 104599356 26628161536 9730 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6501016 9730 3033 1 0 6488269 0
[pid=21140/tid=21141] ppid=21138 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) R 21138 21138 20236 0 -1 4202560 5414 0 0 0 18 2 0 0 20 0 20 0 104599356 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314662865904 140314651343405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=26004096 memory=331 CPUtime=0 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26628194304 9730 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=26004096 memory=140166900043188 CPUtime=0 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628194304 9730 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21145] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314578086160 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21146] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314577034384 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21147] ppid=21138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314575981584 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21148] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314574928784 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21149] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314573875984 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21150] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599358 26628161536 9730 33554432000 4194304 4196468 140731864336912 140314166704496 140314658675330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21151] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21138 21138 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104599359 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313785033760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21152] ppid=21138 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21138 21138 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104599359 26628194304 9730 33554432000 4194304 4196468 140731864336912 140313783980912 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21153] ppid=21138 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599361 26628194304 9730 33554432000 4194304 4196468 140731864336912 140313782929232 140314658682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21154] ppid=21138 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21138 21138 20236 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 104599361 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313781877616 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21155] ppid=21138 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) S 21138 21138 20236 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 20 0 104599361 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313780824816 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21156] ppid=21138 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21138 21138 20236 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 20 0 104599361 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313779772016 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21157] ppid=21138 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) S 21138 21138 20236 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 20 0 104599361 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313778719216 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21158] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599361 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313777666656 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21159] ppid=21138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599362 26628161536 9730 33554432000 4194304 4196468 140731864336912 140313776613936 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40304 KiB

[startup+0.310309 s]*
/proc/loadavg: 8.13 8.23 8.28 3/199 21159
/proc/meminfo: memFree=31405692/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=26004064 memory=45816 CPUtime=0.5 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 9165 0 0 0 47 3 0 0 20 0 20 0 104599356 26628161536 11454 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6501016 11454 3087 1 0 6488269 0
[pid=21140/tid=21141] ppid=21138 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) R 21138 21138 20236 0 -1 4202560 6075 0 0 0 27 2 0 0 20 0 20 0 104599356 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314662898128 140314249663961 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21145] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314578086160 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21146] ppid=21138 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314577034384 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21147] ppid=21138 vsize=26004064 memory=140166794671023 CPUtime=0 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314575981584 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21148] ppid=21138 vsize=26004064 memory=140166794673328 CPUtime=0 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314574928784 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21149] ppid=21138 vsize=26004064 memory=140166794675632 CPUtime=0 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314573875984 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21150] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599358 26628161536 11454 33554432000 4194304 4196468 140731864336912 140314166704496 140314658675330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21151] ppid=21138 vsize=26004064 memory=280333589358224 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21138 21138 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104599359 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313785033760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21152] ppid=21138 vsize=26004064 memory=280333589365136 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21138 21138 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104599359 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313783980912 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21153] ppid=21138 vsize=26004064 memory=280333589306416 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313782929232 140314658682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21154] ppid=21138 vsize=26004064 memory=280333589378960 CPUtime=0.02 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21138 21138 20236 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313781877616 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21155] ppid=21138 vsize=26004064 memory=280333589385872 CPUtime=0.02 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) R 21138 21138 20236 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313780814736 140314644345622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21156] ppid=21138 vsize=26004064 memory=280333589383568 CPUtime=0.01 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) R 21138 21138 20236 0 -1 4202560 300 0 0 0 1 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313779772016 140314658685530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21157] ppid=21138 vsize=26004064 memory=280333589399728 CPUtime=0.12 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) R 21138 21138 20236 0 -1 4202560 883 0 0 0 12 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313778719216 140314658676118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21158] ppid=21138 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104599361 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313777666656 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21159] ppid=21138 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599362 26628161536 11454 33554432000 4194304 4196468 140731864336912 140313776613936 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47200 KiB

[startup+0.701 s]
/proc/loadavg: 8.13 8.23 8.28 5/199 21159
/proc/meminfo: memFree=31376472/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=26006188 memory=121480 CPUtime=2.06 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 14239 0 0 0 200 6 0 0 20 0 20 0 104599356 26630336512 30370 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6501547 30370 3207 1 0 6488781 0
[pid=21140/tid=21141] ppid=21138 vsize=26006188 memory=280333589757616 CPUtime=0.67 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) R 21138 21138 20236 0 -1 4202560 6537 0 0 0 64 3 0 0 20 0 20 0 104599356 26630336512 30370 33554432000 4194304 4196468 140731864336912 140314662901936 140314658676118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=26006188 memory=140166794879856 CPUtime=0 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26630336512 30370 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104599357 26630336512 30370 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104599357 26630336512 30370 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0

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

/proc/meminfo: memFree=27845648/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=26538700 memory=3595356 CPUtime=19948.1 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 774740 0 0 0 1993838 970 0 0 20 0 28 0 104599356 27175628800 898839 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6634675 898839 3290 1 0 6621909 0
[pid=21140/tid=21141] ppid=21138 vsize=26538700 memory=3595356 CPUtime=2.04 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) S 21138 21138 20236 0 -1 1077944384 31888 0 0 0 195 9 0 0 20 0 28 0 104599356 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314662904992 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=26538700 memory=3595356 CPUtime=0.35 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2589 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=26538700 memory=3595356 CPUtime=0.34 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 2070 0 0 0 22 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=26538700 memory=3600076 CPUtime=0.36 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2240 0 0 0 24 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21145] ppid=21138 vsize=26538700 memory=3600048 CPUtime=0.35 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21138 21138 20236 0 -1 1077944384 2387 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314578086160 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21146] ppid=21138 vsize=26538700 memory=3600016 CPUtime=0.3 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21138 21138 20236 0 -1 1077944384 2624 0 0 0 18 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314577034384 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21147] ppid=21138 vsize=26538700 memory=3600016 CPUtime=0.34 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21138 21138 20236 0 -1 1077944384 2791 0 0 0 22 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314575981584 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21148] ppid=21138 vsize=26538700 memory=3600016 CPUtime=0.35 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21138 21138 20236 0 -1 1077944384 2835 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314574928784 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21149] ppid=21138 vsize=26538700 memory=3596944 CPUtime=0.33 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21138 21138 20236 0 -1 1077944384 4278 0 0 0 22 11 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314573875984 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21150] ppid=21138 vsize=26538700 memory=3596944 CPUtime=0.14 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21138 21138 20236 0 -1 1077944384 17329 0 0 0 9 5 0 0 20 0 28 0 104599358 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314166704496 140314658675330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21151] ppid=21138 vsize=26538700 memory=3575756 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21138 21138 20236 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 104599359 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313785033824 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21152] ppid=21138 vsize=26538700 memory=3575756 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21138 21138 20236 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 104599359 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313783980928 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21153] ppid=21138 vsize=26538700 memory=3580796 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313782929232 140314658682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21154] ppid=21138 vsize=26538700 memory=3584304 CPUtime=3.72 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21138 21138 20236 0 -1 1077944384 25416 0 0 0 368 4 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313781877616 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21155] ppid=21138 vsize=26538700 memory=3588428 CPUtime=3.87 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) S 21138 21138 20236 0 -1 1077944384 21352 0 0 0 383 4 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313780824816 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21156] ppid=21138 vsize=26538700 memory=3588428 CPUtime=3.77 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21138 21138 20236 0 -1 1077944384 27371 0 0 0 372 5 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313779772016 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21157] ppid=21138 vsize=26538700 memory=3589864 CPUtime=1.19 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) S 21138 21138 20236 0 -1 1077944384 46954 0 0 0 111 8 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313778719216 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21158] ppid=21138 vsize=26538700 memory=3589864 CPUtime=0 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313777666656 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21159] ppid=21138 vsize=26538700 memory=3598508 CPUtime=1.04 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21138 21138 20236 0 -1 1077944384 15956 0 0 0 45 59 0 0 20 0 28 0 104599362 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313776613936 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22428] ppid=21138 vsize=26538700 memory=3599840 CPUtime=17.7 cores=0-7
/proc/21140/task/22428/stat : 22428 (java) R 21138 21138 20236 0 -1 4202560 415 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313695865704 140314252716801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22429] ppid=21138 vsize=26538700 memory=3599996 CPUtime=17.7 cores=0-7
/proc/21140/task/22429/stat : 22429 (java) R 21138 21138 20236 0 -1 4202560 378 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313766498440 140314259232397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22430] ppid=21138 vsize=26538700 memory=3595356 CPUtime=17.7 cores=0-7
/proc/21140/task/22430/stat : 22430 (java) R 21138 21138 20236 0 -1 4202560 1027 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313765446016 140314260492381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22431] ppid=21138 vsize=26538700 memory=1384 CPUtime=17.7 cores=0-7
/proc/21140/task/22431/stat : 22431 (java) R 21138 21138 20236 0 -1 4202560 470 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313767551704 140314260478334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22432] ppid=21138 vsize=26538700 memory=3595356 CPUtime=17.38 cores=0-7
/proc/21140/task/22432/stat : 22432 (java) R 21138 21138 20236 0 -1 4202560 631 0 0 0 1737 1 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313768604008 140314253848660 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22433] ppid=21138 vsize=26538700 memory=1384 CPUtime=17.66 cores=0-7
/proc/21140/task/22433/stat : 22433 (java) R 21138 21138 20236 0 -1 4202560 394 0 0 0 1766 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313693761816 140314260479314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22434] ppid=21138 vsize=26538700 memory=1384 CPUtime=17.7 cores=0-7
/proc/21140/task/22434/stat : 22434 (java) R 21138 21138 20236 0 -1 4202560 1012 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313694817072 140314257463088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22435] ppid=21138 vsize=26538700 memory=3595356 CPUtime=17.7 cores=0-7
/proc/21140/task/22435/stat : 22435 (java) R 21138 21138 20236 0 -1 4202560 309 0 0 0 1770 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313764393064 140314257275735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
Current children cumulated CPU time: 19948.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3596740 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.14 8.32 8.32 9/207 22435
/proc/meminfo: memFree=27845936/32770624 swapFree=67108860/67108860
[pid=21138] ppid=21135 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21138/stat : 21138 (xcsp3-exec) S 21135 21138 20236 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104599355 9740288 346 33554432000 4194304 5098028 140727727884112 140727727882216 140535178326652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27574272 140727727887460 140727727887671 140727727887671 140727727890411 0
/proc/21138/statm: 2378 346 289 221 0 87 0
[pid=21140] ppid=21138 vsize=26538700 memory=3595356 CPUtime=20089.4 cores=0-7
/proc/21140/stat : 21140 (java) S 21138 21138 20236 0 -1 1077944320 778592 0 0 0 2007963 974 0 0 20 0 28 0 104599356 27175628800 898839 33554432000 4194304 4196468 140731864336912 140731864319456 140314658664183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
/proc/21140/statm: 6634675 898839 3290 1 0 6621909 0
[pid=21140/tid=21141] ppid=21138 vsize=26538700 memory=6791534058613427641 CPUtime=2.04 cores=0-7
/proc/21140/task/21141/stat : 21141 (java) S 21138 21138 20236 0 -1 1077944384 31888 0 0 0 195 9 0 0 20 0 28 0 104599356 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314662904992 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21142] ppid=21138 vsize=26538700 memory=1732 CPUtime=0.35 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21138 21138 20236 0 -1 1077944384 2589 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314581244560 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21143] ppid=21138 vsize=26538700 memory=3595356 CPUtime=0.34 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21138 21138 20236 0 -1 1077944384 2070 0 0 0 22 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314580191760 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21144] ppid=21138 vsize=26538700 memory=6791534058613427641 CPUtime=0.36 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21138 21138 20236 0 -1 1077944384 2240 0 0 0 24 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314579138960 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21145] ppid=21138 vsize=26538700 memory=4872558044660077418 CPUtime=0.35 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21138 21138 20236 0 -1 1077944384 2387 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314578086160 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21146] ppid=21138 vsize=26538700 memory=4196 CPUtime=0.3 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21138 21138 20236 0 -1 1077944384 2624 0 0 0 18 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314577034384 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21147] ppid=21138 vsize=26538700 memory=4104 CPUtime=0.34 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21138 21138 20236 0 -1 1077944384 2791 0 0 0 22 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314575981584 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21148] ppid=21138 vsize=26538700 memory=1152 CPUtime=0.35 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21138 21138 20236 0 -1 1077944384 2835 0 0 0 23 12 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314574928784 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21149] ppid=21138 vsize=26538700 memory=5792 CPUtime=0.33 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21138 21138 20236 0 -1 1077944384 4278 0 0 0 22 11 0 0 20 0 28 0 104599357 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314573875984 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21150] ppid=21138 vsize=26538700 memory=1384 CPUtime=0.14 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21138 21138 20236 0 -1 1077944384 17352 0 0 0 9 5 0 0 20 0 28 0 104599358 27175628800 898839 33554432000 4194304 4196468 140731864336912 140314166704496 140314658675330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21151] ppid=21138 vsize=26538700 memory=3595356 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21138 21138 20236 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 104599359 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313785033824 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21152] ppid=21138 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21138 21138 20236 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 104599359 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313783980928 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21153] ppid=21138 vsize=26538700 memory=1936 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21138 21138 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313782929232 140314658682779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21154] ppid=21138 vsize=26538700 memory=1424 CPUtime=3.72 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21138 21138 20236 0 -1 1077944384 25425 0 0 0 368 4 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313781877616 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21155] ppid=21138 vsize=26538700 memory=8568 CPUtime=3.87 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) S 21138 21138 20236 0 -1 1077944384 21361 0 0 0 383 4 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313780824816 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21156] ppid=21138 vsize=26538700 memory=1724 CPUtime=3.77 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21138 21138 20236 0 -1 1077944384 27387 0 0 0 372 5 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313779772016 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21157] ppid=21138 vsize=26538700 memory=11000 CPUtime=1.19 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) S 21138 21138 20236 0 -1 1077944384 46986 0 0 0 111 8 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313778719216 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21158] ppid=21138 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21138 21138 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104599361 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313777666656 140314658674389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=21159] ppid=21138 vsize=26538700 memory=5792 CPUtime=1.04 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21138 21138 20236 0 -1 1077944384 16073 0 0 0 45 59 0 0 20 0 28 0 104599362 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313776613936 140314658675330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22428] ppid=21138 vsize=26538700 memory=4620 CPUtime=35.4 cores=0-7
/proc/21140/task/22428/stat : 22428 (java) R 21138 21138 20236 0 -1 4202560 679 0 0 0 3540 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313695865704 140314258294187 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22429] ppid=21138 vsize=26538700 memory=1200 CPUtime=35.41 cores=0-7
/proc/21140/task/22429/stat : 22429 (java) R 21138 21138 20236 0 -1 4202560 617 0 0 0 3541 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313766498440 140314259232634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22430] ppid=21138 vsize=26538700 memory=6791534058613427641 CPUtime=35.39 cores=0-7
/proc/21140/task/22430/stat : 22430 (java) R 21138 21138 20236 0 -1 4202560 1862 0 0 0 3539 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313765446016 140314643036480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22431] ppid=21138 vsize=26538700 memory=6760 CPUtime=35.4 cores=0-7
/proc/21140/task/22431/stat : 22431 (java) R 21138 21138 20236 0 -1 4202560 985 0 0 0 3540 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313767551704 140314260871993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22432] ppid=21138 vsize=26538700 memory=832 CPUtime=34.71 cores=0-7
/proc/21140/task/22432/stat : 22432 (java) R 21138 21138 20236 0 -1 4202560 1287 0 0 0 3469 2 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313768604008 140314260479356 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22433] ppid=21138 vsize=26538700 memory=1696 CPUtime=35.36 cores=0-7
/proc/21140/task/22433/stat : 22433 (java) R 21138 21138 20236 0 -1 4202560 724 0 0 0 3536 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313693761816 140314260871993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22434] ppid=21138 vsize=26538700 memory=-3622645143214314312 CPUtime=35.41 cores=0-7
/proc/21140/task/22434/stat : 22434 (java) R 21138 21138 20236 0 -1 4202560 1547 0 0 0 3540 1 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313694817072 140314257080045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
[pid=21140/tid=22435] ppid=21138 vsize=26538700 memory=30148 CPUtime=35.4 cores=0-7
/proc/21140/task/22435/stat : 22435 (java) R 21138 21138 20236 0 -1 4202560 581 0 0 0 3540 0 0 0 20 0 28 0 104847814 27175628800 898839 33554432000 4194304 4196468 140731864336912 140313764393064 140314260479279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17625088 140731864343698 140731864343875 140731864343875 140731864346575 0
Current children cumulated CPU time: 20089.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3596740 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.14 8.32 8.32 2/180 22437
/proc/meminfo: memFree=30542012/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001846 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20090.2
CPU user time (s): 20080.4
CPU system time (s): 9.76691
CPU usage (%): 797.185
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3601460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20080.4
system time used= 9.76691
maximum resident set size= 3602628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81657
involuntary context switches= 219593


# summary of solver processes directly reported to runsolver:
#   pid: 21138,21140
#   total CPU time (s): 20090.2
#   total CPU user time (s): 20080.4
#   total CPU system time (s): 9.76691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5548 second user time and 30.9955 second system time

The end

Begin job on node102 at 2017-08-14 14:37:32
IDJOB=4270842
IDBENCH=124454
IDSOLVER=2662
FILE ID=node102/4270842-1502715110
RUNJOBID= node102-1502711730-20263
PBS_JOBID= 20629024
Free space on /tmp= 61912 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n78-k10.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270842-1502715110/watcher-4270842-1502715110 -o /tmp/evaluation-result-4270842-1502715110/solver-4270842-1502715110 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502711730-20263 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1273162460 HOME/instance-4270842-1502715110.xml

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

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=1273162460

node102.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.35
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.35
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.35
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.35
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:        31436560 kB
MemAvailable:   31984328 kB
Buffers:          149744 kB
Cached:           680996 kB
SwapCached:            0 kB
Active:           668792 kB
Inactive:         214716 kB
Active(anon):       5420 kB
Inactive(anon):    75044 kB
Active(file):     663372 kB
Inactive(file):   139672 kB
Unevictable:        6448 kB
Mlocked:            6448 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7600 kB
Writeback:             0 kB
AnonPages:        127876 kB
Mapped:            44848 kB
Shmem:             25228 kB
Slab:             147632 kB
SReclaimable:     121116 kB
SUnreclaim:        26516 kB
KernelStack:        3520 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61904 MiB
End job on node102 at 2017-08-14 15:19:32