Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 10 | 1798.01 | 1798.52 |
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.619905 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876912-1245183463.opb 0.00/0.00 c File size is 299220 bytes. 0.02/0.04 c Highest Coefficient sum: 1681 0.02/0.04 c Parsing was ok!! 0.02/0.04 c Total parsing time: 0.043 s 0.02/0.05 c Var: 3540 Constr: 9890 9890/0/0 Lit: 25398 Watch. Lit: 19647 0.02/0.05 c Obj. Vars: 1681 (47.4859 % of total variables) 0.02/0.10 c Pre-processing Time: 0.098 s 0.02/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.10 c 0 3194 8508 22441 2 17016 2835 0 0 0.10 0.02/0.10 c Switching off lower bounding mode. 0.09/0.10 o 12 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3194 8509 23990 2 18556 3835 1 0 0.10 0.09/0.11 o 11 1672.82/1673.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1672.82/1673.34 c 5 3194 8515 25730 3 20107 3835 7 44 0.11 1672.82/1673.34 c 105 3194 8618 29540 3 20313 4219 110 379 0.28 1672.82/1673.34 c 355 3194 8889 37698 4 20855 4641 381 568 0.62 1672.82/1673.34 c 830 3194 9383 56065 5 23374 5106 875 673 1.23 1672.82/1673.34 c 1643 3194 10256 114195 11 29682 5617 1748 643 2.55 1672.82/1673.34 c 2963 3194 11684 206520 17 32538 6179 3176 621 4.77 1672.82/1673.34 c 5044 3194 13961 345661 24 37092 6797 5453 589 8.56 1672.82/1673.34 c 8267 3194 13306 378411 28 31214 7477 4798 529 15.62 1672.82/1673.34 c 13203 3194 14255 475596 33 37693 8225 5747 514 25.67 1672.82/1673.34 c 20710 3194 13005 340377 26 27549 9048 4497 454 45.59 1672.82/1673.34 c 32071 3194 14902 590364 39 34392 9953 6394 434 73.76 1672.82/1673.34 c 49215 3194 16400 539930 32 38885 10949 7892 426 115.39 1672.82/1673.34 c 75035 3194 19770 903506 45 53281 12044 11262 412 182.06 1672.82/1673.34 c 113867 3194 15443 598490 38 36984 13249 6935 408 278.99 1672.82/1673.34 c 172219 3194 20644 1048393 50 56569 14574 12136 377 456.04 1672.82/1673.34 c 259851 3194 21186 937909 44 60381 16032 12678 369 703.54 1672.82/1673.34 c 391404 3194 19496 954043 48 45111 17636 10988 352 1109.82 1672.82/1673.34 c 588837 3194 18465 514096 27 42871 19400 9957 352 1668.13 1672.82/1673.34 o 10 1797.99/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.50 c 590686 3194 20551 728511 35 57542 3836 12043 353 1672.87 1797.99/1798.50 c 590789 3194 10545 221834 21 24135 4220 2037 353 1673.26 1797.99/1798.50 c 591039 3194 10830 249519 23 26208 4643 2322 353 1673.80 1797.99/1798.50 c 591517 3194 11341 300482 26 27230 5108 2833 353 1674.88 1797.99/1798.50 c 592330 3194 12245 382749 31 29038 5619 3737 353 1676.73 1797.99/1798.50 c 593650 3194 13722 529799 38 34997 6181 5214 353 1679.88 1797.99/1798.50 c 595733 3194 12472 416628 33 29489 6800 3964 353 1685.48 1797.99/1798.50 c 598956 3194 12281 404734 32 27604 7481 3773 353 1694.35 1797.99/1798.50 c 603893 3194 13693 528680 38 35057 8230 5185 353 1705.98 1797.99/1798.50 c 611399 3194 12993 303980 23 32092 9054 4485 354 1725.27 1797.99/1798.50 c 622760 3194 15274 517269 33 41264 9960 6766 354 1754.35 1797.99/1798.50 c 639904 3194 17295 524012 30 45266 10957 8787 357 1792.10 1797.99/1798.50 c Resources Exceeded 1797.99/1798.50 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.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 31 642370 385406 3463361 19903 671976 11395 357 1798.00 1797.99/1798.51 c Objective: 10 1797.99/1798.51 s SATISFIABLE 1797.99/1798.51 c Total time: 1798 s
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876912-1245183463/watcher-1876912-1245183463 -o /tmp/evaluation-result-1876912-1245183463/solver-1876912-1245183463 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876912-1245183463.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13056 /proc/meminfo: memFree=1913280/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=11032 CPUtime=0 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 185946676 11296768 253 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 2758 253 175 640 0 2040 0 [startup+0.0226869 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13056 /proc/meminfo: memFree=1913280/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=11580 CPUtime=0.02 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 426 0 0 0 2 0 0 0 18 0 1 0 185946676 11857920 410 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 2895 410 204 640 0 2177 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11580 [startup+0.101691 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13056 /proc/meminfo: memFree=1913280/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=12848 CPUtime=0.09 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 883 0 0 0 9 0 0 0 18 0 1 0 185946676 13156352 772 1992294400 134512640 137136520 4294956256 18446744073709551615 136498090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 3212 772 195 640 0 2568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12848 [startup+0.301705 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13056 /proc/meminfo: memFree=1913280/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=12848 CPUtime=0.29 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 899 0 0 0 29 0 0 0 19 0 1 0 185946676 13156352 788 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 3212 788 198 640 0 2568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12848 [startup+0.701747 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13056 /proc/meminfo: memFree=1913280/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=12872 CPUtime=0.69 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 920 0 0 0 69 0 0 0 22 0 1 0 185946676 13180928 809 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 3218 809 198 640 0 2574 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12872 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1910648/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=13400 CPUtime=1.49 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 1053 0 0 0 148 1 0 0 25 0 1 0 185946676 13721600 942 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 3350 942 198 640 0 2706 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13400 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1909688/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=14424 CPUtime=3.09 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 1310 0 0 0 308 1 0 0 25 0 1 0 185946676 14770176 1199 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 3606 1199 198 640 0 2962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14424 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1907648/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=16352 CPUtime=6.29 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 1787 0 0 0 627 2 0 0 25 0 1 0 185946676 16744448 1676 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 4088 1676 198 640 0 3444 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16352 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1904072/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=19648 CPUtime=12.68 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 2612 0 0 0 1264 4 0 0 25 0 1 0 185946676 20119552 2501 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 4912 2501 198 640 0 4268 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19648 [startup+25.5023 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1901832/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=21608 CPUtime=25.49 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 3101 0 0 0 2541 8 0 0 25 0 1 0 185946676 22126592 2990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 5402 2990 198 640 0 4758 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21608 [startup+51.1029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1900744/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=22708 CPUtime=51.08 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 3375 0 0 0 5094 14 0 0 25 0 1 0 185946676 23252992 3264 1992294400 134512640 137136520 4294956256 18446744073709551615 134606780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 5677 3264 198 640 0 5033 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22708 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1897544/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=25924 CPUtime=102.26 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 4198 0 0 0 10202 24 0 0 25 0 1 0 185946676 26546176 4070 1992294400 134512640 137136520 4294956256 18446744073709551615 136295682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 6481 4070 198 640 0 5837 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25924 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1896456/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=27036 CPUtime=162.24 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 4460 0 0 0 16190 34 0 0 25 0 1 0 185946676 27684864 4332 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 6759 4332 198 640 0 6115 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27036 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1895816/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=27636 CPUtime=222.23 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 4623 0 0 0 22178 45 0 0 25 0 1 0 185946676 28299264 4495 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 6909 4495 198 640 0 6265 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27636 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1894472/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=28936 CPUtime=282.21 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 4950 0 0 0 28161 60 0 0 25 0 1 0 185946676 29630464 4822 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 7234 4822 198 640 0 6590 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28936 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1891144/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32344 CPUtime=342.19 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5811 0 0 0 34148 71 0 0 25 0 1 0 185946676 33120256 5677 1992294400 134512640 137136520 4294956256 18446744073709551615 136502081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8086 5677 198 640 0 7442 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32344 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1890440/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32872 CPUtime=402.18 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5946 0 0 0 40138 80 0 0 25 0 1 0 185946676 33660928 5812 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8218 5812 198 640 0 7574 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 32872 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1890440/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32876 CPUtime=462.16 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5947 0 0 0 46127 89 0 0 25 0 1 0 185946676 33665024 5813 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8219 5813 198 640 0 7575 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 32876 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1890440/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32880 CPUtime=522.14 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5948 0 0 0 52113 101 0 0 25 0 1 0 185946676 33669120 5814 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8220 5814 198 640 0 7576 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 32880 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1890376/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32880 CPUtime=582.12 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5948 0 0 0 58097 115 0 0 25 0 1 0 185946676 33669120 5814 1992294400 134512640 137136520 4294956256 18446744073709551615 134574365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8220 5814 198 640 0 7576 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 32880 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1890376/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=32880 CPUtime=642.11 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 5948 0 0 0 64087 124 0 0 25 0 1 0 185946676 33669120 5814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 8220 5814 198 640 0 7576 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 32880 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1886664/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36452 CPUtime=1061.99 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7048 0 0 0 106003 196 0 0 25 0 1 0 185946676 37326848 6702 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9113 6702 198 640 0 8469 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 36452 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36456 CPUtime=1121.97 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7048 0 0 0 111987 210 0 0 25 0 1 0 185946676 37330944 6702 1992294400 134512640 137136520 4294956256 18446744073709551615 136509157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9114 6702 198 640 0 8470 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 36456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36460 CPUtime=1181.96 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 117972 224 0 0 25 0 1 0 185946676 37335040 6704 1992294400 134512640 137136520 4294956256 18446744073709551615 134616813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9115 6704 198 640 0 8471 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 36460 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36460 CPUtime=1241.94 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 123960 234 0 0 25 0 1 0 185946676 37335040 6704 1992294400 134512640 137136520 4294956256 18446744073709551615 134574863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9115 6704 198 640 0 8471 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 36460 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36460 CPUtime=1301.93 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 129945 248 0 0 25 0 1 0 185946676 37335040 6704 1992294400 134512640 137136520 4294956256 18446744073709551615 136509133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9115 6704 198 640 0 8471 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 36460 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36456 CPUtime=1361.9 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 135927 263 0 0 25 0 1 0 185946676 37330944 6704 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9114 6704 198 640 0 8470 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 36456 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36392 CPUtime=1421.89 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 141909 280 0 0 25 0 1 0 185946676 37265408 6692 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9098 6692 198 640 0 8454 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 36392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36392 CPUtime=1481.88 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 147897 291 0 0 25 0 1 0 185946676 37265408 6692 1992294400 134512640 137136520 4294956256 18446744073709551615 136498308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9098 6692 198 640 0 8454 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 36392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886664/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36392 CPUtime=1541.85 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 153884 301 0 0 25 0 1 0 185946676 37265408 6692 1992294400 134512640 137136520 4294956256 18446744073709551615 134597742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9098 6692 198 640 0 8454 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 36392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886664/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1601.84 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 159872 312 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 36388 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1661.82 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 165863 319 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136502112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 36388 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886600/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1721.81 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 171851 330 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 134617432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 36388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1781.78 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 177834 344 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 134600738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 36388 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1791.39 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 178793 346 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 36388 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1794.59 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 179112 347 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 36388 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1796.19 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 179271 348 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 36388 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1796.99 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 179351 348 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 36388 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1797.79 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 179431 348 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 134571370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 36388 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13057 /proc/meminfo: memFree=1886536/2055920 swapFree=4181836/4192956 [pid=13056] ppid=13054 vsize=36388 CPUtime=1797.99 /proc/13056/stat : 13056 (bsolo) R 13054 13056 12796 0 -1 4194304 7050 0 0 0 179451 348 0 0 25 0 1 0 185946676 37261312 6691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13056/statm: 9097 6691 198 640 0 8453 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 36388 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1794.52 CPU system time (s): 3.48747 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 36460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.52 system time used= 3.48747 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7052 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= 8 involuntary context switches= 2391 runsolver used 1.66675 second user time and 3.2795 second system time The end
Begin job on node24 at 2009-06-16 22:17:43 IDJOB=1876912 IDBENCH=25004 IDSOLVER=699 FILE ID=node24/1876912-1245183463 PBS_JOBID= 9363903 Free space on /tmp= 66364 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876912-1245183463/watcher-1876912-1245183463 -o /tmp/evaluation-result-1876912-1245183463/solver-1876912-1245183463 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876912-1245183463.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED=964304597 node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1913768 kB Buffers: 41304 kB Cached: 58336 kB SwapCached: 5284 kB Active: 54388 kB Inactive: 53036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1913768 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 4240 kB Writeback: 0 kB Mapped: 12924 kB Slab: 20604 kB Committed_AS: 193400 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876912-1245183463.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-16 22:47:42