0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280652-1503134562.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280652-1503134562.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
6.22/1.81	c solve instance...
7.57/2.09	o 7120 
8.36/2.14	o 7114 
8.36/2.16	o 3945 
53.22/7.82	o 3944 
62.75/9.05	o 3898 
78.67/11.08	o 3842 
102.52/14.01	o 3838 
105.61/14.47	o 3504 
132.70/17.86	o 3479 
147.82/19.76	o 3417 
155.75/20.75	o 3397 
170.79/22.66	o 3388 
181.21/23.99	o 3345 
208.99/27.44	o 3336 
215.34/28.29	o 3333 
223.26/29.27	o 3316 
244.77/31.90	o 3180 
268.73/34.99	o 3151 
298.11/38.70	o 3150 
302.12/39.14	o 3135 
315.57/40.88	o 3107 
333.93/43.19	o 3042 
346.69/44.78	o 3039 
364.20/46.96	o 2925 
373.72/48.15	o 2922 
415.85/53.46	o 2913 
426.20/54.70	o 2901 
442.22/56.77	o 2900 
475.67/60.97	o 2898 
479.55/61.41	o 2890 
494.74/63.40	o 2888 
501.09/64.14	o 2861 
534.41/68.30	o 2825 
540.02/69.04	o 2736 
547.08/69.90	o 2726 
562.22/71.81	o 2710 
564.66/72.17	o 2693 
594.04/75.82	o 2684 
661.79/84.35	o 2681 
707.98/90.17	o 2678 
729.44/92.84	o 2676 
730.27/92.99	o 2670 
736.55/93.78	o 2666 
739.74/94.19	o 2643 
813.72/103.42	o 2639 
843.28/107.16	o 2638 
863.96/109.71	o 2570 
934.85/118.65	o 2540 
993.85/126.10	o 2520 
997.78/126.50	o 2493 
1004.18/127.31	o 2491 
1015.33/128.78	o 2485 
1031.98/130.88	o 2481 
1035.14/131.21	o 2408 
1079.77/136.84	o 2406 
1157.91/146.60	o 2404 
1184.27/150.00	o 2401 
1188.16/150.50	o 2398 
1211.22/153.46	o 2373 
1258.57/159.40	o 2328 
1261.02/159.75	o 2311 
1345.22/170.30	o 2304 
1348.44/170.72	o 2303 
1381.04/174.82	o 2294 
1440.81/182.30	o 2278 
1449.45/183.75	o 2233 
1472.19/186.74	o 2211 
1527.65/193.70	o 2176 
1536.41/194.86	o 2169 
1647.46/208.93	o 2161 
1665.57/211.25	o 2157 
1706.24/216.35	o 2156 
1817.16/230.48	o 2154 
1887.55/239.36	o 2147 
1945.73/246.60	o 2126 
2060.64/261.02	o 2124 
2156.35/273.02	o 2117 
2334.97/295.45	o 2116 
2343.37/296.73	o 2110 
2428.43/307.48	o 2097 
2434.07/308.18	o 2072 
2515.65/318.79	o 2069 
2996.97/379.13	o 2064 
3096.49/391.84	o 2053 
3136.08/396.83	o 2025 
3211.81/406.30	o 2007 
3344.20/422.99	o 2004 
3387.11/428.66	o 2003 
3425.65/434.04	o 2002 
3604.00/456.48	o 2001 
3754.59/475.36	o 2000 
3999.54/506.09	o 1987 
4134.77/523.14	o 1986 
4197.59/531.49	o 1985 
4224.81/535.00	o 1984 
4288.62/542.96	o 1981 
4438.53/561.79	o 1975 
4846.23/614.52	o 1955 
4960.54/629.25	o 1936 
5162.76/654.68	o 1922 
5191.53/658.65	o 1917 
5414.83/687.91	o 1916 
5566.07/707.17	o 1911 
5566.31/707.30	o 1909 
5580.29/709.87	o 1895 
5676.47/722.84	o 1894 
5711.17/728.09	o 1893 
5874.28/749.70	o 1891 
5886.45/752.19	o 1882 
5902.50/756.31	o 1876 
6404.67/819.53	o 1865 
6489.85/831.48	o 1854 
6652.78/851.96	o 1853 
6997.27/895.17	o 1851 
7498.25/958.01	o 1848 
7507.91/960.25	o 1842 
7529.93/965.29	o 1838 
7551.24/971.97	o 1836 
7589.62/977.44	o 1830 
7622.81/982.21	o 1826 
7885.28/1015.14	o 1824 
8133.52/1047.09	o 1820 
8321.20/1071.56	o 1819 
8419.91/1084.27	o 1809 
8691.97/1121.13	o 1803 
9075.94/1169.67	o 1797 
9112.55/1176.30	o 1794 
9126.82/1178.60	o 1793 
9553.88/1236.44	o 1779 
9816.36/1269.49	o 1776 
10030.26/1299.89	o 1775 
10547.35/1364.71	o 1773 
10549.76/1365.04	o 1744 
10710.73/1385.28	o 1742 
12027.99/1550.33	o 1737 
12505.84/1610.22	o 1735 
12665.36/1630.24	o 1720 
12910.24/1660.94	o 1694 
12982.84/1670.03	o 1692 
13021.81/1674.91	o 1690 
18930.47/2415.55	o 1646 
18996.64/2423.87	o 1645 
19477.73/2484.19	o 1643 
19623.50/2502.46	o 1618 
19763.92/2520.10	s SATISFIABLE
19763.92/2520.10	v <instantiation>
19763.92/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[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>
19763.92/2520.10	v 	<values>0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 94 79 46 96 31 21 54 21 100 79 81 45 59 34 84 66 99 52 94 71 45 9 86 50 77 34 99 87 98 35 60 77 17 31 66 26 49 29 27 100 36 34 53 26 79 53 4 47 12 59 59 74 94 54 72 100 76 25 42 12 37 33 100 5 21 60 42 54 74 80 26 12 41 80 25 24 78 </values>
19763.92/2520.11	v </instantiation>
19763.92/2520.11	c Unexpected resolution interruption!

OK	1618

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

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

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

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


[startup+0.100138 s]*
/proc/loadavg: 7.54 8.07 8.24 2/199 4759
/proc/meminfo: memFree=29001580/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 3757 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146544345 9740288 346 33554432000 4194304 5098028 140737040665984 140737040664088 140067011232380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140737040671846 140737040672055 140737040672055 140737040674795 0
/proc/4738/statm: 2378 346 289 221 0 87 0
[pid=4740] ppid=4738 vsize=25999808 memory=27148 CPUtime=0.12 cores=0-7
/proc/4740/stat : 4740 (java) S 4738 4738 3757 0 -1 1077944320 5672 0 0 0 11 1 0 0 20 0 20 0 146544346 26623803392 6787 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6499952 6787 2863 1 0 6488269 0
[pid=4740/tid=4741] ppid=4738 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 3757 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 146544346 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625956745712 140625952525718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4738 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4738 vsize=25999808 memory=140713704302208 CPUtime=0 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4745] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625901975824 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4746] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625900924048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4747] ppid=4738 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625899871248 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4748] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625898818448 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4749] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625897765648 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4750] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544348 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625280223600 140625952524930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4751] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4738 4738 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146544349 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625279169568 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4752] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146544349 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625278116720 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4753] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544351 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625277065040 140625952532379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4754] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 3757 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 146544351 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625276013424 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4755] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544351 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625274960624 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4756] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4738 4738 3757 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146544351 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625273907824 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4757] ppid=4738 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4738 4738 3757 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 146544351 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625272855024 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4758] ppid=4738 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544352 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625271802464 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4759] ppid=4738 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544352 26623803392 6787 33554432000 4194304 4196468 140727868638144 140625270749744 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28532 KiB

[startup+0.210479 s]*
/proc/loadavg: 7.54 8.07 8.24 2/199 4759
/proc/meminfo: memFree=28991076/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 3757 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146544345 9740288 346 33554432000 4194304 5098028 140737040665984 140737040664088 140067011232380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140737040671846 140737040672055 140737040672055 140737040674795 0
/proc/4738/statm: 2378 346 289 221 0 87 0
[pid=4740] ppid=4738 vsize=26004064 memory=39216 CPUtime=0.33 cores=0-7
/proc/4740/stat : 4740 (java) S 4738 4738 3757 0 -1 1077944320 8344 0 0 0 31 2 0 0 20 0 20 0 146544346 26628161536 9804 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6501016 9804 3045 1 0 6488269 0
[pid=4740/tid=4741] ppid=4738 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) D 4738 4738 3757 0 -1 1077944384 5452 0 0 0 19 1 0 0 20 0 20 0 146544346 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625956724592 140625945193005 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4738 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4738 vsize=26004064 memory=140713704316043 CPUtime=0 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4738 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4745] ppid=4738 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544347 26628194304 9825 33554432000 4194304 4196468 140727868638144 140625901975824 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4746] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625900924048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4747] ppid=4738 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625899871248 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4748] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625898818448 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4749] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625897765648 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4750] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544348 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625280223600 140625952524930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4751] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4738 4738 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146544349 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625279169568 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4752] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146544349 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625278116720 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4753] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544351 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625277065040 140625952532379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4754] ppid=4738 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 3757 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 146544351 26628194304 9825 33554432000 4194304 4196468 140727868638144 140625276013424 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4755] ppid=4738 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4738 4738 3757 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 146544351 26628194304 9825 33554432000 4194304 4196468 140727868638144 140625274960624 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4756] ppid=4738 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4738 4738 3757 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 20 0 146544351 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625273907824 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4757] ppid=4738 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4738 4738 3757 0 -1 1077944384 729 0 0 0 7 0 0 0 20 0 20 0 146544351 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625272855024 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4758] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544352 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625271802464 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4759] ppid=4738 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544352 26628161536 9825 33554432000 4194304 4196468 140727868638144 140625270749744 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40600 KiB

[startup+0.31038 s]*
/proc/loadavg: 7.54 8.07 8.24 3/199 4759
/proc/meminfo: memFree=28987340/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 3757 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146544345 9740288 346 33554432000 4194304 5098028 140737040665984 140737040664088 140067011232380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140737040671846 140737040672055 140737040672055 140737040674795 0
/proc/4738/statm: 2378 346 289 221 0 87 0
[pid=4740] ppid=4738 vsize=26004064 memory=45896 CPUtime=0.51 cores=0-7
/proc/4740/stat : 4740 (java) S 4738 4738 3757 0 -1 1077944320 9220 0 0 0 48 3 0 0 20 0 20 0 146544346 26628161536 11474 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6501016 11474 3078 1 0 6488269 0
[pid=4740/tid=4741] ppid=4738 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 3757 0 -1 4202560 6099 0 0 0 28 1 0 0 20 0 20 0 146544346 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625956753424 140625569624551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4745] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625901975824 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4746] ppid=4738 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625900924048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4747] ppid=4738 vsize=26004064 memory=140713597694895 CPUtime=0 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625899871248 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4748] ppid=4738 vsize=26004064 memory=140713597697200 CPUtime=0 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625898818448 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4749] ppid=4738 vsize=26004064 memory=140713597699504 CPUtime=0 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625897765648 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4750] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4738 4738 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146544348 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625280223600 140625952524930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4751] ppid=4738 vsize=26004064 memory=281427195405968 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4738 4738 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146544349 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625279169568 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4752] ppid=4738 vsize=26004064 memory=281427195412880 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146544349 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625278116720 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4753] ppid=4738 vsize=26004064 memory=281427195354160 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544351 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625277065040 140625952532379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4754] ppid=4738 vsize=26004064 memory=281427195426704 CPUtime=0.01 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) R 4738 4738 3757 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 20 0 146544351 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625276013424 140625933703454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4755] ppid=4738 vsize=26004064 memory=281427195433616 CPUtime=0.02 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4738 4738 3757 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 146544351 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625274960624 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4756] ppid=4738 vsize=26004064 memory=281427195431312 CPUtime=0.02 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) R 4738 4738 3757 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 20 0 146544351 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625273907824 140625952525718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4757] ppid=4738 vsize=26004064 memory=281427195447472 CPUtime=0.12 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) R 4738 4738 3757 0 -1 4202560 858 0 0 0 12 0 0 0 20 0 20 0 146544351 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625272851960 140625931143777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4758] ppid=4738 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146544352 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625271802464 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4759] ppid=4738 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544352 26628161536 11539 33554432000 4194304 4196468 140727868638144 140625270749744 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47280 KiB

[startup+0.700965 s]
/proc/loadavg: 7.54 8.07 8.24 5/199 4759
/proc/meminfo: memFree=28958168/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 3757 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146544345 9740288 346 33554432000 4194304 5098028 140737040665984 140737040664088 140067011232380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140737040671846 140737040672055 140737040672055 140737040674795 0
/proc/4738/statm: 2378 346 289 221 0 87 0
[pid=4740] ppid=4738 vsize=26006188 memory=120356 CPUtime=2.07 cores=0-7
/proc/4740/stat : 4740 (java) S 4738 4738 3757 0 -1 1077944320 13445 0 0 0 202 5 0 0 20 0 20 0 146544346 26630336512 30089 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6501547 30089 3206 1 0 6488781 0
[pid=4740/tid=4741] ppid=4738 vsize=26006188 memory=281427195805360 CPUtime=0.68 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 3757 0 -1 4202560 6579 0 0 0 65 3 0 0 20 0 20 0 146544346 26630336512 30089 33554432000 4194304 4196468 140727868638144 140625956749008 140625570893144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4738 vsize=26006188 memory=140713597903728 CPUtime=0 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26630336512 30089 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4738 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26630336512 30089 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4738 vsize=26006188 memory=5800 CPUtime=0 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146544347 26630336512 30089 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0

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

[pid=4740/tid=5942] ppid=4738 vsize=26538700 memory=4316 CPUtime=18.06 cores=0-7
/proc/4740/task/5942/stat : 5942 (java) R 4738 4738 3757 0 -1 4202560 586 0 0 0 1806 0 0 0 20 0 28 0 146792765 27175628800 915596 33554432000 4194304 4196468 140727868638144 140625257971424 140625578091694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5943] ppid=4738 vsize=26538700 memory=2236 CPUtime=18.09 cores=0-7
/proc/4740/task/5943/stat : 5943 (java) R 4738 4738 3757 0 -1 4202560 535 0 0 0 1808 1 0 0 20 0 28 0 146792765 27175628800 915596 33554432000 4194304 4196468 140727868638144 140625263235736 140625572013192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5944] ppid=4738 vsize=26538700 memory=4316 CPUtime=17.97 cores=0-7
/proc/4740/task/5944/stat : 5944 (java) R 4738 4738 3757 0 -1 4202560 1212 0 0 0 1793 4 0 0 20 0 28 0 146792765 27175628800 915596 33554432000 4194304 4196468 140727868638144 140625256919064 140625575623200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current children cumulated CPU time: 19622.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3663768 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.15 8.45 8.35 9/208 5960
/proc/meminfo: memFree=25358768/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 3757 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146544345 9740288 346 33554432000 4194304 5098028 140737040665984 140737040664088 140067011232380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140737040671846 140737040672055 140737040672055 140737040674795 0
/proc/4738/statm: 2378 346 289 221 0 87 0
[pid=4740] ppid=4738 vsize=26538700 memory=3663348 CPUtime=19763.9 cores=0-7
/proc/4740/stat : 4740 (java) S 4738 4738 3757 0 -1 1077944320 916776 0 0 0 1975037 1355 0 0 20 0 28 0 146544346 27175628800 915837 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6634675 915837 3289 1 0 6621909 0
[pid=4740/tid=4741] ppid=4738 vsize=26538700 memory=4044 CPUtime=2.05 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) S 4738 4738 3757 0 -1 1077944384 33907 0 0 0 195 10 0 0 20 0 28 0 146544346 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625956754592 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4738 vsize=26538700 memory=4872558044660077418 CPUtime=0.51 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 3757 0 -1 1077944384 5768 0 0 0 33 18 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4738 vsize=26538700 memory=832 CPUtime=0.54 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 3757 0 -1 1077944384 6672 0 0 0 36 18 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4738 vsize=26538700 memory=1696 CPUtime=0.51 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 3757 0 -1 1077944384 6343 0 0 0 34 17 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4745] ppid=4738 vsize=26538700 memory=920 CPUtime=0.51 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 3757 0 -1 1077944384 7137 0 0 0 35 16 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625901975824 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4746] ppid=4738 vsize=26538700 memory=4216 CPUtime=0.47 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 3757 0 -1 1077944384 5543 0 0 0 31 16 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625900924048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4747] ppid=4738 vsize=26538700 memory=1384 CPUtime=0.54 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 3757 0 -1 1077944384 5608 0 0 0 35 19 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625899871248 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4748] ppid=4738 vsize=26538700 memory=8112282956445269571 CPUtime=0.5 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 3757 0 -1 1077944384 5468 0 0 0 32 18 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625898818448 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4749] ppid=4738 vsize=26538700 memory=5556 CPUtime=0.51 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 3757 0 -1 1077944384 6267 0 0 0 34 17 0 0 20 0 28 0 146544347 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625897765648 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4750] ppid=4738 vsize=26538700 memory=1384 CPUtime=0.29 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) S 4738 4738 3757 0 -1 1077944384 27873 0 0 0 15 14 0 0 20 0 28 0 146544348 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625280223600 140625952524930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4751] ppid=4738 vsize=26538700 memory=3661320 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4738 4738 3757 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146544349 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625279169632 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4752] ppid=4738 vsize=26538700 memory=3663348 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 3757 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 146544349 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625278116736 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4753] ppid=4738 vsize=26538700 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146544351 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625277065040 140625952532379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4754] ppid=4738 vsize=26538700 memory=15252632298064199 CPUtime=3.34 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 3757 0 -1 1077944384 26127 0 0 0 329 5 0 0 20 0 28 0 146544351 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625276013424 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4755] ppid=4738 vsize=26538700 memory=1576 CPUtime=3.5 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4738 4738 3757 0 -1 1077944384 18950 0 0 0 346 4 0 0 20 0 28 0 146544351 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625274960624 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4756] ppid=4738 vsize=26538700 memory=2236 CPUtime=3.29 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4738 4738 3757 0 -1 1077944384 25480 0 0 0 326 3 0 0 20 0 28 0 146544351 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625273907824 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4757] ppid=4738 vsize=26538700 memory=16236 CPUtime=1.14 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4738 4738 3757 0 -1 1077944384 39281 0 0 0 107 7 0 0 20 0 28 0 146544351 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625272855024 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4758] ppid=4738 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4738 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146544352 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625271802464 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4759] ppid=4738 vsize=26538700 memory=23424 CPUtime=1.01 cores=0-7
/proc/4740/task/4759/stat : 4759 (java) S 4738 4738 3757 0 -1 1077944384 16992 0 0 0 35 66 0 0 20 0 28 0 146544352 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625270749744 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5953] ppid=4738 vsize=26538700 memory=1384 CPUtime=17.51 cores=0-7
/proc/4740/task/5953/stat : 5953 (java) R 4738 4738 3757 0 -1 4202560 585 0 0 0 1751 0 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625257970248 140625576172208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5954] ppid=4738 vsize=26538700 memory=1004 CPUtime=17.52 cores=0-7
/proc/4740/task/5954/stat : 5954 (java) R 4738 4738 3757 0 -1 4202560 667 0 0 0 1752 0 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625262181848 140625575623141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5955] ppid=4738 vsize=26538700 memory=1940 CPUtime=17.51 cores=0-7
/proc/4740/task/5955/stat : 5955 (java) R 4738 4738 3757 0 -1 4202560 1656 0 0 0 1751 0 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625261130104 140625578759217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5956] ppid=4738 vsize=26538700 memory=1424 CPUtime=17.52 cores=0-7
/proc/4740/task/5956/stat : 5956 (java) R 4738 4738 3757 0 -1 4202560 1141 0 0 0 1751 1 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625260077784 140625575723316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5957] ppid=4738 vsize=26538700 memory=8600 CPUtime=17.52 cores=0-7
/proc/4740/task/5957/stat : 5957 (java) R 4738 4738 3757 0 -1 4202560 1157 0 0 0 1751 1 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625259024984 140625575623051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5958] ppid=4738 vsize=26538700 memory=1724 CPUtime=17.52 cores=0-7
/proc/4740/task/5958/stat : 5958 (java) R 4738 4738 3757 0 -1 4202560 1289 0 0 0 1750 2 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625263235352 140625575623051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5959] ppid=4738 vsize=26538700 memory=1576 CPUtime=17.27 cores=0-7
/proc/4740/task/5959/stat : 5959 (java) R 4738 4738 3757 0 -1 4202560 540 0 0 0 1727 0 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625256918848 140625575623007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5960] ppid=4738 vsize=26538700 memory=1384 CPUtime=17.41 cores=0-7
/proc/4740/task/5960/stat : 5960 (java) R 4738 4738 3757 0 -1 4202560 708 0 0 0 1741 0 0 0 20 0 28 0 146794592 27175628800 915837 33554432000 4194304 4196468 140727868638144 140625255869312 140625575622624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current children cumulated CPU time: 19763.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3664732 KiB

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

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

[startup+2520.19 s]
# the end of solver process 4740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19751.4 s, system=13.6071 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.30 8.48 8.36 4/206 5962
/proc/meminfo: memFree=25357760/32770624 swapFree=67108860/67108860
[pid=4740] ppid=4735 vsize=26671828 memory=3663532 CPUtime=19764.9 cores=0-7
/proc/4740/stat : 4740 (java) S 4735 4738 3757 0 -1 1077944320 918654 0 0 0 1975134 1356 0 0 20 0 27 0 146544346 27311951872 915883 33554432000 4194304 4196468 140727868638144 140727868620688 140625952513783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
/proc/4740/statm: 6667957 915883 3289 1 0 6655191 0
[pid=4740/tid=4741] ppid=4735 vsize=26671828 memory=6791534058613427641 CPUtime=2.05 cores=0-7
/proc/4740/task/4741/stat : 4741 (java) S 4735 4738 3757 0 -1 1077944384 33907 0 0 0 195 10 0 0 20 0 27 0 146544346 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625956754592 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4742] ppid=4735 vsize=26671828 memory=4872558044660077418 CPUtime=0.51 cores=0-7
/proc/4740/task/4742/stat : 4742 (java) S 4735 4738 3757 0 -1 1077944384 5768 0 0 0 33 18 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625905134224 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4743] ppid=4735 vsize=26671828 memory=1224 CPUtime=0.54 cores=0-7
/proc/4740/task/4743/stat : 4743 (java) S 4735 4738 3757 0 -1 1077944384 6672 0 0 0 36 18 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625904081424 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4744] ppid=4735 vsize=26671828 memory=8112282956445269571 CPUtime=0.51 cores=0-7
/proc/4740/task/4744/stat : 4744 (java) S 4735 4738 3757 0 -1 1077944384 6343 0 0 0 34 17 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625903028624 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4745] ppid=4735 vsize=26671828 memory=288230574492221466 CPUtime=0.51 cores=0-7
/proc/4740/task/4745/stat : 4745 (java) S 4735 4738 3757 0 -1 1077944384 7137 0 0 0 35 16 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625901975824 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4746] ppid=4735 vsize=26671828 memory=288230621803970871 CPUtime=0.47 cores=0-7
/proc/4740/task/4746/stat : 4746 (java) S 4735 4738 3757 0 -1 1077944384 5543 0 0 0 31 16 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625900924048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4747] ppid=4735 vsize=26671828 memory=15252632298064199 CPUtime=0.54 cores=0-7
/proc/4740/task/4747/stat : 4747 (java) S 4735 4738 3757 0 -1 1077944384 5608 0 0 0 35 19 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625899871248 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4748] ppid=4735 vsize=26671828 memory=1732 CPUtime=0.5 cores=0-7
/proc/4740/task/4748/stat : 4748 (java) S 4735 4738 3757 0 -1 1077944384 5468 0 0 0 32 18 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625898818448 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4749] ppid=4735 vsize=26671828 memory=796 CPUtime=0.51 cores=0-7
/proc/4740/task/4749/stat : 4749 (java) S 4735 4738 3757 0 -1 1077944384 6267 0 0 0 34 17 0 0 20 0 27 0 146544347 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625897765648 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4750] ppid=4735 vsize=26671828 memory=1004 CPUtime=0.31 cores=0-7
/proc/4740/task/4750/stat : 4750 (java) R 4735 4738 3757 0 -1 4202560 27887 0 0 0 16 15 0 0 20 0 27 0 146544348 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625280223736 140625945141991 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4751] ppid=4735 vsize=26671828 memory=1940 CPUtime=0 cores=0-7
/proc/4740/task/4751/stat : 4751 (java) S 4735 4738 3757 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 27 0 146544349 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625279169632 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4752] ppid=4735 vsize=26671828 memory=1424 CPUtime=0 cores=0-7
/proc/4740/task/4752/stat : 4752 (java) S 4735 4738 3757 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 27 0 146544349 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625278116736 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4754] ppid=4735 vsize=26671828 memory=8600 CPUtime=3.34 cores=0-7
/proc/4740/task/4754/stat : 4754 (java) S 4735 4738 3757 0 -1 1077944384 26127 0 0 0 329 5 0 0 20 0 27 0 146544351 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625276013424 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4755] ppid=4735 vsize=26671828 memory=1724 CPUtime=3.5 cores=0-7
/proc/4740/task/4755/stat : 4755 (java) S 4735 4738 3757 0 -1 1077944384 18950 0 0 0 346 4 0 0 20 0 27 0 146544351 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625274960624 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4756] ppid=4735 vsize=26671828 memory=11104 CPUtime=3.3 cores=0-7
/proc/4740/task/4756/stat : 4756 (java) S 4735 4738 3757 0 -1 1077944384 26567 0 0 0 327 3 0 0 20 0 27 0 146544351 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625273907824 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4757] ppid=4735 vsize=26671828 memory=1224 CPUtime=1.14 cores=0-7
/proc/4740/task/4757/stat : 4757 (java) S 4735 4738 3757 0 -1 1077944384 39281 0 0 0 107 7 0 0 20 0 27 0 146544351 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625272855024 140625952524930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=4758] ppid=4735 vsize=26671828 memory=5800 CPUtime=0 cores=0-7
/proc/4740/task/4758/stat : 4758 (java) S 4735 4738 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 146544352 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625271802464 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5953] ppid=4735 vsize=26671828 memory=4620 CPUtime=17.61 cores=0-7
/proc/4740/task/5953/stat : 5953 (java) S 4735 4738 3757 0 -1 1077944384 590 0 0 0 1761 0 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625257970112 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5954] ppid=4735 vsize=26671828 memory=0 CPUtime=17.64 cores=0-7
/proc/4740/task/5954/stat : 5954 (java) S 4735 4738 3757 0 -1 1077944384 670 0 0 0 1764 0 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625262181712 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5955] ppid=4735 vsize=26671828 memory=8514726395715349656 CPUtime=17.63 cores=0-7
/proc/4740/task/5955/stat : 5955 (java) S 4735 4738 3757 0 -1 1077944384 1658 0 0 0 1763 0 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625261130048 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5956] ppid=4735 vsize=26671828 memory=3047711553320166262 CPUtime=17.64 cores=0-7
/proc/4740/task/5956/stat : 5956 (java) S 4735 4738 3757 0 -1 1077944384 1145 0 0 0 1763 1 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625260077136 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5957] ppid=4735 vsize=26671828 memory=8514701219730523551 CPUtime=17.64 cores=0-7
/proc/4740/task/5957/stat : 5957 (java) S 4735 4738 3757 0 -1 1077944384 1161 0 0 0 1763 1 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625259024384 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5958] ppid=4735 vsize=26671828 memory=5795401976491567971 CPUtime=17.65 cores=0-7
/proc/4740/task/5958/stat : 5958 (java) R 4735 4738 3757 0 -1 4202560 1305 0 0 0 1763 2 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625263235352 140625569640697 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5959] ppid=4735 vsize=26671828 memory=7521966210417518436 CPUtime=17.39 cores=0-7
/proc/4740/task/5959/stat : 5959 (java) S 4735 4738 3757 0 -1 1077944384 542 0 0 0 1739 0 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625256918960 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5960] ppid=4735 vsize=26671828 memory=7594028215822729316 CPUtime=17.53 cores=0-7
/proc/4740/task/5960/stat : 5960 (java) S 4735 4738 3757 0 -1 1077944384 710 0 0 0 1753 0 0 0 20 0 27 0 146794592 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625255866160 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
[pid=4740/tid=5961] ppid=4735 vsize=26671828 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/4740/task/5961/stat : 5961 (java) S 4735 4738 3757 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 27 0 146796350 27311951872 915883 33554432000 4194304 4196468 140727868638144 140625254817904 140625952523989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9011200 140727868642450 140727868642627 140727868642627 140727868645327 0
Current cumulated CPU time of completed processes: 0.001812 s
Current children cumulated CPU time: 19764.9 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 3663532 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 19765
CPU user time (s): 19751.4
CPU system time (s): 13.6071
CPU usage (%): 784.265
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 3666720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19751.4
system time used= 13.6071
maximum resident set size= 3665852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83519
involuntary context switches= 209829


# summary of solver processes directly reported to runsolver:
#   pid: 4738,4740
#   total CPU time (s): 19765
#   total CPU user time (s): 19751.4
#   total CPU system time (s): 13.6071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0573 second user time and 24.9875 second system time

The end

Begin job on node102 at 2017-08-19 11:08:22
IDJOB=4280652
IDBENCH=124454
IDSOLVER=2675
FILE ID=node102/4280652-1503134562
RUNJOBID= node102-1503131180-3784
PBS_JOBID= 20630786
Free space on /tmp= 61880 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-4280652-1503134562/watcher-4280652-1503134562 -o /tmp/evaluation-result-4280652-1503134562/solver-4280652-1503134562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503131180-3784 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 71186657 HOME/instance-4280652-1503134562.xml

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

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=71186657

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:        29018696 kB
MemAvailable:   31975584 kB
Buffers:          230396 kB
Cached:          3019680 kB
SwapCached:            0 kB
Active:           954864 kB
Inactive:        2347384 kB
Active(anon):       5212 kB
Inactive(anon):    83172 kB
Active(file):     949652 kB
Inactive(file):  2264212 kB
Unevictable:        7504 kB
Mlocked:            7504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7960 kB
Writeback:             0 kB
AnonPages:         59060 kB
Mapped:            50632 kB
Shmem:             33420 kB
Slab:             144952 kB
SReclaimable:     117720 kB
SUnreclaim:        27232 kB
KernelStack:        3200 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 61872 MiB
End job on node102 at 2017-08-19 11:50:22