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