Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 22 | 187.646 | 187.69 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 1.05284 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22 |
Optimality of the best value was proved | YES |
Number of variables | 3041 |
Total number of constraints | 7696 |
Number of constraints which are clauses | 7696 |
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 | 1510 |
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 | 1510 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1510 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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-2656328-1276631712.opb 0.00/0.00 c File size is 225437 bytes. 0.00/0.03 c Highest Coefficient sum: 1510 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.036 s 0.00/0.04 c Var: 3041 Constr: 7696 7696/0/0 Lit: 18572 Watch. Lit: 15302 0.00/0.04 c Obj. Vars: 1510 (49.6547 % of total variables) 0.09/0.10 c Formula reductions applied at preprocessing 0.09/0.10 c Pre-processing Time: 0.103 s 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 0 2854 7279 17727 2 14558 2426 0 0 0.10 1.49/1.54 c Initial Lower Bound: 21 1.49/1.54 c Initial Path Cost: 2 1.49/1.55 o 26 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 1 2854 7282 19153 2 15956 3426 3 0 1.55 4.99/5.03 o 23 178.85/178.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.85/178.98 c 1 2854 7283 20569 2 17353 3426 4 0 5.03 178.85/178.98 c 102 2854 7575 173482 22 17937 3769 296 8 12.16 178.85/178.98 c 385 2854 8419 444347 52 19625 4146 1140 9 39.27 178.85/178.98 c 869 2854 9870 626307 63 22527 4561 2591 13 66.63 178.85/178.98 o 22 187.54/187.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 187.54/187.68 c 1502 2854 11729 1448928 123 27641 3426 4450 8 178.95 187.54/187.68 v -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -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 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -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 -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 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x507 -x509 -x510 -x512 -x514 x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -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 -x624 -x626 -x628 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x656 -x658 -x660 -x662 -x664 -x666 -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 -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 -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 -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 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -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 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -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 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -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 -x1519 -x1521 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 x1664 -x1666 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1698 -x1700 -x1702 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -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 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2176 -x2178 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2201 -x2203 -x2205 -x2206 -x2208 x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2230 -x2232 -x2234 -x2235 -x2237 -x2239 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2281 -x2283 -x2285 -x2287 -x2289 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2337 -x2339 -x2341 -x2343 -x2345 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2376 -x2378 -x2380 -x2382 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 x2456 -x2458 -x2460 -x2462 -x2463 -x2465 -x2467 -x2469 -x2471 -x2472 -x2474 -x2475 -x2477 -x2479 -x2480 -x2482 -x2484 -x2485 -x2487 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 x2510 -x2512 -x2513 -x2515 -x2517 -x2518 -x2520 -x2522 -x2524 x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2663 -x2665 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2685 -x2687 -x2689 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2703 -x2705 -x2707 -x2709 -x2710 -x2711 -x2713 -x2714 -x2716 -x2718 -x2720 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2806 -x2808 -x2810 -x2812 -x2813 -x2815 -x2816 -x2817 -x2819 -x2821 -x2823 -x2825 -x2826 -x2827 -x2828 -x2830 -x2832 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2862 -x2864 -x2866 -x2868 -x2870 -x2871 -x2873 -x2874 -x2876 x2878 -x2880 x2881 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2907 -x2909 -x2911 -x2913 -x2915 -x2916 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2944 -x2946 -x2948 -x2950 -x2951 -x2953 -x2954 -x2956 -x2958 -x2959 -x2961 -x2962 -x2964 -x2965 x2966 -x2968 -x2970 x2971 -x2972 -x2974 -x2976 -x2977 -x2978 -x2979 -x2981 x2982 -x2984 -x2986 -x2988 -x2990 -x2992 x2993 -x2995 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3023 -x3025 -x3027 x3028 -x3030 x3031 -x3033 -x3035 -x3036 -x3038 x3039 -x3040 x3041 -x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x1 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x2 -x235 -x237 -x239 -x241 -x243 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x3 -x264 -x266 -x268 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 x331 -x333 -x335 -x4 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x364 -x5 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x6 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x7 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x429 -x431 -x433 -x435 -x437 -x8 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x9 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x10 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x11 -x497 -x499 -x501 -x504 -x506 -x508 -x12 -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 -x13 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x14 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x630 -x632 -x634 -x15 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x16 -x650 -x652 -x654 -x657 -x659 -x661 -x663 -x665 -x668 -x670 -x672 -x674 -x676 -x17 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x18 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -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 -x19 -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 -x20 -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 -x21 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x22 -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 -x23 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x24 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x25 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x27 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x28 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x29 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x30 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x31 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x32 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x33 -x1319 -x1321 -x1323 -x34 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x35 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1413 -x36 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x37 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x38 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x39 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x40 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x41 -x1517 -x1520 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x42 -x1550 -x1552 -x1554 -x1556 -x1559 -x1561 -x43 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x44 -x1577 -x1580 -x45 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x46 -x1612 -x1614 -x1616 -x1618 -x1620 -x1623 -x47 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x48 -x1639 -x1641 -x1643 -x49 -x1645 -x1647 -x1649 -x1651 -x1654 -x1656 -x50 -x1658 -x1660 -x1662 x51 -x1665 -x52 -x1668 -x53 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x54 -x1699 -x1701 -x1704 -x1706 -x1708 -x1710 -x55 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x56 -x1726 -x1729 -x57 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x58 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x59 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x60 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x61 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x62 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x63 -x1847 -x1849 -x1851 -x64 -x1853 -x1855 -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 -x65 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x66 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x69 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x70 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x71 -x2046 -x2048 -x72 -x2050 -x2052 -x2054 -x2056 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x73 -x2079 -x2081 -x2084 -x2086 -x2088 -x2090 -x74 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2113 -x2115 -x2117 -x2119 -x75 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x76 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x77 -x2149 -x2151 -x78 -x2153 -x2155 -x2158 -x2160 -x2162 -x2164 -x79 -x2166 -x2168 -x2170 -x2172 -x2174 -x2177 -x80 -x2180 -x2182 -x81 -x2184 -x2186 -x2188 -x2191 -x2193 -x2195 -x82 -x2197 -x2199 -x83 -x2202 -x2204 -x84 -x2207 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 -x85 -x2236 -x2238 -x2241 -x2243 -x2245 -x2247 -x86 -x2249 -x2251 -x2254 -x2256 -x2258 -x2260 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x87 -x2277 -x2279 -x2282 -x2284 -x2286 -x2288 -x88 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x89 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x90 -x2333 -x2335 -x2338 -x2340 -x2342 -x2344 -x91 -x2347 -x2349 -x92 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x93 -x2366 -x2368 -x2370 -x2372 -x2374 -x94 -x2377 -x2379 -x2381 -x95 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x96 -x2412 -x2415 -x2417 -x2419 -x2421 -x2423 -x97 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x98 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 x2455 -x2457 -x99 -x2459 -x2461 -x100 -x2464 -x2466 -x2468 -x2470 -x2473 -x101 -x2476 -x2478 -x102 -x2481 -x2483 -x103 -x2486 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 x2509 -x2511 -x2514 -x2516 -x2519 -x2521 -x2523 x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x104 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x105 -x2619 -x2621 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x106 -x2648 -x2650 -x2653 -x2655 -x2657 -x2659 -x107 -x2661 -x2664 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2686 -x108 -x2688 -x2691 -x2693 -x2695 -x2697 -x2699 -x109 -x2701 -x2704 -x2706 -x2708 -x110 -x2712 -x2715 -x111 -x2717 -x2719 -x2722 -x2724 -x2726 -x2728 -x112 -x2730 -x2732 -x2734 -x113 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x114 -x2765 -x2767 -x2769 -x2771 -x2773 -x2776 -x115 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x116 -x2792 -x2794 -x117 -x2796 -x2798 -x2800 -x2802 -x2804 -x2807 -x118 -x2809 -x2811 -x119 -x2814 -x120 -x2818 -x121 -x2820 -x2822 -x2824 -x2829 -x122 -x2831 -x2834 -x2836 -x2838 -x2840 -x2842 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x123 -x2858 -x2860 -x2863 -x2865 -x2867 -x2869 -x2872 -x2875 x2877 -x2879 x124 -x2883 -x2885 -x125 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2908 -x2910 -x2912 -x2914 -x126 -x2918 -x2920 -x2922 -x2924 -x2926 -x127 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x128 -x2942 -x2945 -x129 -x2947 -x2949 -x2952 -x2955 -x2957 -x130 -x2960 -x131 -x2963 -x2967 -x2969 -x2973 -x2975 x132 -x2980 -x2983 -x2985 -x2987 -x2989 -x2991 -x2994 -x133 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x134 -x3009 -x3011 -x135 -x3013 -x136 -x137 -x3018 -x3022 -x3024 -x3026 -x3029 x138 -x3032 -x3034 -x139 -x3037 -x140 187.54/187.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 187.54/187.68 c 6 1597 230 12701 9276 670306 1997 8 187.64 187.54/187.68 c Objective: 22 187.54/187.68 s OPTIMUM FOUND 187.54/187.68 c Total time: 187.643 s
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656328-1276631712/watcher-2656328-1276631712 -o /tmp/evaluation-result-2656328-1276631712/solver-2656328-1276631712 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656328-1276631712.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.02 1.00 3/106 4481 /proc/meminfo: memFree=1843156/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=11156 CPUtime=0 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 36826567 11423744 279 1992294400 134512640 137138936 4294513744 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 2789 279 176 642 0 2089 0 [startup+0.077809 s] /proc/loadavg: 1.00 1.02 1.00 3/106 4481 /proc/meminfo: memFree=1843156/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=12568 CPUtime=0.07 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 827 0 0 0 7 0 0 0 21 0 1 0 36826567 12869632 690 1992294400 134512640 137138936 4294513744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 3142 690 186 642 0 2498 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12568 [startup+0.101811 s] /proc/loadavg: 1.00 1.02 1.00 3/106 4481 /proc/meminfo: memFree=1843156/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=12552 CPUtime=0.09 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 862 0 0 0 8 1 0 0 21 0 1 0 36826567 12853248 690 1992294400 134512640 137138936 4294513744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 3138 690 186 642 0 2494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12552 [startup+0.300827 s] /proc/loadavg: 1.00 1.02 1.00 3/106 4481 /proc/meminfo: memFree=1843156/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=12636 CPUtime=0.29 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 929 0 0 0 28 1 0 0 21 0 1 0 36826567 12939264 756 1992294400 134512640 137138936 4294513744 18446744073709551615 135745101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 3159 756 219 642 0 2515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12636 [startup+0.700858 s] /proc/loadavg: 1.00 1.02 1.00 3/106 4481 /proc/meminfo: memFree=1843156/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=13128 CPUtime=0.69 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 3051 0 0 0 68 1 0 0 22 0 1 0 36826567 13443072 854 1992294400 134512640 137138936 4294513744 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 3282 854 219 642 0 2638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13128 [startup+1.50192 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4482 /proc/meminfo: memFree=1840172/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=20312 CPUtime=1.49 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 19521 0 0 0 143 6 0 0 25 0 1 0 36826567 20799488 1677 1992294400 134512640 137138936 4294513744 18446744073709551615 135247974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 5078 1677 280 642 0 4434 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20312 [startup+3.10105 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4482 /proc/meminfo: memFree=1837940/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=19464 CPUtime=3.09 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 85000 0 0 0 281 28 0 0 25 0 1 0 36826567 19931136 1758 1992294400 134512640 137138936 4294513744 18446744073709551615 135389495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 4866 1758 287 642 0 4222 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19464 [startup+6.3013 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4482 /proc/meminfo: memFree=1837816/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=13576 CPUtime=6.29 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 221888 0 0 0 545 84 0 0 25 0 1 0 36826567 13901824 1035 1992294400 134512640 137138936 4294513744 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 3394 1035 288 642 0 2750 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13576 [startup+12.7008 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4482 /proc/meminfo: memFree=1835460/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=22228 CPUtime=12.69 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 495290 0 0 0 1078 191 0 0 25 0 1 0 36826567 22761472 2101 1992294400 134512640 137138936 4294513744 18446744073709551615 135457852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 5557 2101 288 642 0 4913 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22228 [startup+25.5008 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4484 /proc/meminfo: memFree=1835212/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=22736 CPUtime=25.48 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 902717 0 0 0 2196 352 0 0 25 0 1 0 36826567 23281664 2208 1992294400 134512640 137138936 4294513744 18446744073709551615 135443892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 5684 2208 288 642 0 5040 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22736 [startup+51.1009 s] /proc/loadavg: 1.00 1.02 1.00 2/107 4484 /proc/meminfo: memFree=1830872/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=26760 CPUtime=51.08 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 1941640 0 0 0 4349 759 0 0 25 0 1 0 36826567 27402240 3225 1992294400 134512640 137138936 4294513744 18446744073709551615 135457895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 6690 3225 288 642 0 6046 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26760 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 4486 /proc/meminfo: memFree=1828640/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=23376 CPUtime=102.28 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 4169027 0 0 0 8598 1630 0 0 25 0 1 0 36826567 23937024 3487 1992294400 134512640 137138936 4294513744 18446744073709551615 135783810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 5844 3487 288 642 0 5200 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 23376 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4486 /proc/meminfo: memFree=1823432/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=29020 CPUtime=162.26 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 7158528 0 0 0 13459 2767 0 0 25 0 1 0 36826567 29716480 4890 1992294400 134512640 137138936 4294513744 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 7255 4896 288 642 0 6611 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 29020 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4486 /proc/meminfo: memFree=1823060/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=36300 CPUtime=166.26 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 7344377 0 0 0 13787 2839 0 0 25 0 1 0 36826567 37171200 5765 1992294400 134512640 137138936 4294513744 18446744073709551615 135447624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9075 5765 288 642 0 8431 0 Current children cumulated CPU time (s) 166.26 Current children cumulated vsize (KiB) 36300 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1818968/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37388 CPUtime=179.05 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 7907702 0 0 0 14852 3053 0 0 25 0 1 0 36826567 38285312 5884 1992294400 134512640 137138936 4294513744 18446744073709551615 135251370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9347 5884 288 642 0 8703 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 37388 [startup+182.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1820456/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37740 CPUtime=182.25 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 7984533 0 0 0 15142 3083 0 0 25 0 1 0 36826567 38645760 6017 1992294400 134512640 137138936 4294513744 18446744073709551615 134850628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9435 6017 288 642 0 8791 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 37740 [startup+185.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1820456/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37612 CPUtime=185.45 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 8057439 0 0 0 15430 3115 0 0 25 0 1 0 36826567 38514688 5982 1992294400 134512640 137138936 4294513744 18446744073709551615 135443711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9403 5982 288 642 0 8759 0 Current children cumulated CPU time (s) 185.45 Current children cumulated vsize (KiB) 37612 [startup+186.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1819464/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37580 CPUtime=186.25 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 8069349 0 0 0 15505 3120 0 0 25 0 1 0 36826567 38481920 5981 1992294400 134512640 137138936 4294513744 18446744073709551615 136525379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9395 5981 288 642 0 8751 0 Current children cumulated CPU time (s) 186.25 Current children cumulated vsize (KiB) 37580 [startup+187.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1820084/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37548 CPUtime=187.05 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 8080951 0 0 0 15580 3125 0 0 25 0 1 0 36826567 38449152 5992 1992294400 134512640 137138936 4294513744 18446744073709551615 135466158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9387 5992 288 642 0 8743 0 Current children cumulated CPU time (s) 187.05 Current children cumulated vsize (KiB) 37548 [startup+187.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1820084/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=36188 CPUtime=187.45 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 8087213 0 0 0 15617 3128 0 0 25 0 1 0 36826567 37056512 5953 1992294400 134512640 137138936 4294513744 18446744073709551615 135379341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9047 5955 288 642 0 8403 0 Current children cumulated CPU time (s) 187.45 Current children cumulated vsize (KiB) 36188 [startup+187.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4488 /proc/meminfo: memFree=1820084/2059040 swapFree=4136680/4192956 [pid=4481] ppid=4479 vsize=37492 CPUtime=187.54 /proc/4481/stat : 4481 (bsolo_pb10) R 4479 4481 3985 0 -1 4202496 8088567 0 0 0 15626 3128 0 0 25 0 1 0 36826567 38391808 5976 1992294400 134512640 137138936 4294513744 18446744073709551615 135470034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4481/statm: 9373 5976 288 642 0 8729 0 Current children cumulated CPU time (s) 187.54 Current children cumulated vsize (KiB) 37492 Child status: 0 Real time (s): 187.69 CPU time (s): 187.646 CPU user time (s): 156.346 CPU system time (s): 31.3002 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 38864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 156.346 system time used= 31.3002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8089641 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= 2 involuntary context switches= 125 runsolver used 0.304953 second user time and 0.898863 second system time The end
Begin job on node026 at 2010-06-15 21:55:12 IDJOB=2656328 IDBENCH=24979 IDSOLVER=1162 FILE ID=node026/2656328-1276631712 PBS_JOBID= 11172349 Free space on /tmp= 62560 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656328-1276631712/watcher-2656328-1276631712 -o /tmp/evaluation-result-2656328-1276631712/solver-2656328-1276631712 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656328-1276631712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED=391371931 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1843684 kB Buffers: 16288 kB Cached: 107364 kB SwapCached: 9808 kB Active: 66724 kB Inactive: 70648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843684 kB SwapTotal: 4192956 kB SwapFree: 4136680 kB Dirty: 4148 kB Writeback: 0 kB AnonPages: 12008 kB Mapped: 9404 kB Slab: 56292 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182104 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= 62556 MiB End job on node026 at 2010-06-15 21:58:19