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