Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 331 | 1800.1 | 1800.05 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351811-1176614421/instance-351811-1176614421.opb 0.00/0.00 c File size is 121531 bytes. 0.00/0.02 c Highest Coefficient sum: 527620 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.025 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.00/0.06 c Pre-processing Time: 0.06 s 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 4083 916 13322 14 7885 26755 0 0 0.06 0.00/0.06 c Switching off LPR mode. 0.00/0.06 o 434 0.064 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 1 4083 918 15828 17 12177 31759 2 15 0.07 0.06/0.07 o 411 0.072 0.06/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.08 c 2 4083 920 18334 19 14392 31759 4 27 0.07 0.06/0.08 o 371 0.079 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 3 4083 922 20840 22 16648 31759 6 37 0.08 0.09/0.19 c 104 4083 1023 52344 51 16894 34935 107 670 0.15 0.09/0.19 o 369 0.19 2.39/2.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.40 c 142 4083 1062 55354 52 19800 31759 146 739 0.19 2.39/2.40 c 243 4083 1163 68438 58 20100 34935 247 855 0.28 2.39/2.40 c 493 4083 1413 74181 52 20623 38429 497 1493 0.33 2.39/2.40 c 968 4083 1888 101841 53 21656 42272 972 1890 0.51 2.39/2.40 c 1782 4083 2702 180979 66 23449 46500 1786 1567 1.14 2.39/2.40 c 3102 4083 4022 301736 75 26202 51151 3106 1314 2.36 2.39/2.40 o 331 2.403 1800.04/1800.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.00 c 3464 4083 4385 310959 70 28802 31759 3469 1439 2.41 1800.04/1800.00 c 3565 4083 4486 314895 70 29098 34935 3570 1455 2.45 1800.04/1800.00 c 3815 4083 4736 343403 72 29720 38429 3820 1441 2.65 1800.04/1800.00 c 4290 4083 5211 379637 72 31076 42272 4295 1440 2.98 1800.04/1800.00 c 5104 4083 6025 444824 73 32476 46500 5109 1526 3.34 1800.04/1800.00 c 6424 4083 7345 608752 82 35060 51151 6429 1417 4.53 1800.04/1800.00 c 8505 4083 9426 795320 84 39442 56267 8510 1427 5.96 1800.04/1800.00 c 11728 4083 12649 1176814 93 45794 61894 11733 1351 8.68 1800.04/1800.00 c 16665 4083 17586 1569314 89 55776 68084 16670 1340 12.43 1800.04/1800.00 c 24172 4083 25093 2370194 94 70720 74893 24177 1164 20.76 1800.04/1800.00 c 35533 4083 36454 3616753 99 93367 82383 35538 968 36.68 1800.04/1800.00 c 52678 4083 53599 5608249 104 127598 90622 52683 973 54.13 1800.04/1800.00 c 78498 4083 79419 8458982 106 179322 99685 78503 792 99.05 1800.04/1800.00 c 117331 4083 26999 3897503 144 64821 109654 26083 474 247.38 1800.04/1800.00 c 175684 4083 85352 10843139 127 181466 120620 84436 453 387.82 1800.04/1800.00 c 263317 4083 61305 9135850 149 133382 132683 60389 328 801.54 1800.04/1800.00 c 394869 4083 69306 7668638 110 149491 145952 68390 248 1589.68 1800.04/1800.00 c Caught signal: 15 1800.04/1800.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.04/1800.00 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.04/1800.00 v -x1100 -x1101 -x1102 -x1103 -x1284 x1285 -x1286 x1287 x1288 x1289 x1290 -x1291 -x1292 x1293 -x1294 -x1295 x1296 x1297 x1298 1800.04/1800.00 v x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1494 -x1495 -x1496 1800.04/1800.00 v x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 x1505 x1506 -x1507 -x1508 x1509 x1510 -x1511 x1512 -x1513 -x1514 -x1515 1800.04/1800.00 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.04/1800.00 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x1704 1800.04/1800.00 v x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 x1722 1800.04/1800.00 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.04/1800.00 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.00 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.00 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.04/1800.00 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.04/1800.00 v -x1130 -x1131 -x1132 -x1133 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1800.04/1800.00 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.04/1800.00 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.04/1800.00 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1734 x1735 x1736 x1737 -x1738 1800.04/1800.00 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756 1800.04/1800.00 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.04/1800.00 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.04/1800.00 v -x2151 -x2152 -x2153 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.04/1800.00 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.00 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.00 v -x953 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 1800.04/1800.00 v -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1344 -x1345 -x1346 -x1347 1800.04/1800.00 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.04/1800.00 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.04/1800.00 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 1800.04/1800.00 v -x1579 -x1580 -x1581 -x1582 -x1583 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.04/1800.00 v x1777 x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x2154 1800.04/1800.00 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.04/1800.00 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2304 -x2305 -x2306 -x2307 -x2308 1800.04/1800.00 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.04/1800.00 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1800.04/1800.00 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x1794 1800.04/1800.00 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.04/1800.00 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x2334 -x2335 -x2336 -x2337 -x2338 1800.04/1800.00 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.04/1800.00 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.04/1800.00 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.04/1800.00 v -x2690 -x2691 -x2692 -x2693 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1800.04/1800.00 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x1824 x1825 -x1826 -x1827 -x1828 -x1829 1800.04/1800.00 v -x1830 -x1831 x1832 x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1800.04/1800.00 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.04/1800.00 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.04/1800.00 v -x2392 -x2393 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.04/1800.00 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x594 x595 -x596 1800.04/1800.00 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.00 v -x620 -x621 -x622 -x623 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.04/1800.00 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x2394 1800.04/1800.00 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.04/1800.00 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2724 -x2725 -x2726 -x2727 -x2728 1800.04/1800.00 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.04/1800.00 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 -x634 1800.04/1800.00 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.00 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.00 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1800.04/1800.00 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1800.04/1800.00 v -x1192 -x1193 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.04/1800.00 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1584 -x1585 1800.04/1800.00 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.04/1800.00 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.04/1800.00 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.04/1800.00 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.04/1800.00 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.04/1800.00 v -x2211 -x2212 -x2213 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.04/1800.00 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2754 1800.04/1800.00 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.04/1800.00 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2994 -x2995 -x2996 -x2997 -x2998 1800.04/1800.00 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.04/1800.00 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1800.04/1800.00 v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.04/1800.00 v -x3140 -x3141 -x3142 -x3143 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.04/1800.00 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 1800.04/1800.00 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.00 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x1914 x1915 x1916 x1917 -x1918 x1919 x1920 -x1921 x1922 x1923 x1924 1800.04/1800.00 v x1925 x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.04/1800.00 v -x1943 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.04/1800.00 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2784 -x2785 -x2786 1800.04/1800.00 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1800.04/1800.00 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1800.04/1800.00 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 1800.04/1800.00 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.04/1800.00 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.00 v -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965 1800.04/1800.00 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.04/1800.00 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.04/1800.00 v -x2510 -x2511 -x2512 -x2513 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.04/1800.00 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1800.04/1800.00 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.04/1800.00 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x714 -x715 -x716 -x717 -x718 1800.04/1800.00 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.00 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.00 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1194 -x1195 -x1196 -x1197 1800.04/1800.00 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.04/1800.00 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.04/1800.00 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.04/1800.00 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.04/1800.00 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.04/1800.00 v -x1643 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.04/1800.00 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2214 -x2215 -x2216 1800.04/1800.00 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1800.04/1800.00 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.04/1800.00 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.04/1800.00 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1800.04/1800.00 v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 1800.04/1800.00 v -x2872 -x2873 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 1800.04/1800.00 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3144 -x3145 1800.04/1800.00 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.04/1800.00 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.04/1800.00 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.04/1800.00 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3414 x3415 x3416 x3417 x3418 x3419 x3420 x3421 x3422 x3423 x3424 x3425 1800.04/1800.00 v x3426 -x3427 -x3428 x3429 x3430 x3431 -x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.04/1800.00 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.04/1800.00 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3654 -x3655 -x3656 -x3657 1800.04/1800.00 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1800.04/1800.00 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1800.04/1800.00 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.00 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.04/1800.00 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1224 -x1225 -x1226 -x1227 -x1228 1800.04/1800.00 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.04/1800.00 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.04/1800.00 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.04/1800.00 v -x1460 -x1461 -x1462 -x1463 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.04/1800.00 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.04/1800.00 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1800.04/1800.00 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2244 -x2245 -x2246 -x2247 1800.04/1800.00 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.04/1800.00 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.04/1800.00 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.04/1800.00 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1800.04/1800.00 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.04/1800.00 v -x2903 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.04/1800.00 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3174 -x3175 -x3176 1800.04/1800.00 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1800.04/1800.00 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1800.04/1800.00 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1800.04/1800.00 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.04/1800.00 v -x3455 -x3456 x3457 -x3458 x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 1800.04/1800.00 v -x3473 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1800.04/1800.00 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3684 -x3685 -x3686 1800.04/1800.00 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.04/1800.00 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.04/1800.00 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.04/1800.00 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1800.04/1800.00 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x2034 -x2035 -x2036 1800.04/1800.00 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.04/1800.00 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1800.04/1800.00 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1800.04/1800.00 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 1800.04/1800.00 v -x2916 -x2917 x2918 -x2919 x2920 -x2921 -x2922 x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.04/1800.00 v x3474 -x3475 -x3476 -x3477 x3478 x3479 x3480 x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492 1800.04/1800.00 v x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.04/1800.00 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.04/1800.00 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 1800.04/1800.00 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.04/1800.00 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.00 v x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 1800.04/1800.00 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1800.04/1800.00 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.04/1800.00 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.04/1800.00 v -x1283 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.04/1800.00 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1674 -x1675 -x1676 1800.04/1800.00 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.04/1800.00 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.04/1800.00 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.04/1800.00 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.04/1800.00 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.04/1800.00 v -x2302 -x2303 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.04/1800.00 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2934 x2935 x2936 1800.04/1800.00 v -x2937 x2938 -x2939 x2940 -x2941 x2942 x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 -x2952 x2953 -x2954 -x2955 1800.04/1800.00 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x3084 x3085 x3086 x3087 x3088 x3089 -x3090 -x3091 x3092 -x3093 1800.04/1800.00 v -x3094 -x3095 x3096 -x3097 -x3098 x3099 -x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.04/1800.00 v -x3112 -x3113 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.04/1800.00 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3324 -x3325 1800.04/1800.00 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.04/1800.00 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510 1800.04/1800.00 v x3511 x3512 -x3513 -x3514 x3515 x3516 x3517 -x3518 -x3519 x3520 x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.04/1800.00 v -x3530 -x3531 -x3532 -x3533 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 1800.04/1800.00 v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1800.04/1800.00 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1800.04/1800.00 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3804 -x3805 -x3806 -x3807 1800.04/1800.00 v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.04/1800.00 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.04/1800.00 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.04/1800.00 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.04/1800.00 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.04/1800.00 v -x3983 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1800.04/1800.00 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.04/1800.00 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.04/1800.00 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.04/1800.00 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.04/1800.00 v -x2663 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.04/1800.00 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x3534 -x3535 -x3536 1800.04/1800.00 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.04/1800.00 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1800.04/1800.00 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.04/1800.00 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 1800.04/1800.00 v -x3935 -x3936 -x3937 -x3938 x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.04/1800.00 v -x3953 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.04/1800.00 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x1 -x2 -x3 -x6 -x7 -x8 1800.04/1800.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 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.00 v -x253 -x254 -x278 -x279 -x287 x288 -x292 -x293 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4038 x4039 -x4040 x4020 -x4021 1800.04/1800.00 v -x4022 -x4041 -x4042 -x4043 x4059 -x4060 -x4061 -x4023 -x4024 -x4025 -x4044 -x4045 -x4046 -x4062 -x4063 -x4064 -x4077 1800.04/1800.00 v -x4078 -x4079 -x4026 x4027 -x4028 -x4047 -x4048 -x4049 -x4065 -x4066 -x4067 -x4080 -x4081 -x4082 -x4092 -x4093 -x4094 1800.04/1800.00 v -x4029 -x4030 -x4031 -x4050 -x4051 -x4052 -x4068 -x4069 -x4070 -x4083 -x4084 -x4085 -x4095 -x4096 -x4097 -x4107 -x4108 1800.04/1800.00 v -x4109 -x4032 -x4033 -x4034 -x4053 -x4054 -x4055 -x4071 -x4072 -x4073 -x4086 -x4087 -x4088 -x4098 -x4099 -x4100 -x4110 1800.04/1800.00 v -x4111 -x4112 -x4116 -x4117 -x4118 -x4101 x4102 -x4103 x4035 -x4036 -x4037 -x4056 -x4057 -x4058 -x4074 -x4075 -x4076 -x4089 1800.04/1800.00 v -x4090 -x4091 -x4104 -x4105 -x4106 -x4113 -x4114 -x4115 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 1800.04/1800.00 v -x4128 -x4129 -x4130 -x4131 -x4132 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4239 -x4240 -x4241 -x4242 -x4243 1800.04/1800.00 v -x4244 -x4245 -x4282 -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4382 1800.04/1800.00 v -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 x4482 -x4483 -x4484 -x4485 1800.04/1800.00 v -x4486 -x4487 -x4488 -x4489 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1800.04/1800.00 v -x4589 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4739 -x4740 1800.04/1800.00 v -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4839 -x4840 -x4841 x4842 -x4843 1800.04/1800.00 v -x4844 -x4845 -x4846 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1800.04/1800.00 v -x4967 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5124 x5125 1800.04/1800.00 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5242 x5243 -x5244 -x5245 1800.04/1800.00 v -x5246 -x5247 -x5248 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1800.04/1800.00 v x5358 -x5359 x4133 -x4140 -x4147 -x4154 -x4161 -x4168 -x4175 x4190 -x4197 -x4204 -x4211 -x4218 -x4225 -x4232 -x4246 -x4252 1800.04/1800.00 v -x4258 -x4264 -x4270 -x4276 x4290 -x4298 -x4305 -x4312 -x4319 -x4326 -x4333 x4346 -x4353 -x4359 -x4365 -x4371 -x4377 -x4390 1800.04/1800.00 v -x4396 -x4403 -x4409 -x4415 x4421 -x4435 -x4442 -x4449 -x4457 -x4464 -x4471 x4478 x4492 -x4499 -x4506 -x4514 -x4521 -x4528 1800.04/1800.00 v -x4535 -x4548 -x4554 -x4560 -x4567 -x4573 -x4579 x4593 -x4600 -x4607 -x4614 -x4622 -x4629 -x4636 x4650 -x4657 -x4664 -x4671 1800.04/1800.00 v -x4679 -x4686 -x4693 -x4706 -x4712 -x4718 x4724 -x4731 -x4737 -x4752 -x4759 -x4766 x4773 -x4780 -x4787 -x4795 -x4808 -x4814 1800.04/1800.00 v -x4820 -x4826 -x4832 -x4838 -x4853 -x4860 -x4867 -x4874 -x4881 x4888 -x4895 -x4898 -x4913 -x4920 -x4928 -x4935 -x4942 1800.04/1800.00 v -x4949 -x4954 x4969 -x4977 -x4984 -x4991 -x4998 -x5005 x5010 -x5024 -x5030 -x5036 -x5042 -x5048 -x5054 x5061 -x5077 -x5084 1800.04/1800.00 v -x5091 -x5098 -x5105 x5112 -x5119 -x5134 -x5142 -x5149 -x5156 -x5163 -x5170 x5177 -x5192 -x5199 -x5207 -x5214 -x5221 x5226 1800.04/1800.00 v -x5232 -x5238 -x5252 -x5258 -x5264 -x5272 -x5279 -x5286 -x5301 -x5308 -x5315 -x5323 -x5329 -x5336 -x5343 -x5350 -x5365 1800.04/1800.00 v -x5372 -x5380 -x4141 -x4148 -x4155 -x4162 -x4169 -x4176 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4149 -x4156 -x4163 1800.04/1800.00 v -x4170 -x4177 -x4142 -x4143 -x4144 -x4145 -x4146 -x4157 -x4164 -x4171 -x4178 -x4150 -x4151 -x4152 -x4153 -x4165 -x4172 1800.04/1800.00 v -x4179 -x4158 -x4159 -x4160 -x4173 -x4180 -x4166 -x4167 -x4181 -x4174 -x4198 -x4205 -x4212 -x4219 -x4226 -x4233 -x4191 1800.04/1800.00 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4206 -x4213 -x4220 -x4227 -x4234 -x4199 -x4200 -x4201 -x4202 -x4203 -x4214 -x4221 1800.04/1800.00 v -x4228 -x4235 -x4207 -x4208 -x4209 -x4210 -x4222 -x4229 -x4236 -x4215 -x4216 -x4217 -x4230 -x4237 -x4223 -x4224 -x4238 1800.04/1800.00 v -x4231 -x4253 -x4259 -x4265 -x4271 -x4277 -x4247 -x4248 -x4249 -x4250 -x4251 -x4260 -x4266 -x4272 -x4278 -x4254 -x4255 1800.04/1800.00 v -x4256 -x4257 -x4267 -x4273 -x4279 -x4261 -x4262 -x4263 -x4274 -x4280 -x4268 -x4269 -x4281 -x4275 x4297 -x4304 -x4311 1800.04/1800.00 v -x4318 -x4325 -x4332 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4306 -x4313 -x4320 -x4327 -x4334 -x4299 -x4300 -x4301 1800.04/1800.00 v -x4302 -x4303 -x4314 -x4321 -x4328 -x4335 -x4307 -x4308 -x4309 -x4310 -x4322 -x4329 -x4336 -x4315 -x4316 -x4317 -x4330 1800.04/1800.00 v -x4337 -x4323 -x4324 -x4338 -x4331 -x4352 -x4358 -x4364 -x4370 -x4376 -x4347 -x4348 -x4349 -x4350 -x4351 -x4360 -x4366 1800.04/1800.00 v -x4372 -x4378 -x4354 -x4355 -x4356 -x4357 -x4367 -x4373 -x4379 -x4361 -x4362 -x4363 -x4374 -x4380 -x4368 -x4369 -x4381 1800.04/1800.00 v -x4375 -x4395 -x4401 -x4407 -x4413 -x4419 -x4389 -x4391 -x4392 -x4393 -x4394 -x4402 -x4408 -x4414 -x4420 -x4397 -x4398 1800.04/1800.00 v -x4399 -x4400 -x4410 -x4416 -x4422 -x4404 -x4405 -x4406 -x4417 -x4423 -x4411 -x4412 -x4424 -x4418 -x4440 -x4447 -x4454 1800.04/1800.00 v -x4461 -x4468 -x4475 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4448 -x4455 -x4462 -x4469 -x4476 -x4441 -x4443 -x4444 1800.04/1800.00 v -x4445 -x4446 -x4456 -x4463 -x4470 -x4477 -x4450 -x4451 -x4452 -x4453 -x4465 -x4472 -x4479 -x4458 -x4459 -x4460 -x4473 1800.04/1800.00 v -x4480 -x4466 -x4467 -x4481 -x4474 -x4497 -x4504 -x4511 -x4518 -x4525 -x4532 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 1800.04/1800.00 v -x4505 -x4512 -x4519 -x4526 -x4533 -x4498 -x4500 -x4501 -x4502 -x4503 -x4513 -x4520 -x4527 -x4534 -x4507 -x4508 -x4509 1800.04/1800.00 v -x4510 -x4522 -x4529 -x4536 -x4515 -x4516 -x4517 -x4530 -x4537 -x4523 -x4524 -x4538 -x4531 -x4552 -x4558 -x4564 -x4570 1800.04/1800.00 v -x4576 -x4546 -x4547 -x4549 -x4550 -x4551 -x4559 -x4565 -x4571 -x4577 -x4553 -x4555 -x4556 -x4557 -x4566 -x4572 -x4578 1800.04/1800.00 v -x4561 -x4562 -x4563 -x4574 -x4580 -x4568 -x4569 -x4581 -x4575 -x4597 -x4604 -x4611 -x4618 -x4625 -x4632 -x4590 -x4591 1800.04/1800.00 v -x4592 -x4594 -x4595 -x4596 -x4605 -x4612 -x4619 -x4626 -x4633 -x4598 -x4599 -x4601 -x4602 -x4603 -x4613 -x4620 -x4627 1800.04/1800.00 v -x4634 -x4606 -x4608 -x4609 -x4610 -x4621 -x4628 -x4635 -x4615 -x4616 -x4617 -x4630 -x4637 -x4623 -x4624 -x4638 -x4631 1800.04/1800.00 v x4654 -x4661 -x4668 -x4675 -x4682 -x4689 -x4647 -x4648 -x4649 -x4651 -x4652 -x4653 -x4662 -x4669 -x4676 -x4683 -x4690 1800.04/1800.00 v -x4655 -x4656 -x4658 -x4659 -x4660 -x4670 -x4677 -x4684 -x4691 -x4663 -x4665 -x4666 -x4667 -x4678 -x4685 -x4692 -x4672 1800.04/1800.00 v -x4673 -x4674 -x4687 -x4694 -x4680 -x4681 -x4695 -x4688 -x4709 -x4715 -x4721 -x4727 -x4733 -x4703 -x4704 -x4705 -x4707 1800.04/1800.00 v -x4708 -x4716 -x4722 -x4728 -x4734 -x4710 -x4711 -x4713 -x4714 -x4723 -x4729 -x4735 -x4717 -x4719 -x4720 -x4730 x4736 1800.04/1800.00 v -x4725 -x4726 -x4738 -x4732 -x4754 -x4761 -x4768 -x4775 -x4782 -x4789 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4762 1800.04/1800.00 v -x4769 -x4776 -x4783 -x4790 -x4755 -x4756 -x4757 -x4758 -x4760 -x4770 -x4777 -x4784 -x4791 -x4763 -x4764 -x4765 -x4767 1800.04/1800.00 v -x4778 -x4785 -x4792 -x4771 -x4772 -x4774 -x4786 -x4793 -x4779 -x4781 -x4794 -x4788 -x4809 -x4815 -x4821 -x4827 -x4833 1800.04/1800.00 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4816 -x4822 -x4828 -x4834 -x4810 -x4811 -x4812 -x4813 -x4823 -x4829 -x4835 -x4817 1800.04/1800.00 v -x4818 -x4819 -x4830 -x4836 -x4824 -x4825 -x4837 -x4831 -x4854 -x4861 -x4868 -x4875 -x4882 -x4889 -x4847 -x4848 -x4849 1800.04/1800.00 v -x4850 -x4851 -x4852 -x4862 -x4869 -x4876 -x4883 -x4890 -x4855 -x4856 -x4857 -x4858 -x4859 -x4870 -x4877 -x4884 -x4891 1800.04/1800.00 v -x4863 -x4864 -x4865 -x4866 -x4878 -x4885 -x4892 -x4871 x4872 -x4873 -x4886 -x4893 -x4879 -x4880 -x4894 -x4887 -x4911 1800.04/1800.00 v -x4918 -x4925 -x4932 -x4939 -x4946 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4919 -x4926 -x4933 -x4940 -x4947 -x4912 1800.04/1800.00 v -x4914 -x4915 -x4916 -x4917 -x4927 -x4934 -x4941 -x4948 -x4921 -x4922 -x4923 -x4924 -x4936 -x4943 -x4950 -x4929 -x4930 1800.04/1800.00 v -x4931 -x4944 -x4951 -x4937 -x4938 -x4952 -x4945 -x4968 -x4975 -x4982 -x4989 -x4996 -x5003 -x4953 -x4955 -x4956 -x4957 1800.04/1800.00 v -x4958 -x4959 -x4976 -x4983 -x4990 -x4997 -x5004 -x4970 -x4971 -x4972 -x4973 -x4974 -x4985 -x4992 -x4999 -x5006 -x4978 1800.04/1800.00 v -x4979 -x4980 -x4981 -x4993 -x5000 -x5007 -x4986 -x4987 -x4988 -x5001 -x5008 -x4994 -x4995 -x5009 -x5002 -x5023 -x5029 1800.04/1800.00 v -x5035 -x5041 -x5047 -x5011 -x5012 -x5013 -x5014 -x5015 -x5031 -x5037 -x5043 -x5049 -x5025 -x5026 -x5027 -x5028 -x5038 1800.04/1800.00 v -x5044 -x5050 -x5032 -x5033 -x5034 -x5045 -x5051 -x5039 -x5040 -x5052 -x5046 -x5060 -x5075 -x5082 -x5089 -x5096 -x5103 1800.04/1800.00 v -x5053 -x5055 -x5056 -x5057 -x5058 -x5059 -x5076 -x5083 -x5090 -x5097 -x5104 -x5062 -x5063 -x5064 -x5065 -x5066 -x5085 1800.04/1800.00 v -x5092 -x5099 -x5106 -x5078 -x5079 -x5080 -x5081 -x5093 -x5100 -x5107 -x5086 -x5087 -x5088 -x5101 -x5108 -x5094 -x5095 1800.04/1800.00 v -x5109 -x5102 x5117 -x5132 -x5139 -x5146 -x5153 -x5160 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116 -x5133 -x5140 -x5147 1800.04/1800.00 v -x5154 -x5161 -x5118 -x5120 -x5121 -x5122 -x5123 -x5141 -x5148 -x5155 -x5162 -x5135 -x5136 -x5137 -x5138 -x5150 -x5157 1800.04/1800.00 v -x5164 -x5143 -x5144 -x5145 -x5158 -x5165 -x5151 -x5152 -x5166 -x5159 -x5174 -x5189 -x5196 -x5203 -x5210 -x5217 -x5167 1800.04/1800.00 v -x5168 -x5169 -x5171 -x5172 -x5173 -x5190 -x5197 -x5204 -x5211 -x5218 -x5175 -x5176 -x5178 -x5179 -x5180 -x5198 -x5205 1800.04/1800.00 v -x5212 -x5219 -x5191 -x5193 -x5194 -x5195 -x5206 -x5213 -x5220 -x5200 -x5201 -x5202 -x5215 -x5222 -x5208 -x5209 -x5223 1800.04/1800.00 v -x5216 -x5230 x5236 -x5249 -x5255 -x5261 -x5224 -x5225 -x5227 -x5228 -x5229 -x5237 -x5250 -x5256 -x5262 x5231 -x5233 -x5234 1800.04/1800.00 v -x5235 -x5251 -x5257 -x5263 -x5239 -x5240 -x5241 -x5259 -x5265 -x5253 -x5254 -x5266 -x5260 -x5274 -x5281 -x5296 -x5303 1800.04/1800.00 v -x5310 -x5317 -x5267 -x5268 -x5269 -x5270 -x5271 -x5273 -x5282 -x5297 -x5304 -x5311 -x5318 -x5275 -x5276 -x5277 -x5278 1800.04/1800.00 v -x5280 -x5298 -x5305 -x5312 -x5319 -x5283 -x5284 -x5285 -x5287 -x5306 -x5313 -x5320 -x5299 -x5300 -x5302 -x5314 -x5321 1800.04/1800.00 v -x5307 -x5309 -x5322 -x5316 -x5331 -x5338 -x5345 -x5360 -x5367 -x5374 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5339 1800.04/1800.00 v -x5346 -x5361 -x5368 -x5375 -x5332 -x5333 -x5334 -x5335 -x5337 -x5347 -x5362 -x5369 -x5376 -x5340 -x5341 -x5342 -x5344 1800.04/1800.00 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.00 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.00 v -x232 -x233 1800.04/1800.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.00 c 27 475764 145106 962661 148004 15186043 147088 264 1800.06 1800.04/1800.00 c Objective: 331 1800.04/1800.00 s SATISFIABLE 1800.04/1800.00 c Total time: 1800.06 s
OK 331
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-351811-1176614421 -o ROOT/results/node16/solver-351811-1176614421 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.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.01 1.03 1.00 3/77 14241 /proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=11856 CPUtime=0 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 109359712 12140544 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7531341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 2964 335 281 324 0 2003 0 [startup+0.075678 s] /proc/loadavg: 1.01 1.03 1.00 3/77 14241 /proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=5380 CPUtime=0.06 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 800 0 0 0 6 0 0 0 18 0 1 0 109359712 5509120 728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 1345 728 312 324 0 414 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5380 [startup+0.102671 s] /proc/loadavg: 1.01 1.03 1.00 3/77 14241 /proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=5512 CPUtime=0.09 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 822 0 0 0 9 0 0 0 18 0 1 0 109359712 5644288 750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 1378 750 312 324 0 447 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5512 [startup+0.302629 s] /proc/loadavg: 1.01 1.03 1.00 3/77 14241 /proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=6300 CPUtime=0.29 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1003 0 0 0 28 1 0 0 19 0 1 0 109359712 6451200 931 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 1575 931 313 324 0 644 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6300 [startup+0.701548 s] /proc/loadavg: 1.01 1.03 1.00 3/77 14241 /proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=7084 CPUtime=0.69 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1198 0 0 0 67 2 0 0 23 0 1 0 109359712 7254016 1126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 1771 1126 313 324 0 840 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.50138 s] /proc/loadavg: 1.01 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1698584/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=8380 CPUtime=1.49 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1530 0 0 0 147 2 0 0 25 0 1 0 109359712 8581120 1458 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 2095 1458 313 324 0 1164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8380 [startup+3.10105 s] /proc/loadavg: 1.01 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1696600/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=10980 CPUtime=3.09 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 2181 0 0 0 306 3 0 0 25 0 1 0 109359712 11243520 2109 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 2745 2109 313 324 0 1814 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10980 [startup+6.30139 s] /proc/loadavg: 1.01 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1690328/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=17180 CPUtime=6.29 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 3752 0 0 0 624 5 0 0 25 0 1 0 109359712 17592320 3680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 4295 3680 313 324 0 3364 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17180 [startup+12.7011 s] /proc/loadavg: 1.00 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1679512/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=27576 CPUtime=12.69 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 6349 0 0 0 1261 8 0 0 25 0 1 0 109359712 28237824 6277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 6894 6277 313 324 0 5963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27576 [startup+25.5014 s] /proc/loadavg: 1.00 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1661208/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=45028 CPUtime=25.49 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 10702 0 0 0 2536 13 0 0 25 0 1 0 109359712 46108672 10630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 11257 10630 313 324 0 10326 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45028 [startup+51.1011 s] /proc/loadavg: 1.07 1.04 1.00 2/78 14242 /proc/meminfo: memFree=1629528/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=77728 CPUtime=51.09 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 18859 0 0 0 5086 23 0 0 25 0 1 0 109359712 79593472 18787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 19432 18787 313 324 0 18501 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 77728 [startup+102.306 s] /proc/loadavg: 1.08 1.05 1.00 2/78 14242 /proc/meminfo: memFree=1575960/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=130048 CPUtime=102.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 31962 0 0 0 10192 38 0 0 25 0 1 0 109359712 133169152 31890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 32512 31890 313 324 0 31581 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 130048 [startup+162.301 s] /proc/loadavg: 1.03 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1537048/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=168868 CPUtime=162.29 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 41670 0 0 0 16177 52 0 0 25 0 1 0 109359712 172920832 41598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 42217 41598 313 324 0 41286 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 168868 [startup+222.303 s] /proc/loadavg: 1.01 1.03 1.00 2/78 14242 /proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=171960 CPUtime=222.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 22174 56 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 42990 42369 313 324 0 42059 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 171960 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14242 /proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=171960 CPUtime=282.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 28167 63 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 42990 42369 313 324 0 42059 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 171960 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14242 /proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=171960 CPUtime=342.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 34162 68 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 42990 42369 313 324 0 42059 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 171960 [startup+402.303 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14242 /proc/meminfo: memFree=1525976/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=180708 CPUtime=402.31 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 44707 0 0 0 40154 77 0 0 25 0 1 0 109359712 185044992 44533 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 45177 44533 313 324 0 44246 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 180708 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14242 /proc/meminfo: memFree=1488792/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=217064 CPUtime=462.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 53798 0 0 0 46141 89 0 0 25 0 1 0 109359712 222273536 53624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 54266 53624 313 324 0 53335 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 217064 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14242 /proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=522.3 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 52136 94 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 230664 [startup+582.302 s] /proc/loadavg: 1.08 1.02 1.01 2/78 14242 /proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=582.31 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 58133 98 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 230664 [startup+642.301 s] /proc/loadavg: 1.03 1.01 1.00 2/78 14242 /proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=642.32 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 64130 102 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 230664 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14242 /proc/meminfo: memFree=1474584/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=822.31 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 82119 112 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 230664 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=882.32 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 88113 119 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 230664 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230664 CPUtime=942.31 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 94108 123 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57666 57033 313 324 0 56735 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 230664 [startup+1002.3 s] /proc/loadavg: 1.08 1.03 1.01 2/78 14244 /proc/meminfo: memFree=1474584/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230676 CPUtime=1002.32 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57332 0 0 0 100106 126 0 0 25 0 1 0 109359712 236212224 57036 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57669 57036 313 324 0 56738 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 230676 [startup+1062.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 14244 /proc/meminfo: memFree=1474520/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=230952 CPUtime=1062.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57391 0 0 0 106105 128 0 0 25 0 1 0 109359712 236494848 57095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 57738 57095 313 324 0 56807 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 230952 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1122.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 112102 131 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 235620 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1182.32 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 118101 131 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 235620 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1242.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 124099 134 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7636897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 235620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1302.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 130094 139 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 235620 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1362.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 136090 143 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 235620 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1422.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 142087 146 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 235620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1482.34 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 148085 149 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 235620 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 14244 /proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1542.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 154082 151 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 235620 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 14244 /proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1602.33 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 160075 158 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 235620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1662.34 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 166067 167 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 235620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235620 CPUtime=1722.34 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 172061 173 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7646882 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58905 58259 313 324 0 57974 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 235620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469336/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235660 CPUtime=1782.34 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58699 0 0 0 178056 178 0 0 25 0 1 0 109359712 241315840 58269 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58915 58269 313 324 0 57984 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 235660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14244 /proc/meminfo: memFree=1469080/2055920 swapFree=4158176/4192956 [pid=14241] ppid=14239 vsize=235672 CPUtime=1800.04 /proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58848 0 0 0 179825 179 0 0 25 0 1 0 109359712 241328128 58272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14241/statm: 58918 58272 313 324 0 57987 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 Child status: 15 Real time (s): 1800.05 CPU time (s): 1800.1 CPU user time (s): 1798.26 CPU system time (s): 1.83672 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 236256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.26 system time used= 1.83672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58849 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= 36181 runsolver used 1.9717 second user time and 4.5833 second system time The end
Begin job on node16 on Sun Apr 15 05:20:21 UTC 2007 IDJOB= 351811 IDBENCH= 1820 IDSOLVER= 163 FILE ID= node16/351811-1176614421 PBS_JOBID= 4556832 Free space on /tmp= 66516 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-351811-1176614421 -o ROOT/results/node16/solver-351811-1176614421 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8b204aeb505cc1c787aa4db3220d0b5a RANDOM SEED= 91030621 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1702904 kB Buffers: 42688 kB Cached: 227476 kB SwapCached: 2720 kB Active: 113076 kB Inactive: 182388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1702904 kB SwapTotal: 4192956 kB SwapFree: 4158176 kB Dirty: 4508 kB Writeback: 0 kB Mapped: 31212 kB Slab: 43124 kB Committed_AS: 3116376 kB PageTables: 1836 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= 66516 MiB End job on node16 on Sun Apr 15 05:50:23 UTC 2007