Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 28 | 1798.01 | 1798.56 |
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 | 2.94955 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656331-1276632248.opb 0.00/0.00 c File size is 374479 bytes. 0.00/0.06 c Highest Coefficient sum: 2273 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.061 s 0.00/0.06 c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222 0.00/0.06 c Obj. Vars: 2273 (48.7141 % of total variables) 0.09/0.15 c Pre-processing Time: 0.151 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 4336 11917 29130 2 23834 3972 0 0 0.15 0.09/0.15 c Switching off lower bounding mode. 0.09/0.15 o 30 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 4336 11918 31239 2 25915 4972 1 0 0.16 0.19/0.27 o 29 112.06/112.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.06/112.18 c 56 4336 11979 36024 3 28117 4972 62 205 0.27 112.06/112.18 c 157 4336 12123 38920 3 28405 5470 206 332 0.47 112.06/112.18 c 408 4336 12419 48350 3 28997 6018 502 356 1.15 112.06/112.18 c 883 4336 12951 70408 5 30061 6620 1034 343 2.57 112.06/112.18 c 1696 4336 13841 125084 9 35992 7283 1924 342 4.95 112.06/112.18 c 3016 4336 15184 182124 11 38678 8012 3267 308 9.77 112.06/112.18 c 5098 4336 17391 304144 17 43092 8814 5474 306 16.63 112.06/112.18 c 8321 4336 20781 512318 24 51946 9696 8864 299 27.78 112.06/112.18 c 13257 4336 19115 440134 23 44454 10666 7198 294 45.06 112.06/112.18 c 20763 4336 19921 742681 37 43989 11733 8004 283 73.35 112.06/112.18 o 28 1797.95/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.55 c 31177 4336 23047 771180 33 50255 4972 11130 277 112.15 1797.95/1798.55 c 31278 4336 14526 135408 9 31133 5470 2609 277 112.56 1797.95/1798.55 c 31529 4336 14874 144083 9 31829 6018 2957 278 113.15 1797.95/1798.55 c 32004 4336 15368 163391 10 32817 6620 3451 279 114.68 1797.95/1798.55 c 32817 4336 16225 204262 12 34531 7283 4308 279 117.31 1797.95/1798.55 c 34137 4336 17623 267625 15 37327 8012 5706 281 121.39 1797.95/1798.55 c 36218 4336 19765 388749 19 43690 8814 7848 281 128.74 1797.95/1798.55 c 39442 4336 16939 271509 16 35959 9696 5022 279 140.92 1797.95/1798.55 c 44378 4336 16766 249305 14 35613 10666 4849 279 158.61 1797.95/1798.55 c 51885 4336 18012 430461 23 38105 11733 6095 279 185.38 1797.95/1798.55 c 63246 4336 22655 785193 34 49470 12907 10738 272 231.77 1797.95/1798.55 c 80391 4336 24470 803676 32 53100 14198 12553 270 296.98 1797.95/1798.55 c 106210 4336 25514 1027515 40 57263 15618 13597 264 401.13 1797.95/1798.55 c 145044 4336 19727 473596 24 41535 17180 7810 257 564.06 1797.95/1798.55 c 203396 4336 29239 927269 31 64715 18899 17322 261 776.73 1797.95/1798.55 c 291028 4336 30907 1305904 42 65972 20789 18990 263 1106.06 1797.95/1798.55 c 422580 4336 22313 921877 41 46707 22868 10396 247 1709.05 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 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.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 28 445049 285374 1955163 32651 1581166 20734 247 1798.00 1797.95/1798.55 c Objective: 28 1797.95/1798.55 s SATISFIABLE 1797.95/1798.55 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-2656331-1276632248/watcher-2656331-1276632248 -o /tmp/evaluation-result-2656331-1276632248/solver-2656331-1276632248 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656331-1276632248.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.06 1.07 3/106 11077 /proc/meminfo: memFree=1723936/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=11304 CPUtime=0 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 4517656 11575296 288 1992294400 134512640 137138936 4287377376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 2826 289 176 642 0 2090 0 [startup+0.102816 s] /proc/loadavg: 1.00 1.06 1.07 3/106 11077 /proc/meminfo: memFree=1723936/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=13240 CPUtime=0.09 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 1041 0 0 0 9 0 0 0 20 0 1 0 4517656 13557760 867 1992294400 134512640 137138936 4287377376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3310 867 184 642 0 2666 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13240 [startup+0.200827 s] /proc/loadavg: 1.00 1.06 1.07 3/106 11077 /proc/meminfo: memFree=1723936/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=13588 CPUtime=0.19 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 1212 0 0 0 17 2 0 0 20 0 1 0 4517656 13914112 965 1992294400 134512640 137138936 4287377376 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3397 965 192 642 0 2753 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13588 [startup+0.300838 s] /proc/loadavg: 1.00 1.06 1.07 3/106 11077 /proc/meminfo: memFree=1723936/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=13588 CPUtime=0.29 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 1212 0 0 0 27 2 0 0 20 0 1 0 4517656 13914112 965 1992294400 134512640 137138936 4287377376 18446744073709551615 134599257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3397 965 192 642 0 2753 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13588 [startup+0.700881 s] /proc/loadavg: 1.00 1.06 1.07 3/106 11077 /proc/meminfo: memFree=1723936/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=13588 CPUtime=0.69 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 1223 0 0 0 66 3 0 0 20 0 1 0 4517656 13914112 976 1992294400 134512640 137138936 4287377376 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3397 976 192 642 0 2753 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13588 [startup+1.50097 s] /proc/loadavg: 1.00 1.06 1.07 2/107 11078 /proc/meminfo: memFree=1720704/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=13744 CPUtime=1.49 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 1577 0 0 0 146 3 0 0 22 0 1 0 4517656 14073856 1017 1992294400 134512640 137138936 4287377376 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3436 1017 192 642 0 2792 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13744 [startup+3.10114 s] /proc/loadavg: 1.00 1.06 1.07 2/107 11078 /proc/meminfo: memFree=1719960/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=14320 CPUtime=3.09 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 2896 0 0 0 303 6 0 0 25 0 1 0 4517656 14663680 1159 1992294400 134512640 137138936 4287377376 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3580 1159 192 642 0 2936 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14320 [startup+6.30149 s] /proc/loadavg: 1.00 1.06 1.07 2/107 11078 /proc/meminfo: memFree=1718968/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=15188 CPUtime=6.29 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 4709 0 0 0 621 8 0 0 25 0 1 0 4517656 15552512 1378 1992294400 134512640 137138936 4287377376 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 3797 1378 192 642 0 3153 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15188 [startup+12.7012 s] /proc/loadavg: 1.00 1.06 1.07 2/107 11078 /proc/meminfo: memFree=1717480/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=16560 CPUtime=12.69 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 7883 0 0 0 1256 13 0 0 25 0 1 0 4517656 16957440 1721 1992294400 134512640 137138936 4287377376 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 4140 1721 192 642 0 3496 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16560 [startup+25.5006 s] /proc/loadavg: 1.00 1.05 1.07 2/107 11078 /proc/meminfo: memFree=1713884/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=20028 CPUtime=25.48 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 13168 0 0 0 2528 20 0 0 25 0 1 0 4517656 20508672 2588 1992294400 134512640 137138936 4287377376 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 5007 2588 192 642 0 4363 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20028 [startup+51.1004 s] /proc/loadavg: 1.00 1.05 1.07 2/107 11080 /proc/meminfo: memFree=1711032/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=22888 CPUtime=51.08 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 20155 0 0 0 5076 32 0 0 25 0 1 0 4517656 23437312 3302 1992294400 134512640 137138936 4287377376 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 5722 3302 192 642 0 5078 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22888 [startup+102.301 s] /proc/loadavg: 1.00 1.04 1.06 2/107 11080 /proc/meminfo: memFree=1703716/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30132 CPUtime=102.27 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33230 0 0 0 10173 54 0 0 25 0 1 0 4517656 30855168 5111 1992294400 134512640 137138936 4287377376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7533 5111 192 642 0 6889 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30132 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.06 2/107 11082 /proc/meminfo: memFree=1703592/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30072 CPUtime=162.24 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33230 0 0 0 16159 65 0 0 25 0 1 0 4517656 30793728 5099 1992294400 134512640 137138936 4287377376 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7518 5099 192 642 0 6874 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30072 [startup+222.308 s] /proc/loadavg: 1.00 1.02 1.05 2/107 11084 /proc/meminfo: memFree=1703592/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30068 CPUtime=222.23 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33230 0 0 0 22151 72 0 0 25 0 1 0 4517656 30789632 5098 1992294400 134512640 137138936 4287377376 18446744073709551615 134539692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7517 5098 192 642 0 6873 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30068 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.05 2/107 11086 /proc/meminfo: memFree=1703592/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30072 CPUtime=282.21 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33232 0 0 0 28138 83 0 0 25 0 1 0 4517656 30793728 5099 1992294400 134512640 137138936 4287377376 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7518 5099 192 642 0 6874 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30072 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.04 2/107 11088 /proc/meminfo: memFree=1703468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30072 CPUtime=342.19 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33233 0 0 0 34127 92 0 0 25 0 1 0 4517656 30793728 5099 1992294400 134512640 137138936 4287377376 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7518 5099 192 642 0 6874 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30072 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.03 2/107 11088 /proc/meminfo: memFree=1703468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=30072 CPUtime=402.17 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 33233 0 0 0 40118 99 0 0 25 0 1 0 4517656 30793728 5099 1992294400 134512640 137138936 4287377376 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7518 5099 192 642 0 6874 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 30072 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11090 /proc/meminfo: memFree=1701608/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=31948 CPUtime=462.15 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 36234 0 0 0 46102 113 0 0 25 0 1 0 4517656 32714752 5568 1992294400 134512640 137138936 4287377376 18446744073709551615 134575317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7987 5568 192 642 0 7343 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 31948 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11092 /proc/meminfo: memFree=1701608/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=31948 CPUtime=522.13 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 36234 0 0 0 52088 125 0 0 25 0 1 0 4517656 32714752 5568 1992294400 134512640 137138936 4287377376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7987 5568 192 642 0 7343 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 31948 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11094 /proc/meminfo: memFree=1701484/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=31944 CPUtime=582.12 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 36234 0 0 0 58074 138 0 0 25 0 1 0 4517656 32710656 5567 1992294400 134512640 137138936 4287377376 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7986 5567 192 642 0 7342 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 31944 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11096 /proc/meminfo: memFree=1701484/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=31952 CPUtime=642.1 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 36236 0 0 0 64061 149 0 0 25 0 1 0 4517656 32718848 5569 1992294400 134512640 137138936 4287377376 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 7988 5569 192 642 0 7344 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 31952 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1692308/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=40156 CPUtime=1121.94 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 57434 0 0 0 111930 264 0 0 25 0 1 0 4517656 41119744 7620 1992294400 134512640 137138936 4287377376 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 10039 7620 192 642 0 9395 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 40156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11110 /proc/meminfo: memFree=1692308/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=40156 CPUtime=1181.92 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 57434 0 0 0 117918 274 0 0 25 0 1 0 4517656 41119744 7620 1992294400 134512640 137138936 4287377376 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 10039 7620 192 642 0 9395 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 40156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11112 /proc/meminfo: memFree=1688092/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=44796 CPUtime=1241.91 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 66868 0 0 0 123898 293 0 0 25 0 1 0 4517656 45871104 8780 1992294400 134512640 137138936 4287377376 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 11199 8780 192 642 0 10555 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 44796 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11112 /proc/meminfo: memFree=1680280/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=52588 CPUtime=1301.89 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 82574 0 0 0 129875 314 0 0 25 0 1 0 4517656 53850112 10728 1992294400 134512640 137138936 4287377376 18446744073709551615 134598907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 13147 10728 192 642 0 12503 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 52588 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11114 /proc/meminfo: memFree=1673584/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59332 CPUtime=1361.87 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 94211 0 0 0 135855 332 0 0 25 0 1 0 4517656 60755968 12409 1992294400 134512640 137138936 4287377376 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14833 12409 192 642 0 14189 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 59332 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11116 /proc/meminfo: memFree=1672344/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=60584 CPUtime=1421.85 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 141843 342 0 0 25 0 1 0 4517656 62038016 12726 1992294400 134512640 137138936 4287377376 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 15146 12726 192 642 0 14502 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 60584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11118 /proc/meminfo: memFree=1672220/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=60312 CPUtime=1481.83 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 147833 350 0 0 25 0 1 0 4517656 61759488 12659 1992294400 134512640 137138936 4287377376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 15078 12659 192 642 0 14434 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 60312 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11120 /proc/meminfo: memFree=1672344/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59864 CPUtime=1541.82 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 153825 357 0 0 25 0 1 0 4517656 61300736 12547 1992294400 134512640 137138936 4287377376 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14966 12547 192 642 0 14322 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 59864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11120 /proc/meminfo: memFree=1672344/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59864 CPUtime=1601.8 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 159814 366 0 0 25 0 1 0 4517656 61300736 12547 1992294400 134512640 137138936 4287377376 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14966 12547 192 642 0 14322 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 59864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11122 /proc/meminfo: memFree=1672344/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59864 CPUtime=1661.78 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 165803 375 0 0 25 0 1 0 4517656 61300736 12547 1992294400 134512640 137138936 4287377376 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14966 12547 192 642 0 14322 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 59864 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11127 /proc/meminfo: memFree=1671972/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59864 CPUtime=1721.76 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96644 0 0 0 171790 386 0 0 25 0 1 0 4517656 61300736 12547 1992294400 134512640 137138936 4287377376 18446744073709551615 134550995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14966 12547 192 642 0 14322 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 59864 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1781.75 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 177778 397 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 59336 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1791.45 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 178746 399 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 136296996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 59336 [startup+1795.2 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1794.64 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179065 399 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 59336 [startup+1796.8 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1796.24 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179224 400 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 59336 [startup+1797.6 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1797.04 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179304 400 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 59336 [startup+1798 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1797.44 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179344 400 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 59336 [startup+1798.4 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1797.84 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179384 400 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 59336 [startup+1798.5 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11129 /proc/meminfo: memFree=1672468/2059040 swapFree=4192956/4192956 [pid=11077] ppid=11075 vsize=59336 CPUtime=1797.95 /proc/11077/stat : 11077 (bsolo_pb10) R 11075 11077 10926 0 -1 4202496 96646 0 0 0 179395 400 0 0 25 0 1 0 4517656 60760064 12415 1992294400 134512640 137138936 4287377376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11077/statm: 14834 12415 192 642 0 14190 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 59336 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.01 CPU user time (s): 1794 CPU system time (s): 4.00739 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 60584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794 system time used= 4.00739 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96647 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= 1 involuntary context switches= 3049 runsolver used 3.05054 second user time and 8.40772 second system time The end
Begin job on node037 at 2010-06-15 22:04:08 IDJOB=2656331 IDBENCH=24982 IDSOLVER=1162 FILE ID=node037/2656331-1276632248 PBS_JOBID= 11172372 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656331-1276632248/watcher-2656331-1276632248 -o /tmp/evaluation-result-2656331-1276632248/solver-2656331-1276632248 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656331-1276632248.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=1416694501 node037.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1724464 kB Buffers: 50836 kB Cached: 148028 kB SwapCached: 0 kB Active: 123000 kB Inactive: 135368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1724464 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4352 kB Writeback: 0 kB AnonPages: 59484 kB Mapped: 15456 kB Slab: 54476 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181488 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node037 at 2010-06-15 22:34:07