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