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