Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 1407 | 2519.98 | 2520 |
| 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.09 c 280717 1.00/1.16 o 6326 1.00/1.16 o 6252 1.00/1.17 o 6163 1.11/1.26 o 6155 1.21/1.30 o 6154 1.21/1.31 o 6084 1.21/1.32 o 6002 1.21/1.32 o 5989 1.21/1.32 o 5986 1.21/1.33 o 5985 1.21/1.34 o 5982 3.40/3.55 o 5938 3.40/3.56 o 5895 3.50/3.68 o 5892 3.50/3.68 o 5863 3.50/3.68 o 5861 3.50/3.69 o 5860 3.50/3.69 o 5857 3.60/3.70 o 5801 3.60/3.71 o 5786 3.60/3.71 o 5768 3.60/3.72 o 5766 3.60/3.72 o 5754 3.60/3.73 o 5745 3.60/3.73 o 5742 3.60/3.74 o 5736 3.60/3.76 o 5719 3.60/3.77 o 5698 3.60/3.77 o 5696 3.60/3.79 o 5688 3.70/3.80 o 5668 3.70/3.80 o 5662 3.70/3.84 o 5634 3.70/3.85 o 5593 3.70/3.86 o 5588 3.70/3.87 o 5586 3.70/3.87 o 5582 3.80/3.91 o 5579 3.80/3.93 o 5569 3.90/4.01 o 5503 3.90/4.02 o 5468 3.90/4.02 o 5466 3.90/4.03 o 5456 4.00/4.19 o 5422 4.00/4.20 o 5373 4.41/4.55 o 5361 4.41/4.56 o 5357 4.50/4.61 o 5282 4.70/4.85 o 5274 4.70/4.86 o 5266 4.70/4.86 o 5259 4.70/4.87 o 5201 4.70/4.88 o 5199 4.80/4.98 o 5099 4.80/4.98 o 5064 4.80/4.99 o 5054 4.90/5.01 o 5037 4.90/5.02 o 5030 4.90/5.04 o 5008 4.90/5.04 o 5004 5.10/5.21 o 4996 5.20/5.31 o 4984 5.20/5.32 o 4982 5.20/5.34 o 4977 5.60/5.72 o 4957 5.60/5.72 o 4923 5.60/5.72 o 4922 5.60/5.73 o 4912 5.60/5.74 o 4901 5.60/5.75 o 4895 5.60/5.76 o 4891 5.60/5.77 o 4886 5.60/5.77 o 4858 5.60/5.78 o 4851 5.60/5.78 o 4844 5.70/5.81 o 4819 5.70/5.82 o 4806 5.70/5.82 o 4804 5.70/5.83 o 4803 5.70/5.83 o 4789 5.70/5.83 o 4787 5.70/5.84 o 4776 5.70/5.88 o 4761 5.90/6.02 o 4757 5.90/6.02 o 4752 5.90/6.03 o 4724 5.90/6.03 o 4711 5.90/6.04 o 4701 5.90/6.04 o 4691 6.10/6.20 o 4688 6.10/6.29 o 4685 6.20/6.37 o 4654 6.20/6.37 o 4650 6.20/6.39 o 4631 6.40/6.50 o 4625 6.40/6.50 o 4601 6.40/6.58 o 4562 6.40/6.59 o 4534 6.51/6.70 o 4532 6.80/6.94 o 4496 6.80/6.94 o 4488 7.71/7.85 o 4461 7.71/7.88 o 4450 8.11/8.21 o 4430 8.41/8.59 o 4428 8.51/8.68 o 4414 9.71/9.80 o 4410 9.71/9.80 o 4408 9.71/9.81 o 4375 9.71/9.81 o 4373 9.71/9.82 o 4368 9.71/9.82 o 4352 9.71/9.83 o 4341 9.71/9.83 o 4326 9.71/9.86 o 4325 9.91/10.03 o 4324 9.91/10.04 o 4282 9.91/10.07 o 4256 10.31/10.45 o 4255 10.31/10.46 o 4254 10.31/10.46 o 4221 10.31/10.47 o 4219 10.31/10.47 o 4204 10.31/10.49 o 4203 10.41/10.51 o 4190 10.41/10.52 o 4188 10.41/10.55 o 4187 10.51/10.66 o 4185 10.61/10.72 o 4125 10.61/10.73 o 4122 10.71/10.87 o 4102 10.71/10.88 o 4086 11.01/11.11 o 4079 11.11/11.26 o 4067 11.11/11.26 o 4053 11.11/11.28 o 4023 11.21/11.36 o 4020 11.21/11.37 o 3970 11.41/11.54 o 3965 11.41/11.55 o 3929 11.41/11.55 o 3914 11.41/11.56 o 3899 11.41/11.57 o 3893 11.41/11.57 o 3883 11.41/11.58 o 3871 11.51/11.61 o 3859 11.51/11.62 o 3771 11.51/11.63 o 3755 11.51/11.66 o 3753 11.61/11.78 o 3750 11.81/11.95 o 3690 11.91/12.02 o 3670 11.91/12.03 o 3611 11.91/12.03 o 3607 11.91/12.04 o 3583 11.91/12.05 o 3576 12.01/12.17 o 3574 12.01/12.19 o 3569 12.11/12.25 o 3568 12.21/12.35 o 3520 12.81/12.90 o 3516 13.01/13.11 o 3510 13.01/13.12 o 3486 13.41/13.58 o 3463 13.51/13.60 o 3456 13.51/13.60 o 3439 15.21/15.33 o 3436 15.21/15.33 o 3425 15.21/15.34 o 3421 15.21/15.34 o 3411 15.21/15.35 o 3409 15.21/15.35 o 3379 15.21/15.38 o 3375 15.31/15.41 o 3372 15.31/15.45 o 3364 15.51/15.68 o 3361 15.81/15.99 o 3359 15.91/16.00 o 3356 15.91/16.00 o 3355 15.91/16.01 o 3320 15.91/16.01 o 3311 17.71/17.82 o 3309 17.71/17.83 o 3299 17.71/17.83 o 3287 17.71/17.87 o 3284 17.71/17.87 o 3278 18.21/18.31 o 3263 18.21/18.32 o 3253 18.21/18.34 o 3244 18.21/18.34 o 3241 18.21/18.35 o 3213 18.31/18.47 o 3109 18.51/18.60 o 3099 18.51/18.69 o 3092 18.51/18.70 o 3048 18.71/18.81 o 3045 18.71/18.81 o 3040 18.71/18.82 o 3029 18.71/18.84 o 3017 18.71/18.89 o 2976 18.91/19.09 o 2972 19.01/19.16 o 2951 19.11/19.22 o 2944 19.21/19.38 o 2912 19.31/19.49 o 2861 19.41/19.51 o 2859 19.51/19.63 o 2855 19.81/19.98 o 2844 20.21/20.35 o 2840 20.21/20.35 o 2829 20.21/20.36 o 2824 20.21/20.36 o 2814 20.21/20.37 o 2798 20.21/20.37 o 2772 20.21/20.38 o 2768 20.21/20.39 o 2722 20.21/20.39 o 2718 20.31/20.40 o 2690 20.31/20.44 o 2681 20.31/20.44 o 2677 20.51/20.63 o 2671 20.51/20.67 o 2657 20.71/20.87 o 2575 21.21/21.31 o 2568 21.21/21.39 o 2562 21.41/21.57 o 2547 21.41/21.58 o 2543 21.41/21.58 o 2532 21.71/21.89 o 2530 21.81/21.90 o 2524 22.01/22.12 o 2522 22.21/22.35 o 2512 22.21/22.35 o 2507 22.21/22.37 o 2494 22.91/23.08 o 2472 22.91/23.09 o 2439 23.01/23.17 o 2433 24.11/24.22 o 2411 24.11/24.28 o 2405 24.70/24.87 o 2396 24.70/24.88 o 2379 24.90/25.04 o 2371 25.10/25.21 o 2367 25.80/25.96 o 2365 26.10/26.22 o 2346 26.10/26.24 o 2335 26.10/26.24 o 2324 26.10/26.27 o 2323 26.60/26.72 o 2317 26.60/26.77 o 2298 26.70/26.89 o 2297 27.10/27.27 o 2288 27.10/27.28 o 2269 27.20/27.33 o 2260 27.20/27.34 o 2251 27.51/27.67 o 2250 27.70/27.82 o 2231 27.70/27.83 o 2225 27.70/27.84 o 2222 27.70/27.87 o 2191 28.20/28.37 o 2186 28.40/28.54 o 2181 29.71/29.83 o 2134 29.71/29.83 o 2101 29.71/29.84 o 2059 29.71/29.85 o 2058 30.40/30.56 o 2056 30.40/30.56 o 2054 30.50/30.63 o 2030 30.50/30.65 o 2017 30.90/31.00 o 2016 30.90/31.01 o 2004 31.10/31.25 o 2003 31.10/31.25 o 1986 31.50/31.69 o 1978 31.60/31.70 o 1972 33.70/33.85 o 1961 33.90/34.01 o 1947 34.01/34.12 o 1943 37.31/37.47 o 1937 37.60/37.74 o 1931 37.70/37.85 o 1919 38.00/38.19 o 1918 38.51/38.62 o 1917 39.50/39.69 o 1915 39.79/39.97 o 1909 40.09/40.22 o 1908 41.80/41.95 o 1906 41.89/42.09 o 1904 41.99/42.19 o 1902 46.29/46.43 o 1899 46.29/46.44 o 1896 47.59/47.77 o 1862 48.30/48.43 o 1860 48.89/49.00 o 1858 49.19/49.34 o 1852 49.19/49.39 o 1851 49.99/50.15 o 1845 54.90/55.03 o 1831 56.19/56.33 o 1829 57.79/57.99 o 1828 58.09/58.24 o 1772 58.09/58.26 o 1761 58.49/58.62 o 1749 58.99/59.12 o 1748 61.09/61.20 o 1747 64.69/64.87 o 1740 66.39/66.53 o 1736 67.99/68.18 o 1731 80.20/80.34 o 1729 84.29/84.41 o 1728 85.59/85.73 o 1717 89.00/89.13 o 1700 92.49/92.61 o 1699 101.20/101.35 o 1688 101.79/101.97 o 1666 105.99/106.14 o 1665 126.50/126.63 o 1661 126.50/126.67 o 1660 129.29/129.43 o 1657 129.29/129.45 o 1644 129.99/130.18 o 1643 133.99/134.17 o 1642 142.69/142.81 o 1641 145.20/145.32 o 1640 174.09/174.24 o 1638 174.59/174.78 o 1626 178.49/178.66 o 1625 181.30/181.44 o 1619 184.10/184.23 o 1613 185.10/185.20 o 1599 188.00/188.20 o 1598 188.70/188.88 o 1597 195.10/195.21 o 1593 199.20/199.33 o 1592 214.90/215.05 o 1582 217.50/217.62 o 1581 231.30/231.41 o 1570 236.40/236.56 o 1567 257.10/257.21 o 1566 268.70/268.81 o 1564 271.10/271.22 o 1559 280.70/280.86 o 1553 283.50/283.62 o 1552 288.90/289.06 o 1549 290.80/290.97 o 1538 294.20/294.31 o 1532 296.30/296.48 o 1529 312.41/312.56 o 1523 312.41/312.57 o 1522 317.11/317.22 o 1516 371.91/372.07 o 1514 390.91/391.02 o 1506 391.81/391.96 o 1503 410.22/410.39 o 1499 411.61/411.79 o 1494 426.41/426.58 o 1493 445.31/445.44 o 1485 451.02/451.12 o 1480 471.21/471.33 o 1479 550.21/550.31 o 1478 552.01/552.12 o 1477 552.12/552.23 o 1475 556.81/556.95 o 1470 602.12/602.23 o 1469 627.42/627.52 o 1467 739.12/739.28 o 1465 797.92/798.05 o 1462 876.42/876.52 o 1456 876.82/876.92 o 1454 884.82/884.98 o 1453 905.72/905.85 o 1452 927.12/927.29 o 1450 929.43/929.58 o 1443 929.72/929.84 o 1442 961.73/961.83 o 1433 961.83/961.95 o 1429 985.12/985.27 o 1428 1019.53/1019.68 o 1427 1019.83/1019.92 o 1426 1025.83/1025.94 o 1425 1027.13/1027.26 o 1422 1215.13/1215.24 o 1420 1743.35/1743.47 o 1419 1812.75/1812.84 o 1418 1904.65/1904.73 o 1417 1905.05/1905.11 o 1415 1978.25/1978.32 o 1414 2007.75/2007.85 o 1412 2291.16/2291.29 o 1407 2519.96/2520.00 s SATISFIABLE 2519.96/2520.00 v <instantiation type="solution"> 2519.96/2520.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> 2519.96/2520.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> 2519.96/2520.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-4261222-1502359194/watcher-4261222-1502359194 -o /tmp/evaluation-result-4261222-1502359194/solver-4261222-1502359194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20755 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 281094329 HOME/instance-4261222-1502359194.xml pid=25114 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.00 2.02 2.05 2/184 25117 /proc/meminfo: memFree=31087544/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25117/stat : 25117 (runsolver) D 25114 25117 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 83425608 24240128 106 18446744073709551615 4194304 4338465 140732054158432 140732054156072 140469374374615 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 9412608 140732054163595 140732054164041 140732054164041 140732054167498 0 /proc/25117/statm: 5918 106 53 36 0 2156 0 [startup+0.100592 s] /proc/loadavg: 2.00 2.02 2.05 2/184 25117 /proc/meminfo: memFree=31087544/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=29312 CPUtime=0.01 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 1051 0 0 0 1 0 0 0 20 0 1 0 83425608 30015488 860 18446744073709551615 4194304 7396336 140721600598208 140721600590184 5954960 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 7328 860 591 782 0 344 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 29312 [startup+0.200594 s] /proc/loadavg: 2.00 2.02 2.05 2/184 25117 /proc/meminfo: memFree=31087544/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=44652 CPUtime=0.1 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 5276 0 0 0 10 0 0 0 20 0 1 0 83425608 45723648 4771 18446744073709551615 4194304 7396336 140721600598208 140721600588808 6113429 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 11163 4771 671 782 0 4179 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 44652 [startup+0.300595 s] /proc/loadavg: 2.00 2.02 2.05 2/184 25117 /proc/meminfo: memFree=31087544/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=47008 CPUtime=0.2 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 5874 0 0 0 20 0 0 0 20 0 1 0 83425608 48136192 5365 18446744073709551615 4194304 7396336 140721600598208 140721600591448 6354589 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 11752 5365 681 782 0 4768 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 47008 [startup+0.700284 s] /proc/loadavg: 2.00 2.02 2.05 2/184 25117 /proc/meminfo: memFree=31087544/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=51732 CPUtime=0.6 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 7124 0 0 0 60 0 0 0 20 0 1 0 83425608 52973568 6619 18446744073709551615 4194304 7396336 140721600598208 140721600591448 6217633 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 12933 6619 739 782 0 5949 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 51732 [startup+1.50033 s] /proc/loadavg: 2.00 2.02 2.05 3/185 25118 /proc/meminfo: memFree=31060460/32770624 swapFree=0/542212 [pid=25117] ppid=25114 vsize=55804 CPUtime=1.41 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 8151 0 0 0 140 1 0 0 20 0 1 0 83425608 57143296 7675 18446744073709551615 4194304 7396336 140721600598208 140721600591448 5771305 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7675 771 782 0 6967 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 55804 [startup+3.10032 s] /proc/loadavg: 2.00 2.02 2.05 3/185 25118 /proc/meminfo: memFree=31059756/32770624 swapFree=0/542216 [pid=25117] ppid=25114 vsize=55804 CPUtime=3 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 12779 0 0 0 299 1 0 0 20 0 1 0 83425608 57143296 7701 18446744073709551615 4194304 7396336 140721600598208 140721600591448 5576766 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7701 779 782 0 6967 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 55804 [startup+6.30033 s] /proc/loadavg: 2.00 2.02 2.05 3/185 25118 /proc/meminfo: memFree=31058972/32770624 swapFree=0/542208 [pid=25117] ppid=25114 vsize=55804 CPUtime=6.2 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 17676 0 0 0 619 1 0 0 20 0 1 0 83425608 57143296 7701 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4246602 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7701 779 782 0 6967 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 55804 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.05 3/185 25118 /proc/meminfo: memFree=31058724/32770624 swapFree=0/542204 [pid=25117] ppid=25114 vsize=55804 CPUtime=12.61 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 22446 0 0 0 1259 2 0 0 20 0 1 0 83425608 57143296 7701 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771361 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7701 779 782 0 6967 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 55804 [startup+25.5004 s] /proc/loadavg: 2.00 2.02 2.05 3/184 25118 /proc/meminfo: memFree=31058740/32770624 swapFree=0/542200 [pid=25117] ppid=25114 vsize=55804 CPUtime=25.4 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 31977 0 0 0 2538 2 0 0 20 0 1 0 83425608 57143296 7701 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5165846 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7701 779 782 0 6967 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 55804 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.05 3/184 25118 /proc/meminfo: memFree=31057416/32770624 swapFree=0/542200 [pid=25117] ppid=25114 vsize=55804 CPUtime=50.99 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 32577 0 0 0 5097 2 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771336 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 55804 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 25120 /proc/meminfo: memFree=31057652/32770624 swapFree=0/542176 [pid=25117] ppid=25114 vsize=55804 CPUtime=102.2 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 33057 0 0 0 10218 2 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774439 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 55804 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 25123 /proc/meminfo: memFree=31057360/32770624 swapFree=0/542176 [pid=25117] ppid=25114 vsize=55804 CPUtime=162.19 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 33532 0 0 0 16217 2 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4581459 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 55804 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/186 25126 /proc/meminfo: memFree=31057316/32770624 swapFree=0/542172 [pid=25117] ppid=25114 vsize=55804 CPUtime=222.2 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 34007 0 0 0 22218 2 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771377 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 55804 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 25143 /proc/meminfo: memFree=31052732/32770624 swapFree=0/542184 [pid=25117] ppid=25114 vsize=55804 CPUtime=282.2 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 34481 0 0 0 28218 2 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771278 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 55804 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 25145 /proc/meminfo: memFree=31053452/32770624 swapFree=0/542216 [pid=25117] ppid=25114 vsize=55804 CPUtime=342.21 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 34955 0 0 0 34218 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774439 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 55804 [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 25147 /proc/meminfo: memFree=31056676/32770624 swapFree=0/542236 [pid=25117] ppid=25114 vsize=55804 CPUtime=402.21 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 35428 0 0 0 40218 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774384 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 55804 [startup+462.3 s] /proc/loadavg: 2.07 2.04 2.05 3/186 25149 /proc/meminfo: memFree=31057336/32770624 swapFree=0/542244 [pid=25117] ppid=25114 vsize=55804 CPUtime=462.21 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 35901 0 0 0 46218 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5772915 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 55804 [startup+522.3 s] /proc/loadavg: 2.03 2.03 2.05 3/185 25151 /proc/meminfo: memFree=31057320/32770624 swapFree=0/542244 [pid=25117] ppid=25114 vsize=55804 CPUtime=522.21 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 36351 0 0 0 52218 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4249732 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 55804 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25154 /proc/meminfo: memFree=31057212/32770624 swapFree=0/542260 [pid=25117] ppid=25114 vsize=55804 CPUtime=582.21 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 36829 0 0 0 58218 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5772937 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 55804 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.08 2.03 2.05 3/186 25621 /proc/meminfo: memFree=24746956/32770624 swapFree=0/542552 [pid=25117] ppid=25114 vsize=55804 CPUtime=1602.24 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 44669 0 0 0 160221 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771331 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 55804 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.05 3/185 25683 /proc/meminfo: memFree=30574160/32770624 swapFree=0/541272 [pid=25117] ppid=25114 vsize=55804 CPUtime=1662.24 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 44916 0 0 0 166221 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4249734 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 55804 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 25685 /proc/meminfo: memFree=30573948/32770624 swapFree=0/541292 [pid=25117] ppid=25114 vsize=55804 CPUtime=1722.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 45371 0 0 0 172222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774399 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 55804 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 25689 /proc/meminfo: memFree=30573860/32770624 swapFree=0/541300 [pid=25117] ppid=25114 vsize=55804 CPUtime=1782.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 45844 0 0 0 178222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5772939 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 55804 [startup+1842.3 s] /proc/loadavg: 2.08 2.04 2.05 3/186 25691 /proc/meminfo: memFree=30574464/32770624 swapFree=0/541328 [pid=25117] ppid=25114 vsize=55804 CPUtime=1842.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 46318 0 0 0 184222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771331 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1842.25 Current children cumulated vsize (KiB) 55804 [startup+1902.3 s] /proc/loadavg: 2.03 2.04 2.05 3/186 25693 /proc/meminfo: memFree=30573748/32770624 swapFree=0/541352 [pid=25117] ppid=25114 vsize=55804 CPUtime=1902.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 46769 0 0 0 190222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5772895 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1902.25 Current children cumulated vsize (KiB) 55804 [startup+1962.3 s] /proc/loadavg: 2.06 2.04 2.05 3/185 25695 /proc/meminfo: memFree=30574464/32770624 swapFree=0/541360 [pid=25117] ppid=25114 vsize=55804 CPUtime=1962.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 47244 0 0 0 196222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4249712 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 1962.25 Current children cumulated vsize (KiB) 55804 [startup+2022.3 s] /proc/loadavg: 2.02 2.04 2.05 3/186 25698 /proc/meminfo: memFree=30574208/32770624 swapFree=0/541376 [pid=25117] ppid=25114 vsize=55804 CPUtime=2022.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 47717 0 0 0 202222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771305 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2022.25 Current children cumulated vsize (KiB) 55804 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 25714 /proc/meminfo: memFree=30569212/32770624 swapFree=0/541400 [pid=25117] ppid=25114 vsize=55804 CPUtime=2082.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 48175 0 0 0 208223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5771305 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2082.26 Current children cumulated vsize (KiB) 55804 [startup+2142.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 25717 /proc/meminfo: memFree=30569880/32770624 swapFree=0/541424 [pid=25117] ppid=25114 vsize=55804 CPUtime=2142.25 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 48623 0 0 0 214222 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5586544 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2142.25 Current children cumulated vsize (KiB) 55804 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/185 25719 /proc/meminfo: memFree=30573196/32770624 swapFree=0/541440 [pid=25117] ppid=25114 vsize=55804 CPUtime=2202.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 49077 0 0 0 220223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774419 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2202.26 Current children cumulated vsize (KiB) 55804 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 25721 /proc/meminfo: memFree=30573568/32770624 swapFree=0/541448 [pid=25117] ppid=25114 vsize=55804 CPUtime=2262.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 49529 0 0 0 226223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5620258 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2262.26 Current children cumulated vsize (KiB) 55804 [startup+2322.3 s] /proc/loadavg: 2.04 2.03 2.05 3/186 25724 /proc/meminfo: memFree=30572808/32770624 swapFree=0/541456 [pid=25117] ppid=25114 vsize=55804 CPUtime=2322.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 50001 0 0 0 232223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2322.26 Current children cumulated vsize (KiB) 55804 [startup+2382.3 s] /proc/loadavg: 2.07 2.04 2.05 3/186 25727 /proc/meminfo: memFree=30572932/32770624 swapFree=0/541476 [pid=25117] ppid=25114 vsize=55804 CPUtime=2382.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 50452 0 0 0 238223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 4249696 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2382.26 Current children cumulated vsize (KiB) 55804 [startup+2442.3 s] /proc/loadavg: 2.02 2.03 2.05 3/185 25729 /proc/meminfo: memFree=30572452/32770624 swapFree=0/541484 [pid=25117] ppid=25114 vsize=55804 CPUtime=2442.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 50896 0 0 0 244223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774399 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2442.26 Current children cumulated vsize (KiB) 55804 [startup+2502.3 s] /proc/loadavg: 2.01 2.03 2.05 3/185 25731 /proc/meminfo: memFree=30573172/32770624 swapFree=0/541488 [pid=25117] ppid=25114 vsize=55804 CPUtime=2502.26 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 51345 0 0 0 250223 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5774384 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2502.26 Current children cumulated vsize (KiB) 55804 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.17 2.06 2.06 3/186 25733 /proc/meminfo: memFree=30573156/32770624 swapFree=0/541488 [pid=25117] ppid=25114 vsize=55804 CPUtime=2519.96 cores=0,2,4,6 /proc/25117/stat : 25117 (MistralXCSP) R 25114 25117 31388 0 -1 4202496 51793 0 0 0 251993 3 0 0 20 0 1 0 83425608 57143296 7705 18446744073709551615 4194304 7396336 140721600598208 140721600593224 5839232 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 22441984 140721600602547 140721600602696 140721600602696 140721600606153 0 /proc/25117/statm: 13951 7705 781 782 0 6967 0 Current children cumulated CPU time (s) 2519.96 Current children cumulated vsize (KiB) 55804 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 25117 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.98 CPU user time (s): 2519.94 CPU system time (s): 0.039001 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 55804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.94 system time used= 0.039001 maximum resident set size= 30840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51830 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= 19 involuntary context switches= 640 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.24963 second user time and 10.8902 second system time The end
Begin job on node134 at 2017-08-10 11:45:57 IDJOB=4261222 IDBENCH=124430 IDSOLVER=2649 FILE ID=node134/4261222-1502359194 RUNJOBID= node134-1502331912-20755 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-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-4261222-1502359194/watcher-4261222-1502359194 -o /tmp/evaluation-result-4261222-1502359194/solver-4261222-1502359194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20755 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 281094329 HOME/instance-4261222-1502359194.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=281094329 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31087892 kB MemAvailable: 31967444 kB Buffers: 269516 kB Cached: 904520 kB SwapCached: 0 kB Active: 678812 kB Inactive: 573428 kB Active(anon): 80084 kB Inactive(anon): 31224 kB Active(file): 598728 kB Inactive(file): 542204 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5656 kB Writeback: 4 kB AnonPages: 77232 kB Mapped: 49916 kB Shmem: 33468 kB Slab: 134852 kB SReclaimable: 108908 kB SUnreclaim: 25944 kB KernelStack: 3312 kB PageTables: 4560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344212 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61988 MiB End job on node134 at 2017-08-10 12:27:58