Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 331 | 1800.09 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb |
MD5SUM | 8b204aeb505cc1c787aa4db3220d0b5a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 272 |
Optimality of the best value was proved | NO |
Number of variables | 5380 |
Total number of constraints | 584 |
Number of constraints which are clauses | 32 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 54 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 2115 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527620 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262086 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527620 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432807-1177950061/instance-432807-1177950061.opb 0.00/0.00 c File size is 121531 bytes. 0.00/0.03 c Highest Coefficient sum: 527620 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.026 s 0.00/0.03 c Var: 5380 Constr: 916 129/368/419 Lit: 15302 Watch. Lit: 8096 0.00/0.03 c Obj. Vars: 3720 (69.145 % of total variables) 0.03/0.06 c Pre-processing Time: 0.061 s 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 4083 916 13322 14 7885 26755 0 0 0.06 0.03/0.06 c Switching off LPR mode. 0.03/0.06 o 434 0.064 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 1 4083 918 15828 17 12177 31759 2 15 0.07 0.03/0.07 o 411 0.07 0.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 2 4083 920 18334 19 14392 31759 4 27 0.07 0.03/0.08 o 371 0.076 0.08/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.18 c 3 4083 922 20840 22 16648 31759 6 38 0.08 0.08/0.18 c 104 4083 1023 52344 51 16894 34935 107 697 0.15 0.08/0.18 o 369 0.179 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 142 4083 1062 55354 52 19800 31759 146 788 0.18 2.29/2.34 c 243 4083 1163 68438 58 20100 34935 247 906 0.27 2.29/2.34 c 493 4083 1413 74181 52 20623 38429 497 1611 0.31 2.29/2.34 c 968 4083 1888 101841 53 21656 42272 972 2025 0.48 2.29/2.34 c 1782 4083 2702 180979 66 23449 46500 1786 1631 1.09 2.29/2.34 c 3102 4083 4022 301736 75 26202 51151 3106 1349 2.30 2.29/2.34 o 331 2.34 1800.04/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.50 c 3464 4083 4385 310959 70 28802 31759 3469 1479 2.34 1800.04/1800.50 c 3565 4083 4486 314895 70 29098 34935 3570 1495 2.38 1800.04/1800.50 c 3815 4083 4736 343403 72 29720 38429 3820 1479 2.58 1800.04/1800.50 c 4290 4083 5211 379637 72 31076 42272 4295 1474 2.91 1800.04/1800.50 c 5104 4083 6025 444824 73 32476 46500 5109 1559 3.27 1800.04/1800.50 c 6424 4083 7345 608752 82 35060 51151 6429 1438 4.46 1800.04/1800.50 c 8505 4083 9426 795320 84 39442 56267 8510 1444 5.89 1800.04/1800.50 c 11728 4083 12649 1176814 93 45794 61894 11733 1363 8.60 1800.04/1800.50 c 16665 4083 17586 1569314 89 55776 68084 16670 1348 12.36 1800.04/1800.50 c 24172 4083 25093 2370194 94 70720 74893 24177 1170 20.64 1800.04/1800.50 c 35533 4083 36454 3616753 99 93367 82383 35538 973 36.50 1800.04/1800.50 c 52678 4083 53599 5608249 104 127598 90622 52683 978 53.85 1800.04/1800.50 c 78498 4083 79419 8458982 106 179322 99685 78503 797 98.40 1800.04/1800.50 c 117331 4083 26999 3897503 144 64821 109654 26083 477 245.63 1800.04/1800.50 c 175684 4083 85352 10843139 127 181466 120620 84436 455 385.45 1800.04/1800.50 c 263317 4083 61305 9135850 149 133382 132683 60389 329 798.49 1800.04/1800.50 c 394869 4083 69306 7668638 110 149491 145952 68390 249 1584.37 1800.04/1800.50 c Caught signal: 15 1800.04/1800.50 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.04/1800.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.04/1800.50 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.04/1800.50 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.04/1800.50 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.04/1800.50 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 x416 x417 x418 x419 x420 1800.04/1800.50 v x421 x422 x423 -x424 -x425 -x426 -x427 x428 -x429 x430 x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 1800.04/1800.50 v -x443 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 x879 -x880 -x881 x882 -x883 1800.04/1800.50 v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.04/1800.50 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.04/1800.50 v -x1100 -x1101 -x1102 -x1103 -x1284 x1285 -x1286 x1287 x1288 x1289 x1290 -x1291 -x1292 x1293 -x1294 -x1295 x1296 x1297 x1298 1800.04/1800.50 v x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1494 -x1495 -x1496 1800.04/1800.50 v x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 x1505 x1506 -x1507 -x1508 x1509 x1510 -x1511 x1512 -x1513 -x1514 -x1515 1800.04/1800.50 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.04/1800.50 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x1704 1800.04/1800.50 v x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 x1722 1800.04/1800.50 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.04/1800.50 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.04/1800.50 v -x503 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1800.04/1800.50 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.04/1800.50 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.04/1800.50 v -x1130 -x1131 -x1132 -x1133 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1800.04/1800.50 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.04/1800.50 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.04/1800.50 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1734 x1735 x1736 x1737 -x1738 1800.04/1800.50 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756 1800.04/1800.50 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.04/1800.50 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.04/1800.50 v -x2151 -x2152 -x2153 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.04/1800.50 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1800.04/1800.50 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.04/1800.50 v -x953 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 1800.04/1800.50 v -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1344 -x1345 -x1346 -x1347 1800.04/1800.50 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.04/1800.50 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.04/1800.50 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 1800.04/1800.50 v -x1579 -x1580 -x1581 -x1582 -x1583 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.04/1800.50 v x1777 x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x2154 1800.04/1800.50 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.04/1800.50 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2304 -x2305 -x2306 -x2307 -x2308 1800.04/1800.50 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.04/1800.50 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1800.04/1800.50 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x1794 1800.04/1800.50 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.04/1800.50 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x2334 -x2335 -x2336 -x2337 -x2338 1800.04/1800.50 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.04/1800.50 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.04/1800.50 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.04/1800.50 v -x2690 -x2691 -x2692 -x2693 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1800.04/1800.50 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x1824 x1825 -x1826 -x1827 -x1828 -x1829 1800.04/1800.50 v -x1830 -x1831 x1832 x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.04/1800.50 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.04/1800.50 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.04/1800.50 v -x2392 -x2393 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.04/1800.50 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x594 x595 -x596 1800.04/1800.50 v x597 x598 -x599 x600 -x601 -x602 x603 x604 -x605 -x606 x607 x608 x609 x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.04/1800.50 v -x620 -x621 -x622 -x623 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.04/1800.50 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x2394 1800.04/1800.50 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.04/1800.50 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2724 -x2725 -x2726 -x2727 -x2728 1800.04/1800.50 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.04/1800.50 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 -x634 1800.04/1800.50 v -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x954 -x955 1800.04/1800.50 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.04/1800.50 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1800.04/1800.50 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1800.04/1800.50 v -x1192 -x1193 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.04/1800.50 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1584 -x1585 1800.04/1800.50 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.04/1800.50 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.04/1800.50 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.04/1800.50 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.04/1800.50 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.04/1800.50 v -x2211 -x2212 -x2213 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.04/1800.50 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2754 1800.04/1800.50 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.04/1800.50 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2994 -x2995 -x2996 -x2997 -x2998 1800.04/1800.50 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.04/1800.50 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1800.04/1800.50 v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.04/1800.50 v -x3140 -x3141 -x3142 -x3143 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.04/1800.50 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 1800.04/1800.50 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.04/1800.50 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x1914 x1915 x1916 x1917 -x1918 x1919 x1920 -x1921 x1922 x1923 x1924 1800.04/1800.50 v x1925 x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.04/1800.50 v -x1943 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.04/1800.50 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2784 -x2785 -x2786 1800.04/1800.50 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1800.04/1800.50 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1800.04/1800.50 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 1800.04/1800.50 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.04/1800.50 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x1944 x1945 x1946 -x1947 1800.04/1800.50 v -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965 1800.04/1800.50 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.04/1800.50 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.04/1800.50 v -x2510 -x2511 -x2512 -x2513 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.04/1800.50 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1800.04/1800.50 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.04/1800.50 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x714 -x715 -x716 -x717 -x718 1800.04/1800.50 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.04/1800.50 v -x740 -x741 -x742 -x743 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1800.04/1800.50 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1194 -x1195 -x1196 -x1197 1800.04/1800.50 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.04/1800.50 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.04/1800.50 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.04/1800.50 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.04/1800.50 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.04/1800.50 v -x1643 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.04/1800.50 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2214 -x2215 -x2216 1800.04/1800.50 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1800.04/1800.50 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.04/1800.50 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.04/1800.50 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1800.04/1800.50 v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 1800.04/1800.50 v -x2872 -x2873 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 1800.04/1800.50 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3144 -x3145 1800.04/1800.50 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.04/1800.50 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.04/1800.50 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.04/1800.50 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3414 x3415 x3416 x3417 x3418 x3419 x3420 x3421 x3422 x3423 x3424 x3425 1800.04/1800.50 v x3426 -x3427 -x3428 x3429 x3430 x3431 -x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.04/1800.50 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.04/1800.50 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3654 -x3655 -x3656 -x3657 1800.04/1800.50 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1800.04/1800.50 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1800.04/1800.50 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x1014 1800.04/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.04/1800.50 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1224 -x1225 -x1226 -x1227 -x1228 1800.04/1800.50 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.04/1800.50 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.04/1800.50 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.04/1800.50 v -x1460 -x1461 -x1462 -x1463 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.04/1800.50 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.04/1800.50 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1800.04/1800.50 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2244 -x2245 -x2246 -x2247 1800.04/1800.50 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.04/1800.50 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.04/1800.50 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.04/1800.50 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1800.04/1800.50 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.04/1800.50 v -x2903 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.04/1800.50 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3174 -x3175 -x3176 1800.04/1800.50 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1800.04/1800.50 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1800.04/1800.50 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1800.04/1800.50 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.04/1800.50 v -x3455 -x3456 x3457 -x3458 x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 1800.04/1800.50 v -x3473 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1800.04/1800.50 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3684 -x3685 -x3686 1800.04/1800.50 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.04/1800.50 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.04/1800.50 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.04/1800.50 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1800.04/1800.50 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x2034 -x2035 -x2036 1800.04/1800.50 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.04/1800.50 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1800.04/1800.50 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1800.04/1800.50 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 1800.04/1800.50 v -x2916 -x2917 x2918 -x2919 x2920 -x2921 -x2922 x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.04/1800.50 v x3474 -x3475 -x3476 -x3477 x3478 x3479 x3480 x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492 1800.04/1800.50 v x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.04/1800.50 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.04/1800.50 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 1800.04/1800.50 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.04/1800.50 v -x3891 -x3892 -x3893 -x804 x805 -x806 -x807 x808 -x809 x810 -x811 x812 -x813 -x814 x815 x816 -x817 x818 -x819 -x820 x821 -x822 1800.04/1800.50 v x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 1800.04/1800.50 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1800.04/1800.50 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.04/1800.50 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.04/1800.50 v -x1283 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.04/1800.50 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1674 -x1675 -x1676 1800.04/1800.50 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.04/1800.50 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.04/1800.50 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.04/1800.50 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.04/1800.50 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.04/1800.50 v -x2302 -x2303 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.04/1800.50 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2934 x2935 x2936 1800.04/1800.50 v -x2937 x2938 -x2939 x2940 -x2941 x2942 x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 -x2952 x2953 -x2954 -x2955 1800.04/1800.50 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x3084 x3085 x3086 x3087 x3088 x3089 -x3090 -x3091 x3092 -x3093 1800.04/1800.50 v -x3094 -x3095 x3096 -x3097 -x3098 x3099 -x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.04/1800.50 v -x3112 -x3113 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.04/1800.50 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3324 -x3325 1800.04/1800.50 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.04/1800.50 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510 1800.04/1800.50 v x3511 x3512 -x3513 -x3514 x3515 x3516 x3517 -x3518 -x3519 x3520 x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.04/1800.50 v -x3530 -x3531 -x3532 -x3533 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 1800.04/1800.50 v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1800.04/1800.50 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1800.04/1800.50 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3804 -x3805 -x3806 -x3807 1800.04/1800.50 v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.04/1800.50 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.04/1800.50 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.04/1800.50 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.04/1800.50 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.04/1800.50 v -x3983 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1800.04/1800.50 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.04/1800.50 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.04/1800.50 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.04/1800.50 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.04/1800.50 v -x2663 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.04/1800.50 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x3534 -x3535 -x3536 1800.04/1800.50 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.04/1800.50 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1800.04/1800.50 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.04/1800.50 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 1800.04/1800.50 v -x3935 -x3936 -x3937 -x3938 x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.04/1800.50 v -x3953 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.04/1800.50 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x1 -x2 -x3 -x6 -x7 -x8 1800.04/1800.50 v -x9 -x10 -x11 -x51 -x52 -x53 -x54 -x93 x94 -x12 -x13 -x107 x108 x14 -x15 x16 -x17 -x55 -x56 -x57 -x58 -x95 -x96 -x109 -x110 -x111 1800.04/1800.50 v -x145 -x146 -x18 -x19 -x20 -x21 -x59 -x60 -x61 -x62 -x97 -x98 x112 -x113 -x114 -x115 -x147 -x148 -x157 -x158 -x159 -x160 -x23 1800.04/1800.50 v -x24 -x117 x118 -x162 -x163 -x191 -x192 -x26 -x27 x28 -x29 -x63 -x64 -x65 -x66 -x99 -x100 -x120 -x121 -x122 -x123 -x149 -x150 1800.04/1800.50 v -x165 -x166 -x167 -x168 -x194 -x195 -x196 -x197 -x222 -x223 -x30 -x31 -x124 x125 -x169 -x170 -x198 -x199 -x234 -x235 -x32 1800.04/1800.50 v -x33 -x126 x127 -x171 -x172 -x200 -x201 -x236 -x237 -x34 -x35 -x36 -x37 -x67 -x68 -x69 -x70 -x101 -x102 -x128 -x129 -x130 -x131 1800.04/1800.50 v -x151 -x152 -x173 -x174 -x175 -x176 -x202 -x203 -x204 -x205 -x224 -x225 -x238 -x239 -x240 x241 -x255 -x256 -x261 -x262 -x38 1800.04/1800.50 v -x39 -x40 -x41 -x71 -x72 -x73 -x74 -x103 -x104 -x132 -x133 -x134 -x135 -x153 -x154 -x177 -x178 -x179 -x180 -x206 -x207 -x208 1800.04/1800.50 v -x209 -x226 -x227 -x242 x243 -x244 -x245 -x257 -x258 -x263 -x264 -x267 -x268 -x269 -x270 -x42 -x43 -x44 -x136 -x137 -x138 1800.04/1800.50 v -x181 -x182 -x183 x246 x247 -x248 -x271 -x272 -x273 -x280 -x281 -x282 x45 -x46 -x47 -x48 -x75 -x76 -x77 -x78 -x105 -x106 -x139 1800.04/1800.50 v -x140 -x141 -x142 -x155 -x156 -x184 -x185 -x186 -x187 x212 x213 -x214 -x215 -x228 -x229 -x249 x250 x251 -x252 -x259 -x260 1800.04/1800.50 v -x265 -x266 -x274 -x275 -x276 -x277 -x283 -x284 -x285 -x286 -x289 -x290 -x291 -x49 -x50 -x143 -x144 -x188 -x189 -x216 -x217 1800.04/1800.50 v -x253 -x254 -x278 -x279 -x287 x288 -x292 -x293 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4038 x4039 -x4040 x4020 -x4021 1800.04/1800.50 v -x4022 -x4041 -x4042 -x4043 x4059 -x4060 -x4061 -x4023 -x4024 -x4025 -x4044 -x4045 -x4046 -x4062 -x4063 -x4064 -x4077 1800.04/1800.50 v -x4078 -x4079 -x4026 x4027 -x4028 -x4047 -x4048 -x4049 -x4065 -x4066 -x4067 -x4080 -x4081 -x4082 -x4092 -x4093 -x4094 1800.04/1800.50 v -x4029 -x4030 -x4031 -x4050 -x4051 -x4052 -x4068 -x4069 -x4070 -x4083 -x4084 -x4085 -x4095 -x4096 -x4097 -x4107 -x4108 1800.04/1800.50 v -x4109 -x4032 -x4033 -x4034 -x4053 -x4054 -x4055 -x4071 -x4072 -x4073 -x4086 -x4087 -x4088 -x4098 -x4099 -x4100 -x4110 1800.04/1800.50 v -x4111 -x4112 -x4116 -x4117 -x4118 -x4101 x4102 -x4103 x4035 -x4036 -x4037 -x4056 -x4057 -x4058 -x4074 -x4075 -x4076 -x4089 1800.04/1800.50 v -x4090 -x4091 -x4104 -x4105 -x4106 -x4113 -x4114 -x4115 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 1800.04/1800.50 v -x4128 -x4129 -x4130 -x4131 -x4132 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4239 -x4240 -x4241 -x4242 -x4243 1800.04/1800.50 v -x4244 -x4245 -x4282 -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4382 1800.04/1800.50 v -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 x4482 -x4483 -x4484 -x4485 1800.04/1800.50 v -x4486 -x4487 -x4488 -x4489 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1800.04/1800.50 v -x4589 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4739 -x4740 1800.04/1800.50 v -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4839 -x4840 -x4841 x4842 -x4843 1800.04/1800.50 v -x4844 -x4845 -x4846 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1800.04/1800.50 v -x4967 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5124 x5125 1800.04/1800.50 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5242 x5243 -x5244 -x5245 1800.04/1800.50 v -x5246 -x5247 -x5248 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1800.04/1800.50 v x5358 -x5359 x4133 -x4140 -x4147 -x4154 -x4161 -x4168 -x4175 x4190 -x4197 -x4204 -x4211 -x4218 -x4225 -x4232 -x4246 -x4252 1800.04/1800.50 v -x4258 -x4264 -x4270 -x4276 x4290 -x4298 -x4305 -x4312 -x4319 -x4326 -x4333 x4346 -x4353 -x4359 -x4365 -x4371 -x4377 -x4390 1800.04/1800.50 v -x4396 -x4403 -x4409 -x4415 x4421 -x4435 -x4442 -x4449 -x4457 -x4464 -x4471 x4478 x4492 -x4499 -x4506 -x4514 -x4521 -x4528 1800.04/1800.50 v -x4535 -x4548 -x4554 -x4560 -x4567 -x4573 -x4579 x4593 -x4600 -x4607 -x4614 -x4622 -x4629 -x4636 x4650 -x4657 -x4664 -x4671 1800.04/1800.50 v -x4679 -x4686 -x4693 -x4706 -x4712 -x4718 x4724 -x4731 -x4737 -x4752 -x4759 -x4766 x4773 -x4780 -x4787 -x4795 -x4808 -x4814 1800.04/1800.50 v -x4820 -x4826 -x4832 -x4838 -x4853 -x4860 -x4867 -x4874 -x4881 x4888 -x4895 -x4898 -x4913 -x4920 -x4928 -x4935 -x4942 1800.04/1800.50 v -x4949 -x4954 x4969 -x4977 -x4984 -x4991 -x4998 -x5005 x5010 -x5024 -x5030 -x5036 -x5042 -x5048 -x5054 x5061 -x5077 -x5084 1800.04/1800.50 v -x5091 -x5098 -x5105 x5112 -x5119 -x5134 -x5142 -x5149 -x5156 -x5163 -x5170 x5177 -x5192 -x5199 -x5207 -x5214 -x5221 x5226 1800.04/1800.50 v -x5232 -x5238 -x5252 -x5258 -x5264 -x5272 -x5279 -x5286 -x5301 -x5308 -x5315 -x5323 -x5329 -x5336 -x5343 -x5350 -x5365 1800.04/1800.50 v -x5372 -x5380 -x4141 -x4148 -x4155 -x4162 -x4169 -x4176 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4149 -x4156 -x4163 1800.04/1800.50 v -x4170 -x4177 -x4142 -x4143 -x4144 -x4145 -x4146 -x4157 -x4164 -x4171 -x4178 -x4150 -x4151 -x4152 -x4153 -x4165 -x4172 1800.04/1800.50 v -x4179 -x4158 -x4159 -x4160 -x4173 -x4180 -x4166 -x4167 -x4181 -x4174 -x4198 -x4205 -x4212 -x4219 -x4226 -x4233 -x4191 1800.04/1800.50 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4206 -x4213 -x4220 -x4227 -x4234 -x4199 -x4200 -x4201 -x4202 -x4203 -x4214 -x4221 1800.04/1800.50 v -x4228 -x4235 -x4207 -x4208 -x4209 -x4210 -x4222 -x4229 -x4236 -x4215 -x4216 -x4217 -x4230 -x4237 -x4223 -x4224 -x4238 1800.04/1800.50 v -x4231 -x4253 -x4259 -x4265 -x4271 -x4277 -x4247 -x4248 -x4249 -x4250 -x4251 -x4260 -x4266 -x4272 -x4278 -x4254 -x4255 1800.04/1800.50 v -x4256 -x4257 -x4267 -x4273 -x4279 -x4261 -x4262 -x4263 -x4274 -x4280 -x4268 -x4269 -x4281 -x4275 x4297 -x4304 -x4311 1800.04/1800.50 v -x4318 -x4325 -x4332 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4306 -x4313 -x4320 -x4327 -x4334 -x4299 -x4300 -x4301 1800.04/1800.50 v -x4302 -x4303 -x4314 -x4321 -x4328 -x4335 -x4307 -x4308 -x4309 -x4310 -x4322 -x4329 -x4336 -x4315 -x4316 -x4317 -x4330 1800.04/1800.50 v -x4337 -x4323 -x4324 -x4338 -x4331 -x4352 -x4358 -x4364 -x4370 -x4376 -x4347 -x4348 -x4349 -x4350 -x4351 -x4360 -x4366 1800.04/1800.50 v -x4372 -x4378 -x4354 -x4355 -x4356 -x4357 -x4367 -x4373 -x4379 -x4361 -x4362 -x4363 -x4374 -x4380 -x4368 -x4369 -x4381 1800.04/1800.50 v -x4375 -x4395 -x4401 -x4407 -x4413 -x4419 -x4389 -x4391 -x4392 -x4393 -x4394 -x4402 -x4408 -x4414 -x4420 -x4397 -x4398 1800.04/1800.50 v -x4399 -x4400 -x4410 -x4416 -x4422 -x4404 -x4405 -x4406 -x4417 -x4423 -x4411 -x4412 -x4424 -x4418 -x4440 -x4447 -x4454 1800.04/1800.50 v -x4461 -x4468 -x4475 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4448 -x4455 -x4462 -x4469 -x4476 -x4441 -x4443 -x4444 1800.04/1800.50 v -x4445 -x4446 -x4456 -x4463 -x4470 -x4477 -x4450 -x4451 -x4452 -x4453 -x4465 -x4472 -x4479 -x4458 -x4459 -x4460 -x4473 1800.04/1800.50 v -x4480 -x4466 -x4467 -x4481 -x4474 -x4497 -x4504 -x4511 -x4518 -x4525 -x4532 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 1800.04/1800.50 v -x4505 -x4512 -x4519 -x4526 -x4533 -x4498 -x4500 -x4501 -x4502 -x4503 -x4513 -x4520 -x4527 -x4534 -x4507 -x4508 -x4509 1800.04/1800.50 v -x4510 -x4522 -x4529 -x4536 -x4515 -x4516 -x4517 -x4530 -x4537 -x4523 -x4524 -x4538 -x4531 -x4552 -x4558 -x4564 -x4570 1800.04/1800.50 v -x4576 -x4546 -x4547 -x4549 -x4550 -x4551 -x4559 -x4565 -x4571 -x4577 -x4553 -x4555 -x4556 -x4557 -x4566 -x4572 -x4578 1800.04/1800.50 v -x4561 -x4562 -x4563 -x4574 -x4580 -x4568 -x4569 -x4581 -x4575 -x4597 -x4604 -x4611 -x4618 -x4625 -x4632 -x4590 -x4591 1800.04/1800.50 v -x4592 -x4594 -x4595 -x4596 -x4605 -x4612 -x4619 -x4626 -x4633 -x4598 -x4599 -x4601 -x4602 -x4603 -x4613 -x4620 -x4627 1800.04/1800.50 v -x4634 -x4606 -x4608 -x4609 -x4610 -x4621 -x4628 -x4635 -x4615 -x4616 -x4617 -x4630 -x4637 -x4623 -x4624 -x4638 -x4631 1800.04/1800.50 v x4654 -x4661 -x4668 -x4675 -x4682 -x4689 -x4647 -x4648 -x4649 -x4651 -x4652 -x4653 -x4662 -x4669 -x4676 -x4683 -x4690 1800.04/1800.50 v -x4655 -x4656 -x4658 -x4659 -x4660 -x4670 -x4677 -x4684 -x4691 -x4663 -x4665 -x4666 -x4667 -x4678 -x4685 -x4692 -x4672 1800.04/1800.50 v -x4673 -x4674 -x4687 -x4694 -x4680 -x4681 -x4695 -x4688 -x4709 -x4715 -x4721 -x4727 -x4733 -x4703 -x4704 -x4705 -x4707 1800.04/1800.50 v -x4708 -x4716 -x4722 -x4728 -x4734 -x4710 -x4711 -x4713 -x4714 -x4723 -x4729 -x4735 -x4717 -x4719 -x4720 -x4730 x4736 1800.04/1800.50 v -x4725 -x4726 -x4738 -x4732 -x4754 -x4761 -x4768 -x4775 -x4782 -x4789 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4762 1800.04/1800.50 v -x4769 -x4776 -x4783 -x4790 -x4755 -x4756 -x4757 -x4758 -x4760 -x4770 -x4777 -x4784 -x4791 -x4763 -x4764 -x4765 -x4767 1800.04/1800.50 v -x4778 -x4785 -x4792 -x4771 -x4772 -x4774 -x4786 -x4793 -x4779 -x4781 -x4794 -x4788 -x4809 -x4815 -x4821 -x4827 -x4833 1800.04/1800.50 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4816 -x4822 -x4828 -x4834 -x4810 -x4811 -x4812 -x4813 -x4823 -x4829 -x4835 -x4817 1800.04/1800.50 v -x4818 -x4819 -x4830 -x4836 -x4824 -x4825 -x4837 -x4831 -x4854 -x4861 -x4868 -x4875 -x4882 -x4889 -x4847 -x4848 -x4849 1800.04/1800.50 v -x4850 -x4851 -x4852 -x4862 -x4869 -x4876 -x4883 -x4890 -x4855 -x4856 -x4857 -x4858 -x4859 -x4870 -x4877 -x4884 -x4891 1800.04/1800.50 v -x4863 -x4864 -x4865 -x4866 -x4878 -x4885 -x4892 -x4871 x4872 -x4873 -x4886 -x4893 -x4879 -x4880 -x4894 -x4887 -x4911 1800.04/1800.50 v -x4918 -x4925 -x4932 -x4939 -x4946 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4919 -x4926 -x4933 -x4940 -x4947 -x4912 1800.04/1800.50 v -x4914 -x4915 -x4916 -x4917 -x4927 -x4934 -x4941 -x4948 -x4921 -x4922 -x4923 -x4924 -x4936 -x4943 -x4950 -x4929 -x4930 1800.04/1800.50 v -x4931 -x4944 -x4951 -x4937 -x4938 -x4952 -x4945 -x4968 -x4975 -x4982 -x4989 -x4996 -x5003 -x4953 -x4955 -x4956 -x4957 1800.04/1800.50 v -x4958 -x4959 -x4976 -x4983 -x4990 -x4997 -x5004 -x4970 -x4971 -x4972 -x4973 -x4974 -x4985 -x4992 -x4999 -x5006 -x4978 1800.04/1800.50 v -x4979 -x4980 -x4981 -x4993 -x5000 -x5007 -x4986 -x4987 -x4988 -x5001 -x5008 -x4994 -x4995 -x5009 -x5002 -x5023 -x5029 1800.04/1800.50 v -x5035 -x5041 -x5047 -x5011 -x5012 -x5013 -x5014 -x5015 -x5031 -x5037 -x5043 -x5049 -x5025 -x5026 -x5027 -x5028 -x5038 1800.04/1800.50 v -x5044 -x5050 -x5032 -x5033 -x5034 -x5045 -x5051 -x5039 -x5040 -x5052 -x5046 -x5060 -x5075 -x5082 -x5089 -x5096 -x5103 1800.04/1800.50 v -x5053 -x5055 -x5056 -x5057 -x5058 -x5059 -x5076 -x5083 -x5090 -x5097 -x5104 -x5062 -x5063 -x5064 -x5065 -x5066 -x5085 1800.04/1800.50 v -x5092 -x5099 -x5106 -x5078 -x5079 -x5080 -x5081 -x5093 -x5100 -x5107 -x5086 -x5087 -x5088 -x5101 -x5108 -x5094 -x5095 1800.04/1800.50 v -x5109 -x5102 x5117 -x5132 -x5139 -x5146 -x5153 -x5160 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116 -x5133 -x5140 -x5147 1800.04/1800.50 v -x5154 -x5161 -x5118 -x5120 -x5121 -x5122 -x5123 -x5141 -x5148 -x5155 -x5162 -x5135 -x5136 -x5137 -x5138 -x5150 -x5157 1800.04/1800.50 v -x5164 -x5143 -x5144 -x5145 -x5158 -x5165 -x5151 -x5152 -x5166 -x5159 -x5174 -x5189 -x5196 -x5203 -x5210 -x5217 -x5167 1800.04/1800.50 v -x5168 -x5169 -x5171 -x5172 -x5173 -x5190 -x5197 -x5204 -x5211 -x5218 -x5175 -x5176 -x5178 -x5179 -x5180 -x5198 -x5205 1800.04/1800.50 v -x5212 -x5219 -x5191 -x5193 -x5194 -x5195 -x5206 -x5213 -x5220 -x5200 -x5201 -x5202 -x5215 -x5222 -x5208 -x5209 -x5223 1800.04/1800.50 v -x5216 -x5230 x5236 -x5249 -x5255 -x5261 -x5224 -x5225 -x5227 -x5228 -x5229 -x5237 -x5250 -x5256 -x5262 x5231 -x5233 -x5234 1800.04/1800.50 v -x5235 -x5251 -x5257 -x5263 -x5239 -x5240 -x5241 -x5259 -x5265 -x5253 -x5254 -x5266 -x5260 -x5274 -x5281 -x5296 -x5303 1800.04/1800.50 v -x5310 -x5317 -x5267 -x5268 -x5269 -x5270 -x5271 -x5273 -x5282 -x5297 -x5304 -x5311 -x5318 -x5275 -x5276 -x5277 -x5278 1800.04/1800.50 v -x5280 -x5298 -x5305 -x5312 -x5319 -x5283 -x5284 -x5285 -x5287 -x5306 -x5313 -x5320 -x5299 -x5300 -x5302 -x5314 -x5321 1800.04/1800.50 v -x5307 -x5309 -x5322 -x5316 -x5331 -x5338 -x5345 -x5360 -x5367 -x5374 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5339 1800.04/1800.50 v -x5346 -x5361 -x5368 -x5375 -x5332 -x5333 -x5334 -x5335 -x5337 -x5347 -x5362 -x5369 -x5376 -x5340 -x5341 -x5342 -x5344 1800.04/1800.50 v -x5363 -x5370 -x5377 -x5348 -x5349 -x5351 -x5371 -x5378 -x5364 -x5366 -x5379 -x5373 -x4 -x5 -x22 x25 -x79 -x80 x81 -x82 -x83 1800.04/1800.50 v -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x116 -x119 -x161 -x164 -x190 -x193 x210 x211 -x218 -x219 -x220 x221 -x230 -x231 1800.04/1800.50 v -x232 -x233 1800.04/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.50 c 27 475764 145106 962661 144330 14775577 143414 264 1800.04 1800.04/1800.50 c Objective: 331 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 c Total time: 1800.04 s
OK 331
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-432807-1177950061 -o ROOT/results/node2/solver-432807-1177950061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432807-1177950061/instance-432807-1177950061.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/77 26834 /proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=11856 CPUtime=0 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271043894 12140544 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 2964 334 279 324 0 2004 0 [startup+0.0477721 s] /proc/loadavg: 1.00 1.00 0.96 3/77 26834 /proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=5272 CPUtime=0.03 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 743 0 0 0 3 0 0 0 18 0 1 0 271043894 5398528 683 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134549125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 1318 683 303 324 0 388 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5272 [startup+0.101777 s] /proc/loadavg: 1.00 1.00 0.96 3/77 26834 /proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=5512 CPUtime=0.08 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 819 0 0 0 8 0 0 0 18 0 1 0 271043894 5644288 749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 1378 749 311 324 0 448 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5512 [startup+0.301798 s] /proc/loadavg: 1.00 1.00 0.96 3/77 26834 /proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=6300 CPUtime=0.29 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1008 0 0 0 28 1 0 0 19 0 1 0 271043894 6451200 938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 1575 938 311 324 0 645 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6300 [startup+0.70184 s] /proc/loadavg: 1.00 1.00 0.96 3/77 26834 /proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=7084 CPUtime=0.69 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1213 0 0 0 68 1 0 0 22 0 1 0 271043894 7254016 1143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 1771 1143 311 324 0 841 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1739184/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=8380 CPUtime=1.49 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1546 0 0 0 148 1 0 0 25 0 1 0 271043894 8581120 1476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 2095 1476 311 324 0 1165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8380 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1737456/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=11112 CPUtime=3.09 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 2214 0 0 0 307 2 0 0 25 0 1 0 271043894 11378688 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 2778 2144 311 324 0 1848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11112 [startup+6.30142 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1730864/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=17436 CPUtime=6.29 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 3786 0 0 0 626 3 0 0 25 0 1 0 271043894 17854464 3716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 4359 3716 311 324 0 3429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17436 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1719984/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=27704 CPUtime=12.69 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 6367 0 0 0 1264 5 0 0 25 0 1 0 271043894 28368896 6297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 6926 6297 311 324 0 5996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27704 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1701680/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=45156 CPUtime=25.48 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 10735 0 0 0 2541 7 0 0 25 0 1 0 271043894 46239744 10665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 11289 10665 311 324 0 10359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45156 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1669552/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=77988 CPUtime=51.08 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 18945 0 0 0 5094 14 0 0 25 0 1 0 271043894 79859712 18875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 19497 18875 311 324 0 18567 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77988 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1615216/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=131216 CPUtime=102.26 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 32256 0 0 0 10203 23 0 0 25 0 1 0 271043894 134365184 32186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 32804 32187 311 324 0 31874 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 131216 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1577072/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=169516 CPUtime=162.24 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 41822 0 0 0 16190 34 0 0 25 0 1 0 271043894 173584384 41752 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 42379 41752 311 324 0 41449 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 169516 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1574000/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=171960 CPUtime=222.23 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 22188 35 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 42990 42367 311 324 0 42060 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 171960 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1574064/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=171960 CPUtime=282.22 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 28186 36 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 42990 42367 311 324 0 42060 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 171960 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1574128/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=171960 CPUtime=342.2 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 34184 36 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 42990 42367 311 324 0 42060 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 171960 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1563888/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=183056 CPUtime=402.19 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 45290 0 0 0 40180 39 0 0 25 0 1 0 271043894 187449344 45118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 45764 45118 311 324 0 44834 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 183056 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1527920/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=218244 CPUtime=462.17 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 54112 0 0 0 46170 47 0 0 25 0 1 0 271043894 223481856 53940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 54561 53940 311 324 0 53631 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 218244 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1515248/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230664 CPUtime=522.15 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 52166 49 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57666 57031 311 324 0 56736 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 230664 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1515312/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230664 CPUtime=582.14 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 58164 50 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57666 57031 311 324 0 56736 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 230664 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26835 /proc/meminfo: memFree=1515312/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230664 CPUtime=642.13 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 64163 50 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57666 57031 311 324 0 56736 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 230664 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230664 CPUtime=882.06 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 88154 52 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57666 57031 311 324 0 56736 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 230664 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230664 CPUtime=942.05 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 94152 53 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57666 57031 311 324 0 56736 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 230664 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=230676 CPUtime=1002.03 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57328 0 0 0 100150 53 0 0 25 0 1 0 271043894 236212224 57034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10977043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57669 57034 311 324 0 56739 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 230676 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1514672/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=231600 CPUtime=1062.02 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57561 0 0 0 106148 54 0 0 25 0 1 0 271043894 237158400 57267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 57900 57267 311 324 0 56970 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 231600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510320/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1122 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 112144 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 235620 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 0.96 2/78 26837 /proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1181.99 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 118143 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 235620 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1241.97 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 124141 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 235620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1301.96 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 130139 57 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 235620 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1361.94 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 136137 57 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 235620 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1421.93 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 142135 58 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 235620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1481.91 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 148133 58 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 235620 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1541.9 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 154131 59 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 235620 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1601.88 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 160129 59 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 235620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1661.87 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 166127 60 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573394 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 235620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235620 CPUtime=1721.85 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 172125 60 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58905 58257 311 324 0 57975 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 235620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510320/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235664 CPUtime=1781.84 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58696 0 0 0 178123 61 0 0 25 0 1 0 271043894 241319936 58268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58916 58268 311 324 0 57986 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 235664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510128/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235672 CPUtime=1800.04 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58844 0 0 0 179943 61 0 0 25 0 1 0 271043894 241328128 58270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58918 58270 311 324 0 57988 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 235672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26837 /proc/meminfo: memFree=1510128/2055920 swapFree=4149008/4192956 [pid=26834] ppid=26832 vsize=235672 CPUtime=1800.04 /proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58844 0 0 0 179943 61 0 0 25 0 1 0 271043894 241328128 58270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26834/statm: 58918 58270 311 324 0 57988 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 235672 Child status: 15 Real time (s): 1800.55 CPU time (s): 1800.09 CPU user time (s): 1799.44 CPU system time (s): 0.6519 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 236256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.6519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58848 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= 13 involuntary context switches= 2779 runsolver used 1.45878 second user time and 3.69344 second system time The end
Begin job on node2 on Mon Apr 30 16:21:01 UTC 2007 IDJOB= 432807 IDBENCH= 1820 IDSOLVER= 199 FILE ID= node2/432807-1177950061 PBS_JOBID= 4727673 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432807-1177950061/instance-432807-1177950061.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-432807-1177950061 -o ROOT/results/node2/solver-432807-1177950061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432807-1177950061/instance-432807-1177950061.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8b204aeb505cc1c787aa4db3220d0b5a RANDOM SEED= 680268845 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1743504 kB Buffers: 39796 kB Cached: 177148 kB SwapCached: 12692 kB Active: 112840 kB Inactive: 127792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1743504 kB SwapTotal: 4192956 kB SwapFree: 4149008 kB Dirty: 6724 kB Writeback: 0 kB Mapped: 30588 kB Slab: 57160 kB Committed_AS: 8414620 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node2 on Mon Apr 30 16:51:04 UTC 2007