Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 1407 | 2400.09 | 2401 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml |
MD5SUM | 204525c81941dcb64589d695195e220f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1407 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3660 |
Number of constraints | 3599 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}] |
Minimum variable degree | 0 |
Maximum variable degree | 117 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 59 |
Distribution of constraint arities | [{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 59 |
Distribution of constraint types | [{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral-2017-06-28 1.10/1.13 o 6326 1.10/1.13 o 6252 1.10/1.14 o 6163 1.20/1.23 o 6155 1.20/1.27 o 6154 1.20/1.28 o 6084 1.20/1.29 o 6002 1.20/1.29 o 5989 1.20/1.29 o 5986 1.29/1.30 o 5985 1.29/1.31 o 5982 3.49/3.55 o 5938 3.49/3.56 o 5895 3.59/3.68 o 5892 3.59/3.68 o 5863 3.59/3.69 o 5861 3.59/3.69 o 5860 3.59/3.69 o 5857 3.69/3.71 o 5801 3.69/3.71 o 5786 3.69/3.72 o 5768 3.69/3.72 o 5766 3.69/3.72 o 5754 3.69/3.73 o 5745 3.69/3.73 o 5742 3.69/3.74 o 5736 3.69/3.77 o 5719 3.69/3.77 o 5698 3.69/3.77 o 5696 3.69/3.79 o 5688 3.79/3.80 o 5668 3.79/3.81 o 5662 3.79/3.84 o 5634 3.79/3.85 o 5593 3.79/3.86 o 5588 3.79/3.87 o 5586 3.79/3.87 o 5582 3.89/3.91 o 5579 3.89/3.93 o 5569 3.99/4.01 o 5503 3.99/4.02 o 5468 3.99/4.03 o 5466 3.99/4.03 o 5456 4.09/4.19 o 5422 4.19/4.20 o 5373 4.50/4.56 o 5361 4.50/4.57 o 5357 4.59/4.62 o 5282 4.79/4.87 o 5274 4.79/4.87 o 5266 4.89/4.94 o 5259 4.89/4.94 o 5201 4.89/4.94 o 5199 4.89/4.99 o 5099 4.99/5.00 o 5064 4.99/5.01 o 5054 4.99/5.03 o 5037 4.99/5.04 o 5030 4.99/5.05 o 5008 4.99/5.06 o 5004 5.19/5.23 o 4996 5.29/5.33 o 4984 5.29/5.34 o 4982 5.29/5.36 o 4977 5.69/5.74 o 4957 5.69/5.75 o 4923 5.69/5.75 o 4922 5.69/5.76 o 4912 5.69/5.77 o 4901 5.69/5.78 o 4895 5.69/5.79 o 4891 5.69/5.79 o 4886 5.69/5.79 o 4858 5.79/5.80 o 4851 5.79/5.81 o 4844 5.79/5.84 o 4819 5.79/5.84 o 4806 5.79/5.85 o 4804 5.79/5.85 o 4803 5.79/5.85 o 4789 5.79/5.86 o 4787 5.79/5.86 o 4776 5.89/5.91 o 4761 5.99/6.04 o 4757 5.99/6.05 o 4752 5.99/6.05 o 4724 5.99/6.06 o 4711 5.99/6.06 o 4701 5.99/6.07 o 4691 6.19/6.23 o 4688 6.29/6.31 o 4685 6.29/6.40 o 4654 6.39/6.40 o 4650 6.39/6.41 o 4631 6.49/6.53 o 4625 6.49/6.53 o 4601 6.60/6.61 o 4562 6.60/6.62 o 4534 6.69/6.73 o 4532 6.89/6.97 o 4496 6.89/6.98 o 4488 7.79/7.89 o 4461 7.89/7.92 o 4450 8.19/8.25 o 4430 8.59/8.64 o 4428 8.69/8.73 o 4414 9.79/9.86 o 4410 9.79/9.86 o 4408 9.79/9.87 o 4375 9.79/9.87 o 4373 9.79/9.88 o 4368 9.79/9.89 o 4352 9.79/9.89 o 4341 9.79/9.90 o 4326 9.89/9.93 o 4325 9.99/10.09 o 4324 10.09/10.10 o 4282 10.09/10.14 o 4256 10.48/10.52 o 4255 10.48/10.53 o 4254 10.48/10.53 o 4221 10.48/10.54 o 4219 10.48/10.54 o 4204 10.48/10.56 o 4203 10.48/10.58 o 4190 10.48/10.59 o 4188 10.58/10.62 o 4187 10.68/10.74 o 4185 10.68/10.79 o 4125 10.78/10.80 o 4122 10.88/10.95 o 4102 10.88/10.96 o 4086 11.09/11.19 o 4079 11.28/11.34 o 4067 11.28/11.34 o 4053 11.28/11.36 o 4023 11.38/11.44 o 4020 11.38/11.45 o 3970 11.58/11.62 o 3965 11.58/11.63 o 3929 11.58/11.63 o 3914 11.58/11.64 o 3899 11.58/11.65 o 3893 11.58/11.65 o 3883 11.58/11.66 o 3871 11.58/11.69 o 3859 11.58/11.70 o 3771 11.68/11.71 o 3755 11.68/11.74 o 3753 11.78/11.86 o 3750 11.98/12.03 o 3690 12.09/12.10 o 3670 12.09/12.11 o 3611 12.09/12.12 o 3607 12.09/12.12 o 3583 12.09/12.14 o 3576 12.19/12.25 o 3574 12.19/12.28 o 3569 12.28/12.33 o 3568 12.38/12.44 o 3520 12.88/12.99 o 3516 13.19/13.21 o 3510 13.19/13.22 o 3486 13.58/13.68 o 3463 13.58/13.69 o 3456 13.68/13.70 o 3439 15.39/15.45 o 3436 15.39/15.45 o 3425 15.39/15.45 o 3421 15.39/15.46 o 3411 15.39/15.46 o 3409 15.39/15.47 o 3379 15.39/15.50 o 3375 15.49/15.53 o 3372 15.49/15.57 o 3364 15.78/15.80 o 3361 16.08/16.12 o 3359 16.08/16.12 o 3356 16.08/16.12 o 3355 16.08/16.13 o 3320 16.08/16.14 o 3311 17.88/17.96 o 3309 17.88/17.96 o 3299 17.88/17.97 o 3287 17.98/18.00 o 3284 17.98/18.01 o 3278 18.38/18.45 o 3263 18.38/18.46 o 3253 18.38/18.48 o 3244 18.38/18.48 o 3241 18.38/18.48 o 3213 18.58/18.61 o 3109 18.69/18.74 o 3099 18.79/18.83 o 3092 18.79/18.84 o 3048 18.88/18.95 o 3045 18.88/18.96 o 3040 18.88/18.96 o 3029 18.88/18.98 o 3017 18.98/19.03 o 2976 19.18/19.24 o 2972 19.28/19.30 o 2951 19.28/19.37 o 2944 19.48/19.52 o 2912 19.58/19.64 o 2861 19.58/19.65 o 2859 19.68/19.77 o 2855 20.08/20.13 o 2844 20.48/20.50 o 2840 20.48/20.51 o 2829 20.48/20.51 o 2824 20.48/20.52 o 2814 20.48/20.52 o 2798 20.48/20.53 o 2772 20.48/20.53 o 2768 20.48/20.54 o 2722 20.48/20.54 o 2718 20.48/20.55 o 2690 20.48/20.59 o 2681 20.58/20.60 o 2677 20.68/20.79 o 2671 20.78/20.83 o 2657 20.99/21.02 o 2575 21.38/21.47 o 2568 21.48/21.55 o 2562 21.68/21.73 o 2547 21.68/21.74 o 2543 21.68/21.74 o 2532 21.98/22.06 o 2530 21.98/22.07 o 2524 22.18/22.29 o 2522 22.48/22.52 o 2512 22.48/22.52 o 2507 22.48/22.54 o 2494 23.18/23.26 o 2472 23.18/23.27 o 2439 23.27/23.35 o 2433 24.37/24.40 o 2411 24.37/24.46 o 2405 24.97/25.06 o 2396 24.97/25.07 o 2379 25.17/25.23 o 2371 25.28/25.40 o 2367 26.07/26.16 o 2365 26.38/26.42 o 2346 26.38/26.44 o 2335 26.38/26.44 o 2324 26.38/26.47 o 2323 26.87/26.93 o 2317 26.87/26.98 o 2298 26.98/27.09 o 2297 27.38/27.48 o 2288 27.38/27.49 o 2269 27.49/27.54 o 2260 27.49/27.55 o 2251 27.78/27.88 o 2250 27.98/28.04 o 2231 27.98/28.05 o 2225 27.98/28.05 o 2222 27.98/28.09 o 2191 28.48/28.59 o 2186 28.69/28.76 o 2181 29.98/30.07 o 2134 29.98/30.07 o 2101 29.98/30.08 o 2059 29.98/30.09 o 2058 30.79/30.83 o 2056 30.79/30.83 o 2054 30.79/30.90 o 2030 30.89/30.92 o 2017 31.18/31.28 o 2016 31.18/31.29 o 2004 31.48/31.54 o 2003 31.48/31.54 o 1986 31.89/31.99 o 1978 31.89/32.00 o 1972 34.08/34.13 o 1961 34.18/34.28 o 1947 34.27/34.39 o 1943 37.48/37.59 o 1937 37.77/37.85 o 1931 37.87/37.95 o 1919 38.17/38.28 o 1918 38.58/38.69 o 1917 39.68/39.73 o 1915 39.97/40.02 o 1909 40.17/40.27 o 1908 41.97/42.03 o 1906 42.07/42.17 o 1904 42.17/42.28 o 1902 46.46/46.57 o 1899 46.46/46.58 o 1896 47.86/47.93 o 1862 48.56/48.60 o 1860 49.06/49.17 o 1858 49.47/49.52 o 1852 49.47/49.57 o 1851 50.26/50.34 o 1845 55.16/55.28 o 1831 56.56/56.60 o 1829 58.16/58.28 o 1828 58.46/58.53 o 1772 58.46/58.55 o 1761 58.86/58.92 o 1749 59.37/59.43 o 1748 61.46/61.53 o 1747 65.16/65.24 o 1740 66.85/66.93 o 1736 68.45/68.58 o 1731 80.75/80.87 o 1729 84.85/84.99 o 1728 86.25/86.33 o 1717 89.65/89.78 o 1700 93.25/93.30 o 1699 102.04/102.13 o 1688 102.64/102.75 o 1666 106.84/106.97 o 1665 127.54/127.68 o 1661 127.64/127.72 o 1660 130.43/130.51 o 1657 130.43/130.53 o 1644 131.13/131.28 o 1643 135.24/135.31 o 1642 143.93/144.05 o 1641 146.43/146.59 o 1640 175.62/175.78 o 1638 176.21/176.32 o 1626 180.11/180.25 o 1625 182.91/183.06 o 1619 185.71/185.88 o 1613 186.71/186.85 o 1599 189.71/189.89 o 1598 190.41/190.57 o 1597 196.81/196.98 o 1593 201.01/201.15 o 1592 216.90/217.06 o 1582 219.50/219.68 o 1581 233.49/233.62 o 1570 238.70/238.84 o 1567 259.49/259.70 o 1566 271.28/271.44 o 1564 273.68/273.88 o 1559 283.47/283.63 o 1553 286.27/286.41 o 1552 291.77/291.91 o 1549 293.68/293.84 o 1538 297.07/297.22 o 1532 299.27/299.41 o 1529 315.46/315.67 o 1523 315.46/315.67 o 1522 320.16/320.38 o 1516 375.54/375.78 o 1514 394.74/394.95 o 1506 395.63/395.89 o 1503 414.33/414.52 o 1499 415.73/415.94 o 1494 430.72/430.90 o 1493 449.72/449.94 o 1485 455.41/455.69 o 1480 475.90/476.12 o 1479 555.67/555.98 o 1478 557.58/557.81 o 1477 557.67/557.92 o 1475 562.47/562.70 o 1470 608.16/608.48 o 1469 633.74/634.01 o 1467 746.50/746.87 o 1465 805.88/806.26 o 1462 885.26/885.65 o 1456 885.65/886.06 o 1454 893.74/894.19 o 1453 914.84/915.28 o 1452 936.53/936.95 o 1450 938.83/939.27 o 1443 939.13/939.53 o 1442 971.42/971.80 o 1433 971.52/971.92 o 1429 995.01/995.46 o 1428 1029.79/1030.22 o 1427 1029.99/1030.46 o 1426 1036.09/1036.56 o 1425 1037.39/1037.89 o 1422 1227.22/1227.74 o 1420 1760.12/1760.80 o 1419 1830.09/1830.89 o 1418 1922.85/1923.63 o 1417 1923.26/1924.01 o 1415 1997.12/1997.90 o 1414 2026.91/2027.73 o 1412 2312.90/2313.81 o 1407 2400.07/2401.00 s SATISFIABLE 2400.07/2401.00 v <instantiation type="solution"> 2400.07/2401.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[0] 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] </list> 2400.07/2401.00 v <values> 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 99 91 84 18 17 41 76 12 88 88 54 78 96 5 61 29 98 3 50 73 71 66 41 18 24 5 58 58 47 69 2 6 9 98 97 31 20 43 99 82 86 93 36 66 100 83 51 38 90 36 96 68 82 99 72 53 9 99 </values> 2400.07/2401.00 v </instantiation>
OK 1407
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240918-1500648178/watcher-4240918-1500648178 -o /tmp/evaluation-result-4240918-1500648178/solver-4240918-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2478 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240918-1500648178.xml pid=2507 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.24 0.08 0.08 3/244 2510 /proc/meminfo: memFree=32057708/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=28928 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 970 0 0 0 1 0 0 0 20 0 1 0 85524 29622272 797 33554432000 4194304 7402444 140733415542000 140733415539048 139713288838117 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 7232 797 593 784 0 246 0 [startup+0.100141 s] /proc/loadavg: 0.24 0.08 0.08 3/244 2510 /proc/meminfo: memFree=32057708/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=40124 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 4049 0 0 0 9 0 0 0 20 0 1 0 85524 41086976 3704 33554432000 4194304 7402444 140733415542000 140733415531944 4234464 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 10031 3704 677 784 0 3045 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40124 [startup+0.200339 s] /proc/loadavg: 0.24 0.08 0.08 3/244 2510 /proc/meminfo: memFree=32057708/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=45496 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 5491 0 0 0 18 1 0 0 20 0 1 0 85524 46587904 4977 33554432000 4194304 7402444 140733415542000 140733415532600 4731480 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 11374 4977 687 784 0 4388 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 45496 [startup+0.300268 s] /proc/loadavg: 0.24 0.08 0.08 3/244 2510 /proc/meminfo: memFree=32057708/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=47900 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 6100 0 0 0 28 1 0 0 20 0 1 0 85524 49049600 5637 33554432000 4194304 7402444 140733415542000 140733415532600 4731480 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 11975 5637 687 784 0 4989 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 47900 [startup+0.700194 s] /proc/loadavg: 0.24 0.08 0.08 3/244 2510 /proc/meminfo: memFree=32057708/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=54580 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 7846 0 0 0 68 1 0 0 20 0 1 0 85524 55889920 7353 33554432000 4194304 7402444 140733415542000 140733415535752 4463859 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13645 7353 761 784 0 6659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54580 [startup+1.50025 s] /proc/loadavg: 0.24 0.08 0.08 3/245 2511 /proc/meminfo: memFree=32021864/32770624 swapFree=5956/197788 [pid=2510] ppid=2507 vsize=55812 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 8166 0 0 0 148 1 0 0 20 0 1 0 85524 57151488 7683 33554432000 4194304 7402444 140733415542000 140733415537016 4237748 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7683 773 784 0 6967 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55812 [startup+3.10024 s] /proc/loadavg: 0.24 0.08 0.08 3/245 2511 /proc/meminfo: memFree=32020604/32770624 swapFree=5956/197524 [pid=2510] ppid=2507 vsize=55812 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 12794 0 0 0 308 1 0 0 20 0 1 0 85524 57151488 7707 33554432000 4194304 7402444 140733415542000 140733415537016 5750725 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7707 785 784 0 6967 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55812 [startup+6.30025 s] /proc/loadavg: 0.54 0.15 0.10 3/245 2511 /proc/meminfo: memFree=32021184/32770624 swapFree=5956/197392 [pid=2510] ppid=2507 vsize=55812 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 17690 0 0 0 628 1 0 0 20 0 1 0 85524 57151488 7707 33554432000 4194304 7402444 140733415542000 140733415537016 5750706 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7707 785 784 0 6967 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55812 [startup+12.7003 s] /proc/loadavg: 0.74 0.19 0.11 3/245 2511 /proc/meminfo: memFree=32020068/32770624 swapFree=5956/197392 [pid=2510] ppid=2507 vsize=55812 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 22460 0 0 0 1267 1 0 0 20 0 1 0 85524 57151488 7707 33554432000 4194304 7402444 140733415542000 140733415537016 5750706 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7707 785 784 0 6967 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 55812 [startup+25.5003 s] /proc/loadavg: 1.02 0.28 0.14 3/245 2511 /proc/meminfo: memFree=32021184/32770624 swapFree=5956/197416 [pid=2510] ppid=2507 vsize=55812 CPUtime=25.47 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 31994 0 0 0 2546 1 0 0 20 0 1 0 85524 57151488 7707 33554432000 4194304 7402444 140733415542000 140733415537016 5750740 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7707 785 784 0 6967 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 55812 [startup+51.1003 s] /proc/loadavg: 1.35 0.42 0.19 3/245 2514 /proc/meminfo: memFree=32019724/32770624 swapFree=5956/198288 [pid=2510] ppid=2507 vsize=55812 CPUtime=51.06 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 33261 0 0 0 5104 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463845 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 55812 [startup+102.3 s] /proc/loadavg: 1.72 0.66 0.29 3/245 2515 /proc/meminfo: memFree=32020948/32770624 swapFree=5956/198388 [pid=2510] ppid=2507 vsize=55812 CPUtime=102.25 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 33512 0 0 0 10223 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463923 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 55812 [startup+162.3 s] /proc/loadavg: 1.97 0.92 0.40 3/245 2516 /proc/meminfo: memFree=32021584/32770624 swapFree=5956/198428 [pid=2510] ppid=2507 vsize=55812 CPUtime=162.22 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 33758 0 0 0 16220 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4237748 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 55812 [startup+222.308 s] /proc/loadavg: 2.03 1.13 0.51 3/245 2517 /proc/meminfo: memFree=32021544/32770624 swapFree=5956/198508 [pid=2510] ppid=2507 vsize=55812 CPUtime=222.2 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 34005 0 0 0 22218 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4466912 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 55812 [startup+282.3 s] /proc/loadavg: 2.01 1.29 0.60 3/245 2518 /proc/meminfo: memFree=32021652/32770624 swapFree=5956/198560 [pid=2510] ppid=2507 vsize=55812 CPUtime=282.17 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 34251 0 0 0 28215 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5750720 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 55812 [startup+342.3 s] /proc/loadavg: 2.00 1.42 0.69 3/244 2519 /proc/meminfo: memFree=32022288/32770624 swapFree=5956/198624 [pid=2510] ppid=2507 vsize=55812 CPUtime=342.15 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 34497 0 0 0 34213 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4466976 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 55812 [startup+402.3 s] /proc/loadavg: 2.06 1.54 0.78 3/243 2520 /proc/meminfo: memFree=32022576/32770624 swapFree=5956/198656 [pid=2510] ppid=2507 vsize=55812 CPUtime=402.13 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 34742 0 0 0 40211 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463919 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 55812 [startup+462.3 s] /proc/loadavg: 2.02 1.62 0.85 3/243 2528 /proc/meminfo: memFree=32022780/32770624 swapFree=5956/198728 [pid=2510] ppid=2507 vsize=55812 CPUtime=462.11 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 34987 0 0 0 46209 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463889 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 55812 [startup+522.3 s] /proc/loadavg: 2.01 1.69 0.92 3/243 2529 /proc/meminfo: memFree=32022784/32770624 swapFree=5956/198764 [pid=2510] ppid=2507 vsize=55812 CPUtime=522.08 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 35217 0 0 0 52206 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5750459 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 55812 [startup+582.3 s] /proc/loadavg: 2.00 1.75 0.99 3/243 2530 /proc/meminfo: memFree=32022992/32770624 swapFree=5956/198808 [pid=2510] ppid=2507 vsize=55812 CPUtime=582.06 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 35467 0 0 0 58204 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4747331 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 55812 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.62 3/243 2576 /proc/meminfo: memFree=32019924/32770624 swapFree=5956/199344 [pid=2510] ppid=2507 vsize=55812 CPUtime=1481.71 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 39044 0 0 0 148169 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5750740 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 55812 [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.65 3/243 2577 /proc/meminfo: memFree=32020388/32770624 swapFree=5956/199368 [pid=2510] ppid=2507 vsize=55812 CPUtime=1541.7 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 39270 0 0 0 154168 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463919 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 55812 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.67 3/243 2578 /proc/meminfo: memFree=32020004/32770624 swapFree=5956/199404 [pid=2510] ppid=2507 vsize=55812 CPUtime=1601.68 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 39499 0 0 0 160166 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4237748 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 55812 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.69 3/243 2586 /proc/meminfo: memFree=32019464/32770624 swapFree=5956/199444 [pid=2510] ppid=2507 vsize=55812 CPUtime=1661.66 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 39712 0 0 0 166164 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5750706 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 55812 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.71 3/243 2587 /proc/meminfo: memFree=32020468/32770624 swapFree=5956/199472 [pid=2510] ppid=2507 vsize=55812 CPUtime=1721.64 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 39946 0 0 0 172162 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4465465 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 55812 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.73 3/243 2588 /proc/meminfo: memFree=32019820/32770624 swapFree=5956/199500 [pid=2510] ppid=2507 vsize=55812 CPUtime=1781.61 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 40195 0 0 0 178159 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5327179 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 55812 [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.74 3/243 2589 /proc/meminfo: memFree=32019600/32770624 swapFree=5956/199536 [pid=2510] ppid=2507 vsize=55812 CPUtime=1841.58 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 40440 0 0 0 184156 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4466967 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1841.58 Current children cumulated vsize (KiB) 55812 [startup+1902.3 s] /proc/loadavg: 2.08 2.00 1.77 3/243 2590 /proc/meminfo: memFree=32020608/32770624 swapFree=5956/199568 [pid=2510] ppid=2507 vsize=55812 CPUtime=1901.56 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 40669 0 0 0 190154 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4747009 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1901.56 Current children cumulated vsize (KiB) 55812 [startup+1962.3 s] /proc/loadavg: 2.03 2.00 1.78 3/243 2591 /proc/meminfo: memFree=32018316/32770624 swapFree=5956/199604 [pid=2510] ppid=2507 vsize=55812 CPUtime=1961.54 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 40914 0 0 0 196152 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4747326 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 1961.54 Current children cumulated vsize (KiB) 55812 [startup+2022.3 s] /proc/loadavg: 2.01 2.00 1.79 3/243 2592 /proc/meminfo: memFree=32019276/32770624 swapFree=5956/199644 [pid=2510] ppid=2507 vsize=55812 CPUtime=2021.51 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 41158 0 0 0 202149 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4249135 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2021.51 Current children cumulated vsize (KiB) 55812 [startup+2082.3 s] /proc/loadavg: 2.00 2.00 1.80 3/243 2593 /proc/meminfo: memFree=32018724/32770624 swapFree=5956/199668 [pid=2510] ppid=2507 vsize=55812 CPUtime=2081.5 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 41387 0 0 0 208148 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4466912 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2081.5 Current children cumulated vsize (KiB) 55812 [startup+2142.3 s] /proc/loadavg: 2.06 2.02 1.82 3/243 2594 /proc/meminfo: memFree=32018452/32770624 swapFree=5956/199700 [pid=2510] ppid=2507 vsize=55812 CPUtime=2141.47 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 41622 0 0 0 214145 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5746096 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2141.47 Current children cumulated vsize (KiB) 55812 [startup+2202.31 s] /proc/loadavg: 2.06 2.03 1.84 3/243 2595 /proc/meminfo: memFree=32019168/32770624 swapFree=5956/199720 [pid=2510] ppid=2507 vsize=55812 CPUtime=2201.46 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 41851 0 0 0 220144 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5750479 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2201.46 Current children cumulated vsize (KiB) 55812 [startup+2262.3 s] /proc/loadavg: 2.02 2.02 1.85 3/244 2604 /proc/meminfo: memFree=32018264/32770624 swapFree=5956/199756 [pid=2510] ppid=2507 vsize=55812 CPUtime=2261.43 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 42087 0 0 0 226141 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4463833 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2261.43 Current children cumulated vsize (KiB) 55812 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 1.86 3/244 2605 /proc/meminfo: memFree=32019520/32770624 swapFree=5956/199788 [pid=2510] ppid=2507 vsize=55812 CPUtime=2321.4 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 42330 0 0 0 232138 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5746100 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2321.4 Current children cumulated vsize (KiB) 55812 [startup+2382.3 s] /proc/loadavg: 2.08 2.03 1.87 3/244 2606 /proc/meminfo: memFree=32020604/32770624 swapFree=5956/199824 [pid=2510] ppid=2507 vsize=55812 CPUtime=2381.38 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 42564 0 0 0 238136 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 5327254 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2381.38 Current children cumulated vsize (KiB) 55812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s] /proc/loadavg: 2.06 2.03 1.88 3/244 2606 /proc/meminfo: memFree=32018692/32770624 swapFree=5956/199828 [pid=2510] ppid=2507 vsize=55812 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14 /proc/2510/stat : 2510 (MistralXCSP) R 2507 2510 2447 0 -1 4202496 42793 0 0 0 240005 2 0 0 20 0 1 0 85524 57151488 7711 33554432000 4194304 7402444 140733415542000 140733415537016 4466947 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 36499456 140733415548073 140733415548222 140733415548222 140733415550921 0 /proc/2510/statm: 13953 7711 787 784 0 6967 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 55812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2510 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2401 CPU time (s): 2400.09 CPU user time (s): 2400.05 CPU system time (s): 0.030988 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 55812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.030988 maximum resident set size= 30868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42831 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 120652 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.56877 second user time and 11.8973 second system time The end
Begin job on node127 at 2017-07-21 16:42:59 IDJOB=4240918 IDBENCH=124430 IDSOLVER=2622 FILE ID=node127/4240918-1500648178 RUNJOBID= node127-1500648174-2478 PBS_JOBID= 20623293 Free space on /tmp= 61980 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240918-1500648178/watcher-4240918-1500648178 -o /tmp/evaluation-result-4240918-1500648178/solver-4240918-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2478 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240918-1500648178.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=195319193 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32062036 kB MemAvailable: 32016020 kB Buffers: 26548 kB Cached: 241688 kB SwapCached: 0 kB Active: 127400 kB Inactive: 205968 kB Active(anon): 68776 kB Inactive(anon): 8544 kB Active(file): 58624 kB Inactive(file): 197424 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5608 kB Writeback: 0 kB AnonPages: 71800 kB Mapped: 29580 kB Shmem: 8840 kB Slab: 58764 kB SReclaimable: 27540 kB SUnreclaim: 31224 kB KernelStack: 4096 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336460 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61972 MiB End job on node127 at 2017-07-21 17:23:00