Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 11 | 1798 | 1798.29 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.094985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1681 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1681 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1681 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3708109-1338165432.opb 0.00/0.00 c File size is 299220 bytes. 0.00/0.02 c Highest Coefficient sum: 1681 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.02 s 0.00/0.02 c Var: 3540 Constr: 9890 9890/0/0 Lit: 25398 Watch. Lit: 19647 0.00/0.02 c Obj. Vars: 1681 (47.4859 % of total variables) 0.00/0.05 c Pre-processing Time: 0.047 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 3194 8508 22441 2 17016 2835 0 0 0.05 0.00/0.05 c Switching off lower bounding mode. 0.04/0.05 o 12 0.04/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.05 c 0 3194 8509 23990 2 18556 3835 1 0 0.05 0.04/0.05 o 11 1797.90/1798.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.29 c 5 3194 8515 25730 3 20107 3835 7 90 0.06 1797.90/1798.29 c 105 3194 8618 29540 3 20313 4219 110 677 0.15 1797.90/1798.29 c 355 3194 8889 37698 4 20855 4641 381 975 0.36 1797.90/1798.29 c 830 3194 9383 56065 5 23374 5106 875 1146 0.72 1797.90/1798.29 c 1643 3194 10253 113688 11 29676 5617 1745 1101 1.49 1797.90/1798.29 c 2964 3194 11628 195865 16 35465 6179 3120 1059 2.80 1797.90/1798.29 c 5046 3194 13949 354674 25 40107 6797 5441 1005 5.02 1797.90/1798.29 c 8269 3194 13478 364423 27 30017 7477 4970 968 8.54 1797.90/1798.29 c 13205 3194 14679 454479 30 33930 8225 6171 911 14.49 1797.90/1798.29 c 20711 3194 12865 333043 25 30327 9048 4357 879 23.55 1797.90/1798.29 c 32072 3194 14433 466593 32 33459 9953 5925 896 35.77 1797.90/1798.29 c 49216 3194 15274 674314 44 38196 10949 6766 902 54.54 1797.90/1798.29 c 75035 3194 17252 525640 30 42147 12044 8744 935 80.23 1797.90/1798.29 c 113868 3194 20313 955253 47 57096 13249 11805 856 132.90 1797.90/1798.29 c 172222 3194 19327 674904 34 69201 14574 10819 831 207.09 1797.90/1798.29 c 259854 3194 17198 480447 27 46614 16032 8690 813 319.52 1797.90/1798.29 c 391407 3194 22954 916436 39 71085 17636 14446 805 485.83 1797.90/1798.29 c 588839 3194 18647 568859 30 40322 19400 10139 811 725.79 1797.90/1798.29 c 885095 3194 23015 852528 37 59793 21341 14507 785 1127.00 1797.90/1798.29 c 1329578 3194 29966 843647 28 78282 23476 21458 774 1717.78 1797.90/1798.29 c Resources Exceeded 1797.90/1798.29 v -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -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 -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 -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 -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 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -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 -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 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -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 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -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 -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 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -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 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 x2281 -x2283 -x2285 -x2287 x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -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 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 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 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2467 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -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 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -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 -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 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -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 -x2863 -x2864 -x2866 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 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 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3112 -x3114 -x3116 -x3118 -x3120 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -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 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3420 -x3422 -x3424 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -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 -x3538 -x3540 -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 -x1 -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 -x2 -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 -x3 -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 -x4 -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 -x5 -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 -x6 -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 -x7 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x8 -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 -x1157 -x1159 -x9 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x10 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x11 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x12 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x13 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 x14 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 x1405 -x1407 -x1409 -x1411 -x15 -x1413 -x1415 -x1417 -x1419 -x1422 -x1424 -x16 -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 -x17 -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 -x18 -x1586 -x1588 -x1590 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x19 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x20 -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 -x21 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 -x1726 -x22 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x23 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x24 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x26 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x27 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x28 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x29 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x30 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x31 -x1918 -x1920 -x32 -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 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x33 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x34 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x35 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x36 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x37 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x38 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x39 -x2192 -x2194 -x2196 -x2198 -x40 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 x41 -x2234 -x2236 -x2238 -x2240 x2242 -x2244 -x2246 -x42 -x2248 -x2250 -x2252 -x2254 -x2256 -x43 -x2258 -x2260 -x2262 -x44 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 x45 -x2276 -x2278 x2280 -x2282 -x46 -x2284 -x2286 x2288 x47 -x2290 -x48 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x49 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x50 -x2344 -x2346 -x2348 -x2350 -x2352 -x51 -x2354 -x2356 -x2358 -x52 -x2360 -x2362 -x2364 -x2366 -x53 -x2368 -x2370 -x2372 x54 -x2374 -x55 -x2376 -x56 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x57 -x2392 -x2394 -x58 -x2396 -x2398 -x59 -x60 -x2400 -x2402 -x61 x62 x63 -x2405 -x64 -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 -x2457 -x2459 -x2461 -x2463 -x2465 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x65 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x66 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2598 -x2600 -x2602 -x2604 -x2606 -x67 -x2608 -x2610 -x2612 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x68 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x69 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x70 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x71 -x2691 -x2693 -x2695 -x2697 -x72 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x74 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x75 -x2765 -x2768 x76 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x77 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x78 -x2834 -x2836 -x2838 -x2840 -x2842 -x79 -x2844 -x80 -x2846 -x81 -x2848 -x2850 -x2852 -x2854 -x2856 x82 -x2858 -x2861 -x83 -x84 -x2865 -x85 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x86 -x2890 -x2892 -x2894 -x87 -x2896 -x2898 -x88 -x89 -x2900 -x2902 -x90 -x2904 -x91 -x92 x93 -x2907 -x94 x2909 x95 -x2911 -x2913 -x2915 -x2917 -x96 -x97 -x2919 -x2921 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x108 -x2955 -x2957 -x2959 -x2961 -x2963 -x109 -x2965 -x2967 -x2969 -x110 -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 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3072 -x3074 -x3076 -x3078 -x3080 -x111 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3113 -x112 -x3115 -x3117 -x3119 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x113 -x3140 -x3142 -x114 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x115 -x3181 -x3183 -x116 -x3186 -x117 -x3188 -x118 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x119 -x3221 -x3223 -x3225 -x120 -x3227 -x3230 -x121 -x3232 -x122 -x3234 -x3236 -x123 -x124 -x125 -x3238 -x126 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x127 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x128 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x129 -x3390 -x3392 -x130 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x131 -x3412 -x3414 -x3416 -x132 -x3419 -x3421 -x133 -x3423 -x134 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3441 -x3443 -x135 -x136 -x137 -x3445 x138 -x139 -x140 -x141 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x142 -x143 -x144 -x145 -x3469 -x146 -x147 x148 -x149 -x3471 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x3473 -x158 -x159 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x160 -x161 -x3497 -x162 -x163 -x164 x165 -x166 -x167 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x168 x169 -x3523 -x170 -x171 -x172 -x173 -x174 -x3525 -x175 -x176 x177 -x178 -x179 -x180 x181 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x182 -x183 -x184 -x185 -x3539 -x186 -x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 x203 x204 x205 -x206 1797.90/1798.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.29 c 21 1386628 794347 6400583 28302 1600739 19794 771 1798.00 1797.90/1798.29 c Objective: 11 1797.90/1798.29 s SATISFIABLE 1797.90/1798.29 c Total time: 1798 s
OK 11
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708109-1338165432/watcher-3708109-1338165432 -o /tmp/evaluation-result-3708109-1338165432/solver-3708109-1338165432 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708109-1338165432.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.97 3/176 24819 /proc/meminfo: memFree=27147248/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=11368 CPUtime=0 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 282671748 11640832 307 33554432000 134512640 137138936 4286604816 4286603224 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 2843 307 181 642 0 2125 0 [startup+0.0523151 s] /proc/loadavg: 2.00 2.00 1.97 3/176 24819 /proc/meminfo: memFree=27147248/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=12896 CPUtime=0.04 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 909 0 0 0 4 0 0 0 20 0 1 0 282671748 13205504 767 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3224 767 187 642 0 2580 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12896 [startup+0.100258 s] /proc/loadavg: 2.00 2.00 1.97 3/176 24819 /proc/meminfo: memFree=27147248/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=12896 CPUtime=0.09 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 926 0 0 0 9 0 0 0 20 0 1 0 282671748 13205504 784 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3224 784 192 642 0 2580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12896 [startup+0.300231 s] /proc/loadavg: 2.00 2.00 1.97 3/176 24819 /proc/meminfo: memFree=27147248/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=12896 CPUtime=0.29 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 932 0 0 0 29 0 0 0 20 0 1 0 282671748 13205504 790 33554432000 134512640 137138936 4286604816 4286603480 136504530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3224 790 192 642 0 2580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12896 [startup+0.700227 s] /proc/loadavg: 2.00 2.00 1.97 3/176 24819 /proc/meminfo: memFree=27147248/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=13216 CPUtime=0.69 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 1019 0 0 0 69 0 0 0 20 0 1 0 282671748 13533184 877 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3304 877 192 642 0 2660 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13216 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24820 /proc/meminfo: memFree=27144908/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=14184 CPUtime=1.48 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 1266 0 0 0 148 0 0 0 20 0 1 0 282671748 14524416 1124 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3546 1124 192 642 0 2902 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14184 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24820 /proc/meminfo: memFree=27141916/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=15780 CPUtime=3.08 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 1662 0 0 0 307 1 0 0 20 0 1 0 282671748 16158720 1518 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 3945 1518 192 642 0 3301 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15780 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24820 /proc/meminfo: memFree=27138696/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=18960 CPUtime=6.29 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 2459 0 0 0 627 2 0 0 20 0 1 0 282671748 19415040 2315 33554432000 134512640 137138936 4286604816 4286603312 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 4740 2315 192 642 0 4096 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18960 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24820 /proc/meminfo: memFree=27134124/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=20876 CPUtime=12.68 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 2936 0 0 0 1265 3 0 0 20 0 1 0 282671748 21377024 2792 33554432000 134512640 137138936 4286604816 4286603528 136504280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 5219 2792 192 642 0 4575 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20876 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24820 /proc/meminfo: memFree=27109620/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=22792 CPUtime=25.48 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 3415 0 0 0 2542 6 0 0 20 0 1 0 282671748 23339008 3269 33554432000 134512640 137138936 4286604816 4286603668 136511093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 5698 3269 192 642 0 5054 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22792 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24821 /proc/meminfo: memFree=27111168/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=29152 CPUtime=51.07 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 5012 0 0 0 5098 9 0 0 20 0 1 0 282671748 29851648 4865 33554432000 134512640 137138936 4286604816 4286603568 134575629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 7288 4865 192 642 0 6644 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29152 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24821 /proc/meminfo: memFree=27101348/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=31364 CPUtime=102.27 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 5789 0 0 0 10206 21 0 0 20 0 1 0 282671748 32116736 5420 33554432000 134512640 137138936 4286604816 4286603744 134542351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 7841 5420 192 642 0 7197 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31364 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24821 /proc/meminfo: memFree=27097672/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=31348 CPUtime=162.25 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 5790 0 0 0 16196 29 0 0 20 0 1 0 282671748 32100352 5418 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 7837 5418 192 642 0 7193 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 31348 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 24824 /proc/meminfo: memFree=27093008/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=31356 CPUtime=222.24 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 5792 0 0 0 22186 38 0 0 20 0 1 0 282671748 32108544 5420 33554432000 134512640 137138936 4286604816 4286603312 134618001 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 7839 5420 192 642 0 7195 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 31356 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24824 /proc/meminfo: memFree=27090584/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=31356 CPUtime=282.24 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 5792 0 0 0 28175 49 0 0 20 0 1 0 282671748 32108544 5420 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 7839 5420 192 642 0 7195 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 31356 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24825 /proc/meminfo: memFree=27080480/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=33636 CPUtime=342.22 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 6364 0 0 0 34163 59 0 0 20 0 1 0 282671748 34443264 5990 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 8409 5990 192 642 0 7765 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 33636 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24825 /proc/meminfo: memFree=27081072/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=33636 CPUtime=402.21 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 6364 0 0 0 40155 66 0 0 20 0 1 0 282671748 34443264 5990 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 8409 5990 192 642 0 7765 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 33636 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24825 /proc/meminfo: memFree=27075976/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=33636 CPUtime=462.21 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 6365 0 0 0 46143 78 0 0 20 0 1 0 282671748 34443264 5990 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 8409 5990 192 642 0 7765 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 33636 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24825 /proc/meminfo: memFree=27087628/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=33644 CPUtime=522.2 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 6367 0 0 0 52133 87 0 0 20 0 1 0 282671748 34451456 5992 33554432000 134512640 137138936 4286604816 4286603320 136504438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 8411 5992 192 642 0 7767 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 33644 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 24825 /proc/meminfo: memFree=27076024/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=33640 CPUtime=582.19 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 6367 0 0 0 58123 96 0 0 20 0 1 0 282671748 34447360 5991 33554432000 134512640 137138936 4286604816 4286603472 136504022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 8410 5991 192 642 0 7766 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 33640 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27072392/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39812 CPUtime=1122.1 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7947 0 0 0 112032 178 0 0 20 0 1 0 282671748 40767488 7531 33554432000 134512640 137138936 4286604816 4286603744 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9953 7531 192 642 0 9309 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 39812 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 24830 /proc/meminfo: memFree=27071268/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39812 CPUtime=1182.1 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7948 0 0 0 118021 189 0 0 20 0 1 0 282671748 40767488 7532 33554432000 134512640 137138936 4286604816 4286603456 134604045 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9953 7532 192 642 0 9309 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 39812 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 1.98 3/177 24830 /proc/meminfo: memFree=27071004/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39816 CPUtime=1242.09 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 124011 198 0 0 20 0 1 0 282671748 40771584 7533 33554432000 134512640 137138936 4286604816 4286603312 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9954 7533 192 642 0 9310 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 39816 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 1.98 3/177 24831 /proc/meminfo: memFree=27068832/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39816 CPUtime=1302.08 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 130000 208 0 0 20 0 1 0 282671748 40771584 7533 33554432000 134512640 137138936 4286604816 4286603744 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9954 7533 192 642 0 9310 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 39816 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 1.98 3/177 24831 /proc/meminfo: memFree=27067516/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39816 CPUtime=1362.07 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 135987 220 0 0 20 0 1 0 282671748 40771584 7533 33554432000 134512640 137138936 4286604816 4286603312 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9954 7533 192 642 0 9310 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 39816 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 1.99 3/178 24834 /proc/meminfo: memFree=27070724/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39816 CPUtime=1422.07 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 141980 227 0 0 20 0 1 0 282671748 40771584 7533 33554432000 134512640 137138936 4286604816 4286603344 134602758 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9954 7533 192 642 0 9310 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 39816 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 1.99 3/179 24857 /proc/meminfo: memFree=27066680/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39804 CPUtime=1482.05 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 147972 233 0 0 20 0 1 0 282671748 40759296 7532 33554432000 134512640 137138936 4286604816 4286603568 134575629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9951 7532 192 642 0 9307 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 39804 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24857 /proc/meminfo: memFree=27066736/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39800 CPUtime=1542.04 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 153963 241 0 0 20 0 1 0 282671748 40755200 7531 33554432000 134512640 137138936 4286604816 4286603744 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9950 7531 192 642 0 9306 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 39800 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24858 /proc/meminfo: memFree=27066236/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39800 CPUtime=1602.03 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 159954 249 0 0 20 0 1 0 282671748 40755200 7531 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9950 7531 192 642 0 9306 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 39800 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24858 /proc/meminfo: memFree=27065660/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39796 CPUtime=1662.02 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7949 0 0 0 165941 261 0 0 20 0 1 0 282671748 40751104 7530 33554432000 134512640 137138936 4286604816 4286603744 134543206 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9949 7530 192 642 0 9305 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 39796 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24858 /proc/meminfo: memFree=27065216/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39800 CPUtime=1722.01 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7950 0 0 0 171930 271 0 0 20 0 1 0 282671748 40755200 7531 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9950 7531 192 642 0 9306 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 39800 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24858 /proc/meminfo: memFree=27067256/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=39804 CPUtime=1782.01 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 7951 0 0 0 177924 277 0 0 20 0 1 0 282671748 40759296 7532 33554432000 134512640 137138936 4286604816 4286603568 134575637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 9951 7532 192 642 0 9307 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 39804 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.99 3/178 24858 /proc/meminfo: memFree=27062296/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1791.61 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 178883 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603312 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 41836 [startup+1795.1 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27120800/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1794.81 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179203 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603744 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 41836 [startup+1796.7 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27118172/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1796.4 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179362 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 41836 [startup+1797.5 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27116312/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1797.2 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179442 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603744 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (KiB) 41836 [startup+1797.9 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27116312/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1797.6 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179482 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603744 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 41836 [startup+1798.1 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27116312/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1797.8 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179502 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603044 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 41836 [startup+1798.2 s] /proc/loadavg: 1.92 1.98 1.98 3/178 24897 /proc/meminfo: memFree=27116312/32873844 swapFree=6088/6088 [pid=24819] ppid=24817 vsize=41836 CPUtime=1797.9 cores=1,3,5,7 /proc/24819/stat : 24819 (bsolo) R 24817 24819 24287 0 -1 4202496 8458 0 0 0 179512 278 0 0 20 0 1 0 282671748 42840064 8039 33554432000 134512640 137138936 4286604816 4286603932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24819/statm: 10459 8039 192 642 0 9815 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 41836 Child status: 0 Real time (s): 1798.29 CPU time (s): 1798 CPU user time (s): 1795.22 CPU system time (s): 2.78458 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 41836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.22 system time used= 2.78458 maximum resident set size= 32160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8459 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= 16 involuntary context switches= 1854 runsolver used 3.23951 second user time and 9.1746 second system time The end
Begin job on node108 at 2012-05-28 02:37:12 IDJOB=3708109 IDBENCH=25004 IDSOLVER=2286 FILE ID=node108/3708109-1338165432 RUNJOBID= node108-1338158223-24304 PBS_JOBID= 14624538 Free space on /tmp= 71720 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708109-1338165432/watcher-3708109-1338165432 -o /tmp/evaluation-result-3708109-1338165432/solver-3708109-1338165432 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708109-1338165432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED=2036815758 node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27148148 kB Buffers: 319340 kB Cached: 4579120 kB SwapCached: 0 kB Active: 680208 kB Inactive: 4250508 kB Active(anon): 31852 kB Inactive(anon): 0 kB Active(file): 648356 kB Inactive(file): 4250508 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 9976 kB Writeback: 0 kB AnonPages: 35128 kB Mapped: 15264 kB Shmem: 200 kB Slab: 656764 kB SReclaimable: 98508 kB SUnreclaim: 558256 kB KernelStack: 1456 kB PageTables: 3528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 147892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node108 at 2012-05-28 03:07:10