Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 11 | 1800.01 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 38.3592 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
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 | 1681 |
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 | 1681 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1681 |
Number of bits of the biggest sum of numbers | 11 |
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/372890-1177145665/instance-372890-1177145665.opb 0.00/0.00 c File size is 299220 bytes. 0.03/0.05 c Highest Coefficient sum: 1681 0.03/0.05 c Parsing was ok!! 0.03/0.05 c Total parsing time: 0.055 s 0.03/0.06 c Var: 3540 Constr: 9890 9890/0/0 Lit: 25398 Watch. Lit: 19647 0.03/0.06 c Obj. Vars: 1681 (47.4859 % of total variables) 0.09/0.11 c Pre-processing Time: 0.109 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3194 8508 22441 2 17016 2835 0 0 0.11 0.09/0.11 c Switching off LPR mode. 0.09/0.11 o 12 0.113 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 3194 8509 23990 2 18556 3835 1 0 0.12 0.09/0.12 o 11 0.12 1799.89/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.89/1800.70 c 5 3194 8515 25730 3 20107 3835 7 41 0.12 1799.89/1800.70 c 105 3194 8615 28271 3 20307 4219 107 544 0.19 1799.89/1800.70 c 355 3194 8865 34299 3 20807 4641 357 914 0.39 1799.89/1800.70 c 831 3194 9341 48151 5 21759 5106 833 1069 0.78 1799.89/1800.70 c 1645 3194 10155 83131 8 23387 5617 1647 1045 1.57 1799.89/1800.70 c 2966 3194 11476 129782 11 26029 6179 2968 1152 2.57 1799.89/1800.70 c 5047 3194 13557 226006 16 30191 6797 5049 1455 3.47 1799.89/1800.70 c 8270 3194 12714 164793 12 26967 7477 4206 1266 6.53 1799.89/1800.70 c 13206 3194 13249 246823 18 28037 8225 4741 1140 11.58 1799.89/1800.70 c 20712 3194 15986 284956 17 33511 9048 7478 1155 17.93 1799.89/1800.70 c 32073 3194 17132 273072 15 35803 9953 8624 1229 26.08 1799.89/1800.70 c 49217 3194 17395 323168 18 36329 10949 8887 1016 48.44 1799.89/1800.70 c 75037 3194 18610 408834 21 38759 12044 10102 1000 75.00 1799.89/1800.70 c 113869 3194 17104 405210 23 35747 13249 8596 986 115.38 1799.89/1800.70 c 172221 3194 17528 339380 19 36595 14574 9020 794 216.71 1799.89/1800.70 c 259853 3194 15883 411854 25 33305 16032 7375 670 387.46 1799.89/1800.70 c 391405 3194 23232 598573 25 48003 17636 14724 645 606.01 1799.89/1800.70 c 588837 3194 19358 630821 32 40255 19400 10850 609 966.00 1799.89/1800.70 c 885089 3194 21366 828860 38 44271 21341 12858 545 1621.78 1799.89/1800.70 c Resources Exceeded 1799.89/1800.70 v -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 1799.89/1800.70 v -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 1799.89/1800.70 v -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 1799.89/1800.70 v -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 1799.89/1800.70 v -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 1799.89/1800.70 v -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 1799.89/1800.70 v -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 1799.89/1800.70 v -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 1799.89/1800.70 v -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 1799.89/1800.70 v -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 1799.89/1800.70 v -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 1799.89/1800.70 v -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 1799.89/1800.70 v -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 1799.89/1800.70 v -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 1799.89/1800.70 v -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 1799.89/1800.70 v -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 1799.89/1800.70 v -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 1799.89/1800.70 v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 1799.89/1800.70 v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1799.89/1800.70 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 1799.89/1800.70 v -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 1799.89/1800.70 v -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 1799.89/1800.70 v -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 1799.89/1800.70 v -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 1799.89/1800.70 v -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 1799.89/1800.70 v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 1799.89/1800.70 v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 1799.89/1800.70 v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 1799.89/1800.70 v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 1799.89/1800.70 v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 1799.89/1800.70 v -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 x1406 -x1408 -x1410 1799.89/1800.70 v -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 1799.89/1800.70 v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 1799.89/1800.70 v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 1799.89/1800.70 v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 1799.89/1800.70 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 1799.89/1800.70 v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 1799.89/1800.70 v -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 1799.89/1800.70 v -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 1799.89/1800.70 v -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 1799.89/1800.70 v -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 1799.89/1800.70 v -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 1799.89/1800.70 v -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 1799.89/1800.70 v -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 1799.89/1800.70 v -x1851 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 1799.89/1800.70 v -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 1799.89/1800.70 v -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 1799.89/1800.70 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 1799.89/1800.70 v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 1799.89/1800.70 v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 1799.89/1800.70 v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 1799.89/1800.70 v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 1799.89/1800.70 v -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 1799.89/1800.70 v -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 1799.89/1800.70 v -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 1799.89/1800.70 v -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 1799.89/1800.70 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 x2281 -x2283 -x2285 -x2287 x2289 -x2291 1799.89/1800.70 v -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 1799.89/1800.70 v -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 1799.89/1800.70 v -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 1799.89/1800.70 v -x2395 -x2397 -x2399 -x2401 -x2403 x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 1799.89/1800.70 v -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 1799.89/1800.70 v -x2462 -x2464 -x2466 -x2467 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 1799.89/1800.70 v -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 1799.89/1800.70 v -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 1799.89/1800.70 v -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 1799.89/1800.70 v -x2596 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 1799.89/1800.70 v -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 1799.89/1800.70 v -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 1799.89/1800.70 v -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 1799.89/1800.70 v -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 1799.89/1800.70 v -x2764 -x2766 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 x2795 1799.89/1800.70 v -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 1799.89/1800.70 v -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 1799.89/1800.70 v -x2863 -x2864 -x2866 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 1799.89/1800.70 v -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 x2906 -x2908 x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 1799.89/1800.70 v -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 1799.89/1800.70 v -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 1799.89/1800.70 v -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 1799.89/1800.70 v -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 1799.89/1800.70 v -x3066 -x3068 -x3070 x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 1799.89/1800.70 v -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3112 -x3114 -x3116 -x3118 -x3120 -x3121 -x3123 -x3125 -x3127 -x3129 1799.89/1800.70 v -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 1799.89/1800.70 v -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3190 -x3192 -x3194 1799.89/1800.70 v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 1799.89/1800.70 v -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 1799.89/1800.70 v -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3286 -x3288 -x3290 -x3292 -x3294 1799.89/1800.70 v -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 1799.89/1800.70 v -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 1799.89/1800.70 v -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 1799.89/1800.70 v -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3420 -x3422 -x3424 -x3425 -x3427 1799.89/1800.70 v -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 1799.89/1800.70 v -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 1799.89/1800.70 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 x3528 1799.89/1800.70 v -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 1799.89/1800.70 v -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 1799.89/1800.70 v -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 x307 -x309 -x311 -x313 -x315 1799.89/1800.70 v -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 1799.89/1800.70 v -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 1799.89/1800.70 v -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 1799.89/1800.70 v -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x1 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1799.89/1800.70 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1799.89/1800.70 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 1799.89/1800.70 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x2 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 1799.89/1800.70 v -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 1799.89/1800.70 v -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 1799.89/1800.70 v -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x3 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 1799.89/1800.70 v -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 1799.89/1800.70 v -x773 -x4 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 1799.89/1800.70 v -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 1799.89/1800.70 v -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x5 1799.89/1800.70 v -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 1799.89/1800.70 v -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x6 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 1799.89/1800.70 v -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 1799.89/1800.70 v -x7 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x8 -x1045 1799.89/1800.70 v -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 1799.89/1800.70 v -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 1799.89/1800.70 v -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 1799.89/1800.70 v -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x9 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 1799.89/1800.70 v -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 1799.89/1800.70 v -x10 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 1799.89/1800.70 v -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x11 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 1799.89/1800.70 v -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x12 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 1799.89/1800.70 v -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 1799.89/1800.70 v -x1353 -x1355 -x13 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 x14 1799.89/1800.70 v -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 x1405 -x1407 -x1409 -x1411 -x15 -x1413 -x1415 -x1417 1799.89/1800.70 v -x1419 -x1422 -x1424 -x16 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 1799.89/1800.70 v -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 1799.89/1800.70 v -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 1799.89/1800.70 v -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x17 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 1799.89/1800.70 v -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x18 -x1586 -x1588 1799.89/1800.70 v -x1590 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 1799.89/1800.70 v -x1625 -x1627 -x1629 -x1631 -x19 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x20 -x1655 1799.89/1800.70 v -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 1799.89/1800.70 v -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x21 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 1799.89/1800.70 v -x1726 -x22 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x23 -x1752 -x1754 -x1756 1799.89/1800.70 v -x1758 -x1760 -x1762 -x24 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1799.89/1800.70 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1799.89/1800.70 v -x1826 -x1828 -x1830 -x26 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x27 -x1857 1799.89/1800.70 v -x1859 -x1861 -x1863 -x1865 -x1867 -x28 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 1799.89/1800.70 v -x29 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x30 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x31 -x1918 -x1920 -x32 -x1922 1799.89/1800.70 v -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 1799.89/1800.70 v -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 1799.89/1800.70 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x33 -x2024 1799.89/1800.70 v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 1799.89/1800.70 v -x2060 -x2062 -x2064 -x2066 -x2068 -x34 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 1799.89/1800.70 v -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x35 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 1799.89/1800.70 v -x2128 -x36 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x37 1799.89/1800.70 v -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x38 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x39 1799.89/1800.70 v -x2192 -x2194 -x2196 -x2198 -x40 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 1799.89/1800.70 v -x2226 -x2228 -x2230 -x2232 x41 -x2234 -x2236 -x2238 -x2240 x2242 -x2244 -x2246 -x42 -x2248 -x2250 -x2252 -x2254 -x2256 1799.89/1800.70 v -x43 -x2258 -x2260 -x2262 -x44 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 x45 -x2276 -x2278 x2280 -x2282 -x46 -x2284 -x2286 1799.89/1800.70 v x2288 x47 -x2290 -x48 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 1799.89/1800.70 v -x2320 -x2322 -x2324 -x2326 -x2328 -x49 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x50 -x2344 -x2346 -x2348 -x2350 1799.89/1800.70 v -x2352 -x51 -x2354 -x2356 -x2358 -x52 -x2360 -x2362 -x2364 -x2366 -x53 -x2368 -x2370 -x2372 x54 -x2374 -x55 -x2376 -x56 1799.89/1800.70 v -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x57 -x2392 -x2394 -x58 -x2396 -x2398 -x59 -x60 -x2400 -x2402 -x61 x62 1799.89/1800.70 v x63 -x2405 -x64 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 1799.89/1800.70 v -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2469 -x2471 1799.89/1800.70 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1799.89/1800.70 v -x2507 -x2509 -x2511 -x65 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1799.89/1800.70 v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x66 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 1799.89/1800.70 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2598 -x2600 -x2602 -x2604 -x2606 -x67 -x2608 1799.89/1800.70 v -x2610 -x2612 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x68 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 1799.89/1800.70 v -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x69 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 1799.89/1800.70 v -x70 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x71 -x2691 -x2693 -x2695 -x2697 -x72 -x2699 -x2701 -x2703 -x2705 -x2707 1799.89/1800.70 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 1799.89/1800.70 v -x2743 -x2745 -x2747 -x74 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x75 -x2765 -x2768 x76 -x2770 -x2772 1799.89/1800.70 v -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 1799.89/1800.70 v -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x77 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x78 -x2834 -x2836 -x2838 1799.89/1800.70 v -x2840 -x2842 -x79 -x2844 -x80 -x2846 -x81 -x2848 -x2850 -x2852 -x2854 -x2856 x82 -x2858 -x2861 -x83 -x84 -x2865 -x85 -x2868 1799.89/1800.70 v -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x86 -x2890 -x2892 -x2894 -x87 -x2896 -x2898 -x88 1799.89/1800.70 v -x89 -x2900 -x2902 -x90 -x2904 -x91 -x92 x93 -x2907 -x94 x2909 x95 -x2911 -x2913 -x2915 -x2917 -x96 -x97 -x2919 -x2921 -x98 1799.89/1800.70 v -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 1799.89/1800.70 v -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x108 -x2955 -x2957 -x2959 -x2961 -x2963 -x109 -x2965 -x2967 -x2969 -x110 -x2971 1799.89/1800.70 v -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 1799.89/1800.70 v -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 1799.89/1800.70 v -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3072 -x3074 1799.89/1800.70 v -x3076 -x3078 -x3080 -x111 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 1799.89/1800.70 v -x3108 -x3110 -x3113 -x112 -x3115 -x3117 -x3119 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x113 -x3140 1799.89/1800.70 v -x3142 -x114 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 1799.89/1800.70 v -x3174 -x3176 -x3178 -x115 -x3181 -x3183 -x116 -x3186 -x117 -x3188 -x118 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 1799.89/1800.70 v -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x119 -x3221 -x3223 -x3225 -x120 -x3227 -x3230 -x121 -x3232 -x122 1799.89/1800.70 v -x3234 -x3236 -x123 -x124 -x125 -x3238 -x126 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 1799.89/1800.70 v -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3287 -x3289 -x3291 -x3293 -x3295 1799.89/1800.70 v -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 1799.89/1800.70 v -x3331 -x3333 -x127 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 1799.89/1800.70 v -x128 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x129 -x3390 -x3392 -x130 1799.89/1800.70 v -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x131 -x3412 -x3414 -x3416 -x132 -x3419 -x3421 -x133 -x3423 1799.89/1800.70 v -x134 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3441 -x3443 -x135 -x136 -x137 -x3445 x138 -x139 -x140 -x141 -x3447 1799.89/1800.70 v -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x142 -x143 -x144 -x145 -x3469 -x146 -x147 x148 -x149 1799.89/1800.70 v -x3471 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x3473 -x158 -x159 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 1799.89/1800.70 v -x3489 -x3491 -x3493 -x3495 -x160 -x161 -x3497 -x162 -x163 -x164 x165 -x166 -x167 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 1799.89/1800.70 v -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x168 x169 -x3523 -x170 -x171 -x172 -x173 -x174 -x3525 -x175 -x176 x177 -x178 1799.89/1800.70 v -x179 -x180 x181 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x182 -x183 -x184 -x185 -x3539 -x186 -x187 -x188 -x189 x190 -x191 1799.89/1800.70 v x192 -x193 x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 x203 x204 x205 -x206 1799.89/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.89/1800.70 c 20 974891 527864 3802038 20384 703996 11876 541 1800.00 1799.89/1800.70 c Objective: 11 1799.89/1800.70 s SATISFIABLE 1799.89/1800.70 c Total time: 1800 s
OK 11
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-372890-1177145665 -o ROOT/results/node42/solver-372890-1177145665 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372890-1177145665/instance-372890-1177145665.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18952 /proc/meminfo: memFree=1749088/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=12032 CPUtime=0 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 162478409 12320768 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 3008 336 281 324 0 2003 0 [startup+0.042656 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18952 /proc/meminfo: memFree=1749088/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=5196 CPUtime=0.03 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 646 0 0 0 3 0 0 0 18 0 1 0 162478409 5320704 614 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 1299 614 333 324 0 294 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5196 [startup+0.101653 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18952 /proc/meminfo: memFree=1749088/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=6168 CPUtime=0.09 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 1017 0 0 0 9 0 0 0 18 0 1 0 162478409 6316032 911 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 1542 911 307 324 0 611 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6168 [startup+0.301691 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18952 /proc/meminfo: memFree=1749088/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=6172 CPUtime=0.29 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 1035 0 0 0 28 1 0 0 19 0 1 0 162478409 6320128 908 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 1543 908 313 324 0 612 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6172 [startup+0.701766 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18952 /proc/meminfo: memFree=1749088/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=6300 CPUtime=0.69 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 1065 0 0 0 68 1 0 0 23 0 1 0 162478409 6451200 938 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 1575 938 313 324 0 644 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6300 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1746200/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=6808 CPUtime=1.49 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 1199 0 0 0 147 2 0 0 25 0 1 0 162478409 6971392 1072 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 1702 1072 313 324 0 771 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6808 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1745368/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=8516 CPUtime=3.09 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 1623 0 0 0 306 3 0 0 25 0 1 0 162478409 8720384 1496 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 2129 1496 313 324 0 1198 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8516 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1742496/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=10292 CPUtime=6.29 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 2071 0 0 0 625 4 0 0 25 0 1 0 162478409 10539008 1944 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 2573 1944 313 324 0 1642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10292 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1741728/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=10684 CPUtime=12.69 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 2186 0 0 0 1263 6 0 0 25 0 1 0 162478409 10940416 2059 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 2671 2059 313 324 0 1740 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10684 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1740704/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=11728 CPUtime=25.48 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 2440 0 0 0 2538 10 0 0 25 0 1 0 162478409 12009472 2313 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 2932 2313 313 324 0 2001 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11728 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1740640/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=12212 CPUtime=51.07 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 2549 0 0 0 5086 21 0 0 25 0 1 0 162478409 12505088 2422 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 3053 2422 313 324 0 2122 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12212 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1736480/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=16000 CPUtime=102.26 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 3501 0 0 0 10190 36 0 0 25 0 1 0 162478409 16384000 3374 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 4000 3374 313 324 0 3069 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16000 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1734176/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=18284 CPUtime=162.23 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4077 0 0 0 16173 50 0 0 25 0 1 0 162478409 18722816 3950 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 4571 3950 313 324 0 3640 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 18284 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1734112/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=18288 CPUtime=222.21 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4077 0 0 0 22159 62 0 0 25 0 1 0 162478409 18726912 3950 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 4572 3950 313 324 0 3641 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 18288 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1733216/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=19188 CPUtime=282.19 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4301 0 0 0 28147 72 0 0 25 0 1 0 162478409 19648512 4174 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 4797 4174 313 324 0 3866 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 19188 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18953 /proc/meminfo: memFree=1731872/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=20456 CPUtime=342.17 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4625 0 0 0 34138 79 0 0 25 0 1 0 162478409 20946944 4498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5114 4498 313 324 0 4183 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20456 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 19019 /proc/meminfo: memFree=1730664/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=20460 CPUtime=402.14 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4627 0 0 0 40123 91 0 0 25 0 1 0 162478409 20951040 4500 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5115 4500 313 324 0 4184 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 20460 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1731552/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=20460 CPUtime=462.04 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4627 0 0 0 46098 106 0 0 25 0 1 0 162478409 20951040 4500 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5115 4500 313 324 0 4184 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 20460 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1731616/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=20464 CPUtime=522.03 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 4628 0 0 0 52087 116 0 0 25 0 1 0 162478409 20955136 4501 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12837016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5116 4501 313 324 0 4185 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 20464 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1729312/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=22984 CPUtime=582.01 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5252 0 0 0 58077 124 0 0 25 0 1 0 162478409 23535616 5125 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5746 5125 313 324 0 4815 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 22984 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1729248/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=22988 CPUtime=641.99 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5254 0 0 0 64064 135 0 0 25 0 1 0 162478409 23539712 5127 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 5747 5127 313 324 0 4816 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 22988 ################ # More data... # ################ /proc/meminfo: memFree=1727968/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=24392 CPUtime=1061.85 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5610 0 0 0 105977 208 0 0 25 0 1 0 162478409 24977408 5483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6098 5483 313 324 0 5167 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 24392 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727968/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=24392 CPUtime=1121.82 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5610 0 0 0 111968 214 0 0 25 0 1 0 162478409 24977408 5483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6098 5483 313 324 0 5167 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 24392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1728032/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=24392 CPUtime=1181.8 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5610 0 0 0 117960 220 0 0 25 0 1 0 162478409 24977408 5483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6098 5483 313 324 0 5167 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 24392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1728032/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=24392 CPUtime=1241.78 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5610 0 0 0 123949 229 0 0 25 0 1 0 162478409 24977408 5483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6098 5483 313 324 0 5167 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 24392 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727584/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=24900 CPUtime=1301.77 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5722 0 0 0 129941 236 0 0 25 0 1 0 162478409 25497600 5595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6225 5595 313 324 0 5294 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 24900 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727200/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25204 CPUtime=1361.74 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5806 0 0 0 135929 245 0 0 25 0 1 0 162478409 25808896 5679 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6301 5679 313 324 0 5370 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 25204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19151 /proc/meminfo: memFree=1727136/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25204 CPUtime=1421.73 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5806 0 0 0 141917 256 0 0 25 0 1 0 162478409 25808896 5679 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6301 5679 313 324 0 5370 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 25204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727072/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25200 CPUtime=1481.7 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5806 0 0 0 147903 267 0 0 25 0 1 0 162478409 25804800 5679 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6300 5679 313 324 0 5369 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 25200 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727136/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25200 CPUtime=1541.68 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5806 0 0 0 153890 278 0 0 25 0 1 0 162478409 25804800 5679 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12837016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6300 5679 313 324 0 5369 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 25200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1727264/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25196 CPUtime=1601.66 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5806 0 0 0 159879 287 0 0 25 0 1 0 162478409 25800704 5679 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6299 5679 313 324 0 5368 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 25196 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726752/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25660 CPUtime=1661.64 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5921 0 0 0 165868 296 0 0 25 0 1 0 162478409 26275840 5794 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6415 5794 313 324 0 5484 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 25660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726816/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25656 CPUtime=1721.62 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5921 0 0 0 171858 304 0 0 25 0 1 0 162478409 26271744 5794 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6414 5794 313 324 0 5483 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 25656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1781.6 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 177846 314 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12841110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 25884 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1791.2 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 178805 315 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 25884 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1794.39 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 179124 315 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 25884 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1797.59 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 179443 316 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 25884 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1799.19 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 179603 316 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 25884 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=25884 CPUtime=1799.59 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194304 5977 0 0 0 179643 316 0 0 25 0 1 0 162478409 26505216 5850 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12840444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18952/statm: 6471 5850 313 324 0 5540 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 25884 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19151 /proc/meminfo: memFree=1726560/2055920 swapFree=4146244/4192956 [pid=18952] ppid=18950 vsize=0 CPUtime=1799.99 /proc/18952/stat : 18952 (bsolo3.0.16) R 18950 18952 18113 0 -1 4194308 5978 0 0 0 179683 316 0 0 17 0 1 0 162478409 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/18952/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.01 CPU user time (s): 1796.84 CPU system time (s): 3.16952 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 25884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.84 system time used= 3.16952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5978 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 35959 runsolver used 2.10668 second user time and 4.31334 second system time The end
Begin job on node42 on Sat Apr 21 08:54:25 UTC 2007 IDJOB= 372890 IDBENCH= 25004 IDSOLVER= 163 FILE ID= node42/372890-1177145665 PBS_JOBID= 4648821 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372890-1177145665/instance-372890-1177145665.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-372890-1177145665 -o ROOT/results/node42/solver-372890-1177145665 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372890-1177145665/instance-372890-1177145665.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED= 377761582 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1749560 kB Buffers: 40168 kB Cached: 186524 kB SwapCached: 16680 kB Active: 207736 kB Inactive: 45580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749560 kB SwapTotal: 4192956 kB SwapFree: 4146244 kB Dirty: 4676 kB Writeback: 0 kB Mapped: 33020 kB Slab: 38508 kB Committed_AS: 3502460 kB PageTables: 1912 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= 66444 MiB End job on node42 on Sat Apr 21 09:24:26 UTC 2007