Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 28 | 1798.01 | 1798.45 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 55.3626 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 63 |
Number of terms in the objective function | 2273 |
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 | 2273 |
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 | 2273 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1876890-1245181871.opb 0.00/0.00 c File size is 374479 bytes. 0.00/0.05 c Highest Coefficient sum: 2273 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.054 s 0.05/0.06 c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222 0.05/0.06 c Obj. Vars: 2273 (48.7141 % of total variables) 0.09/0.14 c Pre-processing Time: 0.142 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 4336 11917 29130 2 23834 3972 0 0 0.14 0.09/0.14 c Switching off lower bounding mode. 0.09/0.15 o 30 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 4336 11918 31239 2 25915 4972 1 0 0.15 0.19/0.24 o 29 1620.29/1620.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1620.29/1620.71 c 56 4336 11979 36024 3 28117 4972 62 226 0.25 1620.29/1620.71 c 157 4336 12123 38920 3 28405 5470 206 385 0.41 1620.29/1620.71 c 408 4336 12448 47759 3 29055 6018 531 459 0.89 1620.29/1620.71 c 884 4336 13014 68343 5 30187 6620 1097 439 2.01 1620.29/1620.71 c 1697 4336 13874 106660 7 31907 7283 1957 414 4.10 1620.29/1620.71 c 3017 4336 15256 169067 11 34671 8012 3339 402 7.49 1620.29/1620.71 c 5098 4336 17394 281235 16 41016 8814 5477 384 13.26 1620.29/1620.71 c 8321 4336 20793 529932 25 49879 9696 8876 370 22.47 1620.29/1620.71 c 13258 4336 19284 634814 32 44775 10666 7367 345 38.40 1620.29/1620.71 c 20764 4336 20123 722107 35 44403 11733 8206 343 60.43 1620.29/1620.71 c 32125 4336 17785 400354 22 41800 12907 5868 357 89.91 1620.29/1620.71 c 49271 4336 18913 333749 17 39906 14198 6996 367 133.91 1620.29/1620.71 c 75091 4336 19288 1015428 52 40656 15618 7371 351 213.46 1620.29/1620.71 c 113923 4336 21823 967484 44 47804 17180 9906 323 351.86 1620.29/1620.71 c 172276 4336 20642 504808 24 43364 18899 8725 305 563.03 1620.29/1620.71 c 259910 4336 24753 753179 30 55739 20789 12836 298 871.67 1620.29/1620.71 c 391463 4336 30310 3219465 106 79159 22868 18393 286 1364.64 1620.29/1620.71 o 28 1797.96/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.44 c 451290 4336 27847 1063545 38 61928 4972 15930 278 1620.32 1797.96/1798.44 c 451391 4336 14508 251075 17 31097 5470 2591 278 1621.16 1797.96/1798.44 c 451641 4336 14832 259454 17 31745 6018 2915 278 1621.73 1797.96/1798.44 c 452116 4336 15433 281640 18 32947 6620 3516 278 1622.89 1797.96/1798.44 c 452929 4336 16301 328863 20 34683 7283 4384 278 1625.22 1797.96/1798.44 c 454249 4336 17670 380573 21 37421 8012 5753 278 1628.73 1797.96/1798.44 c 456330 4336 19807 486423 24 41695 8814 7890 279 1634.43 1797.96/1798.44 c 459553 4336 17208 301300 17 38574 9696 5291 279 1643.63 1797.96/1798.44 c 464489 4336 16766 417468 24 35613 10666 4849 279 1659.17 1797.96/1798.44 c 471995 4336 18395 500997 27 40940 11733 6478 280 1682.79 1797.96/1798.44 c 483357 4336 23079 674789 29 52392 12907 11162 281 1718.02 1797.96/1798.44 c 500501 4336 24557 811797 33 51195 14198 12640 282 1773.92 1797.96/1798.44 c Resources Exceeded 1797.96/1798.44 v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2815 x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 x4148 -x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4178 x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 x4472 -x4474 -x4476 -x4478 -x4480 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 x4574 -x4576 -x4578 x4579 -x4581 -x4583 -x4584 x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 x4606 -x4608 x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 x4660 x4662 -x4664 x4665 -x4666 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 x144 x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 x4147 -x4149 -x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 x4166 x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 -x4463 -x4465 -x4467 -x4469 x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 x4503 x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 x4573 -x4575 -x4577 x175 -x4580 -x4582 x4585 -x4587 -x4589 -x4591 -x4593 x176 -x4595 -x4597 -x4599 -x4601 -x4603 x4605 -x4607 x177 x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 x182 -x4639 -x4642 x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 x185 x4661 -x4663 x186 -x187 1797.96/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.44 c 30 507638 326861 2126054 23486 924486 11569 282 1798.00 1797.96/1798.44 c Objective: 28 1797.96/1798.44 s SATISFIABLE 1797.96/1798.44 c Total time: 1798 s
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876890-1245181871/watcher-1876890-1245181871 -o /tmp/evaluation-result-1876890-1245181871/solver-1876890-1245181871 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876890-1245181871.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.98 3/67 9955 /proc/meminfo: memFree=1298392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=11108 CPUtime=0 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 273 0 0 0 0 0 0 0 18 0 1 0 174676414 11374592 257 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 2777 257 175 640 0 2041 0 [startup+0.0567341 s] /proc/loadavg: 1.00 1.00 0.98 3/67 9955 /proc/meminfo: memFree=1298392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=12248 CPUtime=0.05 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 727 0 0 0 5 0 0 0 18 0 1 0 174676414 12541952 619 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3062 619 183 640 0 2418 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12248 [startup+0.101739 s] /proc/loadavg: 1.00 1.00 0.98 3/67 9955 /proc/meminfo: memFree=1298392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=13208 CPUtime=0.09 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 978 0 0 0 9 0 0 0 18 0 1 0 174676414 13524992 870 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3302 870 189 640 0 2658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13208 [startup+0.301755 s] /proc/loadavg: 1.00 1.00 0.98 3/67 9955 /proc/meminfo: memFree=1298392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=13556 CPUtime=0.29 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 1150 0 0 0 28 1 0 0 19 0 1 0 174676414 13881344 969 1992294400 134512640 137136520 4294956256 18446744073709551615 134554307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3389 969 198 640 0 2745 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13556 [startup+0.701788 s] /proc/loadavg: 1.00 1.00 0.98 3/67 9955 /proc/meminfo: memFree=1298392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=13632 CPUtime=0.69 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 1170 0 0 0 68 1 0 0 22 0 1 0 174676414 13959168 989 1992294400 134512640 137136520 4294956256 18446744073709551615 134600393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3408 989 198 640 0 2764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13632 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1295120/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=13920 CPUtime=1.49 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 1591 0 0 0 147 2 0 0 25 0 1 0 174676414 14254080 1047 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3480 1047 198 640 0 2836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13920 [startup+3.102 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1294672/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=14268 CPUtime=3.09 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 3046 0 0 0 305 4 0 0 25 0 1 0 174676414 14610432 1160 1992294400 134512640 137136520 4294956256 18446744073709551615 136502155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3567 1160 198 640 0 2923 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14268 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1293584/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=15144 CPUtime=6.29 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 6032 0 0 0 623 6 0 0 25 0 1 0 174676414 15507456 1379 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 3786 1379 198 640 0 3142 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15144 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1291480/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=17064 CPUtime=12.69 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 11484 0 0 0 1257 12 0 0 25 0 1 0 174676414 17473536 1859 1992294400 134512640 137136520 4294956256 18446744073709551615 136295593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 4266 1859 198 640 0 3622 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17064 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1286744/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=21744 CPUtime=25.49 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 18881 0 0 0 2529 20 0 0 25 0 1 0 174676414 22265856 3029 1992294400 134512640 137136520 4294956256 18446744073709551615 134574745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 5436 3029 198 640 0 4792 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21744 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1281368/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=27348 CPUtime=51.08 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 27867 0 0 0 5076 32 0 0 25 0 1 0 174676414 28004352 4430 1992294400 134512640 137136520 4294956256 18446744073709551615 134600678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 6837 4430 198 640 0 6193 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27348 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1279832/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=28680 CPUtime=102.26 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 30730 0 0 0 10181 45 0 0 25 0 1 0 174676414 29368320 4763 1992294400 134512640 137136520 4294956256 18446744073709551615 136294917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 7170 4763 198 640 0 6526 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28680 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1279832/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=28680 CPUtime=162.25 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 30733 0 0 0 16170 55 0 0 25 0 1 0 174676414 29368320 4763 1992294400 134512640 137136520 4294956256 18446744073709551615 134543852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 7170 4763 198 640 0 6526 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28680 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266584/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41864 CPUtime=222.23 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52585 0 0 0 22139 84 0 0 25 0 1 0 174676414 42868736 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 136294896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10466 8059 198 640 0 9822 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41864 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266584/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41868 CPUtime=282.22 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52586 0 0 0 28129 93 0 0 25 0 1 0 174676414 42872832 8060 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10467 8060 198 640 0 9823 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 41868 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266520/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41860 CPUtime=342.21 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52586 0 0 0 34123 98 0 0 25 0 1 0 174676414 42864640 8058 1992294400 134512640 137136520 4294956256 18446744073709551615 134616992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10465 8058 198 640 0 9821 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 41860 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266520/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41864 CPUtime=402.19 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52588 0 0 0 40114 105 0 0 25 0 1 0 174676414 42868736 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 136502745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10466 8059 198 640 0 9822 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 41864 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266520/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41860 CPUtime=462.18 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52588 0 0 0 46105 113 0 0 25 0 1 0 174676414 42864640 8058 1992294400 134512640 137136520 4294956256 18446744073709551615 134571170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10465 8058 198 640 0 9821 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 41860 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266520/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41860 CPUtime=522.16 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52588 0 0 0 52096 120 0 0 25 0 1 0 174676414 42864640 8058 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10465 8058 198 640 0 9821 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 41860 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9956 /proc/meminfo: memFree=1266456/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41856 CPUtime=582.15 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52588 0 0 0 58087 128 0 0 25 0 1 0 174676414 42860544 8057 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10464 8057 198 640 0 9820 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 41856 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9962 /proc/meminfo: memFree=1266392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41860 CPUtime=642.13 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52589 0 0 0 64076 137 0 0 25 0 1 0 174676414 42864640 8058 1992294400 134512640 137136520 4294956256 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10465 8058 198 640 0 9821 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 41860 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1266456/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41864 CPUtime=1122.02 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52591 0 0 0 112004 198 0 0 25 0 1 0 174676414 42868736 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 134574435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10466 8059 198 640 0 9822 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 41864 [startup+1182.3 s] /proc/loadavg: 1.01 1.03 1.00 2/68 9962 /proc/meminfo: memFree=1266456/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41864 CPUtime=1182.01 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52591 0 0 0 117997 204 0 0 25 0 1 0 174676414 42868736 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 134616635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10466 8059 198 640 0 9822 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 41864 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/68 9962 /proc/meminfo: memFree=1266392/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=41864 CPUtime=1241.99 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 52591 0 0 0 123989 210 0 0 25 0 1 0 174676414 42868736 8059 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 10466 8059 198 640 0 9822 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 41864 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/68 9962 /proc/meminfo: memFree=1263576/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=44676 CPUtime=1301.98 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 56755 0 0 0 129978 220 0 0 25 0 1 0 174676414 45748224 8762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 11169 8762 198 640 0 10525 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 44676 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/68 9962 /proc/meminfo: memFree=1251480/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=56772 CPUtime=1361.96 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 71947 0 0 0 135956 240 0 0 25 0 1 0 174676414 58134528 11786 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 14193 11786 198 640 0 13549 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 56772 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1237784/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=70488 CPUtime=1421.95 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 91093 0 0 0 141934 261 0 0 25 0 1 0 174676414 72179712 15211 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 17622 15211 198 640 0 16978 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 70488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233688/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74500 CPUtime=1481.93 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 147919 274 0 0 25 0 1 0 174676414 76288000 16218 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18625 16218 198 640 0 17981 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 74500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233688/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74484 CPUtime=1541.91 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 153907 284 0 0 25 0 1 0 174676414 76271616 16214 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18621 16214 198 640 0 17977 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 74484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233688/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74480 CPUtime=1601.9 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 159898 292 0 0 25 0 1 0 174676414 76267520 16213 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18620 16213 198 640 0 17976 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 74480 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1661.88 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 165887 301 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 136499605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 74092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1721.87 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 171876 311 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 74092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1781.85 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 177866 319 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 74092 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1791.46 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 178826 320 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 74092 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1794.66 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179145 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 136294906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 74092 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1796.25 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179304 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 74092 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1797.05 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179384 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 134616576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 74092 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1797.45 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179424 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 134600393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 74092 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1797.85 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179464 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 74092 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/68 9962 /proc/meminfo: memFree=1233880/2055920 swapFree=4192956/4192956 [pid=9955] ppid=9953 vsize=74092 CPUtime=1797.96 /proc/9955/stat : 9955 (bsolo) R 9953 9955 9730 0 -1 4194304 99046 0 0 0 179475 321 0 0 25 0 1 0 174676414 75870208 16116 1992294400 134512640 137136520 4294956256 18446744073709551615 136501957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9955/statm: 18523 16116 198 640 0 17879 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 74092 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798.01 CPU user time (s): 1794.79 CPU system time (s): 3.22551 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 74500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.79 system time used= 3.22551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99048 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= 10 involuntary context switches= 3074 runsolver used 1.53577 second user time and 5.01424 second system time The end
Begin job on node68 at 2009-06-16 21:51:11 IDJOB=1876890 IDBENCH=24982 IDSOLVER=699 FILE ID=node68/1876890-1245181871 PBS_JOBID= 9368272 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876890-1245181871/watcher-1876890-1245181871 -o /tmp/evaluation-result-1876890-1245181871/solver-1876890-1245181871 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876890-1245181871.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=193568356 node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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: 1298872 kB Buffers: 71444 kB Cached: 589108 kB SwapCached: 0 kB Active: 340536 kB Inactive: 336460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1298872 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4304 kB Writeback: 0 kB Mapped: 26496 kB Slab: 65696 kB Committed_AS: 84132 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876890-1245181871.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 22:21:10