Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 27 | 1798.01 | 1798.64 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
MD5SUM | c19adaf233257cdd6134391794b23c65 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.624904 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3187 |
Total number of constraints | 8922 |
Number of constraints which are clauses | 8922 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1527 |
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 | 1527 |
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 | 1527 |
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-1876905-1245182894.opb 0.00/0.00 c File size is 263267 bytes. 0.00/0.03 c Highest Coefficient sum: 1527 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.034 s 0.00/0.04 c Var: 3187 Constr: 8922 8922/0/0 Lit: 21969 Watch. Lit: 17751 0.00/0.04 c Obj. Vars: 1527 (47.9134 % of total variables) 0.05/0.09 c Pre-processing Time: 0.089 s 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 0 2986 7857 19657 2 15714 2618 0 0 0.09 0.05/0.09 c Switching off lower bounding mode. 0.05/0.09 o 28 708.54/708.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 708.54/708.85 c 9 2986 7875 21303 2 17156 3619 18 94 0.10 708.54/708.85 c 109 2986 7991 26731 3 17388 3981 134 473 0.23 708.54/708.85 c 360 2986 8316 35407 4 18038 4380 459 647 0.56 708.54/708.85 c 835 2986 8791 50030 5 18988 4819 934 640 1.30 708.54/708.85 c 1648 2986 9715 91857 9 20836 5301 1858 664 2.48 708.54/708.85 c 2968 2986 11050 133172 12 23506 5832 3193 655 4.53 708.54/708.85 c 5049 2986 13269 263726 19 29345 6416 5412 627 8.05 708.54/708.85 c 8274 2986 12508 381825 30 29217 7058 4651 592 13.97 708.54/708.85 c 13210 2986 13045 337705 25 28898 7764 5188 567 23.27 708.54/708.85 c 20717 2986 15762 371172 23 32930 8541 7905 560 36.98 708.54/708.85 c 32078 2986 12129 251561 20 25664 9396 4272 550 58.30 708.54/708.85 c 49222 2986 12556 587584 46 26518 10336 4699 512 96.01 708.54/708.85 c 75041 2986 15195 490577 32 33197 11370 7338 505 148.34 708.54/708.85 c 113873 2986 14487 342004 23 30380 12508 6630 497 229.08 708.54/708.85 c 172225 2986 15140 384203 25 31686 13759 7283 480 358.45 708.54/708.85 c 259858 2986 15617 442360 28 32640 15135 7760 474 547.17 708.54/708.85 o 27 1797.96/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.63 c 330727 2986 18024 666077 36 40266 3618 10167 466 708.61 1797.96/1798.63 c 330827 2986 9799 140848 14 21005 3980 1942 466 709.03 1797.96/1798.63 c 331078 2986 10148 149492 14 21703 4379 2291 466 709.38 1797.96/1798.63 c 331555 2986 10696 165063 15 22799 4817 2839 466 710.05 1797.96/1798.63 c 332369 2986 11564 209265 18 24535 5299 3707 467 711.41 1797.96/1798.63 c 333689 2986 12901 249876 19 27209 5829 5044 467 713.52 1797.96/1798.63 c 335770 2986 10773 166101 15 22953 6412 2916 467 717.70 1797.96/1798.63 c 338994 2986 14194 310204 21 29795 7054 6337 468 722.87 1797.96/1798.63 c 343930 2986 14536 434750 29 34685 7760 6679 469 732.72 1797.96/1798.63 c 351437 2986 12072 421536 34 25551 8537 4215 469 748.52 1797.96/1798.63 c 362799 2986 13607 473520 34 32828 9391 5750 470 771.32 1797.96/1798.63 c 379943 2986 13697 379529 27 28801 10331 5840 469 808.51 1797.96/1798.63 c 405763 2986 15245 450091 29 31897 11365 7388 466 869.63 1797.96/1798.63 c 444595 2986 14303 382804 26 30013 12502 6446 467 951.37 1797.96/1798.63 c 502947 2986 15193 764118 50 31793 13753 7336 454 1105.88 1797.96/1798.63 c 590579 2986 18981 983861 51 40775 15129 11124 448 1317.62 1797.96/1798.63 c 722133 2986 15423 700460 45 35056 16642 7566 442 1631.74 1797.96/1798.63 c Resources Exceeded 1797.96/1798.63 v -x138 -x140 -x142 x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 x232 -x234 -x236 -x238 -x240 -x242 -x244 -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 x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -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 -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 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -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 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -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 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 x1638 -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 -x1722 -x1724 -x1726 -x1728 x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -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 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -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 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -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 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -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 x3181 -x3183 x3185 -x3187 -x137 -x139 -x141 x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x1 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x2 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x3 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x4 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x5 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x6 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x7 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x8 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x9 -x383 -x385 -x387 -x389 -x391 -x393 x395 x10 -x397 -x399 -x401 -x11 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x12 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x13 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x14 -x461 -x463 -x465 -x15 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x16 -x481 -x483 -x485 -x17 -x487 -x489 x491 x18 -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 -x19 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x20 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x21 -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 -x682 -x684 -x686 -x688 -x690 -x22 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x23 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x24 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x25 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x26 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x27 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x28 -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 -x29 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 x944 -x946 -x30 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x31 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x32 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x33 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x34 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x35 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x36 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x37 -x1084 -x1086 -x1088 -x38 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x39 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x40 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x41 -x1148 -x1150 -x42 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x43 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x44 -x1180 -x1182 -x1184 -x45 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x46 -x1200 -x1202 -x1204 -x47 -x1206 -x1208 -x1210 -x48 -x1212 -x1214 -x1216 -x1218 x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x49 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x50 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x51 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x52 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x53 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x54 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x55 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x56 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x57 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x58 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x59 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x60 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x61 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x62 -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 -x1853 -x63 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x64 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x65 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x66 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x69 -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 -x70 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x71 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x72 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x73 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x74 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x75 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x76 -x2187 -x2189 -x2191 -x77 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x78 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x79 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x80 -x2251 -x2253 -x2255 -x81 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x82 -x2271 -x2273 -x2275 -x83 -x2277 -x2279 x2281 x84 -x2283 -x85 -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 -x86 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x87 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x88 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x89 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 x2471 -x2473 -x2475 -x2477 -x90 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x91 -x2493 -x2495 -x2497 -x92 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x93 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x94 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x95 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x96 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x97 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x98 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x99 -x2689 -x2691 -x2693 -x100 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x101 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x102 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x103 -x2753 -x2755 -x104 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x105 -x2771 -x2773 -x2775 -x106 -x2777 -x2779 -x2781 -x107 -x2783 -x108 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x109 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x110 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x111 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x112 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x113 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x114 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x115 -x2972 -x2974 -x2976 -x116 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 x117 -x3008 -x3010 -x3012 x3014 -x3016 -x3018 -x3020 -x118 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x119 -x3036 -x3038 -x3040 -x120 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 x121 -x3056 x3058 -x3060 -x122 -x3062 -x3064 -x3066 -x123 -x3068 -x124 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x125 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x126 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x127 -x3124 -x3126 -x3128 -x128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 x3144 -x3146 -x129 -x3148 -x3150 -x3152 -x130 x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 x3170 -x3172 x131 x3174 -x3176 -x3178 -x132 x3180 x133 -x3182 x3184 x134 -x3186 -x135 x136 1797.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 33 786374 495780 2927200 17122 738400 9265 437 1798.00 1797.96/1798.63 c Objective: 27 1797.96/1798.63 s SATISFIABLE 1797.96/1798.63 c Total time: 1798 s
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876905-1245182894/watcher-1876905-1245182894 -o /tmp/evaluation-result-1876905-1245182894/solver-1876905-1245182894 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876905-1245182894.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.57 1.13 1.04 3/65 19179 /proc/meminfo: memFree=1819936/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=10992 CPUtime=0 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 272 0 0 0 0 0 0 0 20 0 1 0 185888113 11255808 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 2748 256 176 640 0 2039 0 [startup+0.0617859 s] /proc/loadavg: 1.57 1.13 1.04 3/65 19179 /proc/meminfo: memFree=1819936/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=12404 CPUtime=0.05 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 759 0 0 0 5 0 0 0 20 0 1 0 185888113 12701696 678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3101 678 189 640 0 2457 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12404 [startup+0.101793 s] /proc/loadavg: 1.57 1.13 1.04 3/65 19179 /proc/meminfo: memFree=1819936/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=12636 CPUtime=0.09 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 827 0 0 0 8 1 0 0 20 0 1 0 185888113 12939264 727 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3159 727 198 640 0 2515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12636 [startup+0.301833 s] /proc/loadavg: 1.57 1.13 1.04 3/65 19179 /proc/meminfo: memFree=1819936/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=12636 CPUtime=0.29 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 841 0 0 0 27 2 0 0 22 0 1 0 185888113 12939264 741 1992294400 134512640 137136520 4294956256 18446744073709551615 134551428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3159 741 198 640 0 2515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12636 [startup+0.701911 s] /proc/loadavg: 1.57 1.13 1.04 3/65 19179 /proc/meminfo: memFree=1819936/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=12708 CPUtime=0.69 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 872 0 0 0 67 2 0 0 25 0 1 0 185888113 13012992 772 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3177 772 198 640 0 2533 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12708 [startup+1.50107 s] /proc/loadavg: 1.52 1.13 1.04 2/66 19180 /proc/meminfo: memFree=1817432/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=12996 CPUtime=1.49 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 945 0 0 0 147 2 0 0 25 0 1 0 185888113 13307904 845 1992294400 134512640 137136520 4294956256 18446744073709551615 134598615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3249 845 198 640 0 2605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12996 [startup+3.10138 s] /proc/loadavg: 1.52 1.13 1.04 2/66 19180 /proc/meminfo: memFree=1816728/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=13768 CPUtime=3.08 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 1130 0 0 0 306 2 0 0 25 0 1 0 185888113 14098432 1030 1992294400 134512640 137136520 4294956256 18446744073709551615 134553995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3442 1030 198 640 0 2798 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13768 [startup+6.30201 s] /proc/loadavg: 1.52 1.13 1.04 2/66 19180 /proc/meminfo: memFree=1815512/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=15144 CPUtime=6.28 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 1474 0 0 0 625 3 0 0 25 0 1 0 185888113 15507456 1374 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 3786 1374 198 640 0 3142 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15144 [startup+12.7013 s] /proc/loadavg: 1.51 1.14 1.05 2/66 19180 /proc/meminfo: memFree=1811480/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=18540 CPUtime=12.68 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 2326 0 0 0 1263 5 0 0 25 0 1 0 185888113 18984960 2226 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 4635 2226 198 640 0 3991 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18540 [startup+25.5018 s] /proc/loadavg: 1.43 1.13 1.04 2/66 19180 /proc/meminfo: memFree=1809112/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=20964 CPUtime=25.48 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 2936 0 0 0 2540 8 0 0 25 0 1 0 185888113 21467136 2836 1992294400 134512640 137136520 4294956256 18446744073709551615 134574836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 5241 2836 198 640 0 4597 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20964 [startup+51.1018 s] /proc/loadavg: 1.29 1.12 1.04 2/66 19180 /proc/meminfo: memFree=1809048/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=20972 CPUtime=51.07 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 2938 0 0 0 5093 14 0 0 25 0 1 0 185888113 21475328 2838 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 5243 2838 198 640 0 4599 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20972 [startup+102.306 s] /proc/loadavg: 1.11 1.10 1.04 2/66 19180 /proc/meminfo: memFree=1799384/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=30612 CPUtime=102.25 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5343 0 0 0 10202 23 0 0 25 0 1 0 185888113 31346688 5243 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7653 5243 198 640 0 7009 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 30612 [startup+162.302 s] /proc/loadavg: 1.04 1.08 1.03 2/66 19180 /proc/meminfo: memFree=1800216/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=29560 CPUtime=162.23 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5345 0 0 0 16191 32 0 0 25 0 1 0 185888113 30269440 4986 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7390 4986 198 640 0 6746 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29560 [startup+222.301 s] /proc/loadavg: 1.01 1.06 1.02 2/66 19180 /proc/meminfo: memFree=1800216/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=29556 CPUtime=222.21 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5345 0 0 0 22181 40 0 0 25 0 1 0 185888113 30265344 4985 1992294400 134512640 137136520 4294956256 18446744073709551615 134545132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7389 4985 198 640 0 6745 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29556 [startup+282.301 s] /proc/loadavg: 1.00 1.05 1.02 2/66 19180 /proc/meminfo: memFree=1800216/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=29556 CPUtime=282.19 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5346 0 0 0 28169 50 0 0 25 0 1 0 185888113 30265344 4985 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7389 4985 198 640 0 6745 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 29556 [startup+342.302 s] /proc/loadavg: 1.00 1.04 1.01 2/66 19180 /proc/meminfo: memFree=1800216/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=29556 CPUtime=342.17 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5346 0 0 0 34157 60 0 0 25 0 1 0 185888113 30265344 4985 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7389 4985 198 640 0 6745 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 29556 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.01 2/66 19180 /proc/meminfo: memFree=1800216/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=29560 CPUtime=402.15 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5347 0 0 0 40145 70 0 0 25 0 1 0 185888113 30269440 4986 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7390 4986 198 640 0 6746 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 29560 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 19180 /proc/meminfo: memFree=1801240/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=28480 CPUtime=462.12 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5347 0 0 0 46134 78 0 0 25 0 1 0 185888113 29163520 4716 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7120 4716 198 640 0 6476 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 28480 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 19180 /proc/meminfo: memFree=1801240/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=28480 CPUtime=522.11 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5347 0 0 0 52125 86 0 0 25 0 1 0 185888113 29163520 4716 1992294400 134512640 137136520 4294956256 18446744073709551615 134551046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7120 4716 198 640 0 6476 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 28480 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 19180 /proc/meminfo: memFree=1801240/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=28476 CPUtime=582.09 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5348 0 0 0 58115 94 0 0 25 0 1 0 185888113 29159424 4715 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7119 4715 198 640 0 6475 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 28476 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1801240/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=28472 CPUtime=642.07 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 5348 0 0 0 64104 103 0 0 25 0 1 0 185888113 29155328 4714 1992294400 134512640 137136520 4294956256 18446744073709551615 134574848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7118 4714 198 640 0 6474 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 28472 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1798104/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=31584 CPUtime=1121.9 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6442 0 0 0 112016 174 0 0 25 0 1 0 185888113 32342016 5491 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7896 5491 198 640 0 7252 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 31584 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1798104/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=31584 CPUtime=1181.87 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6442 0 0 0 118006 181 0 0 25 0 1 0 185888113 32342016 5491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7896 5491 198 640 0 7252 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 31584 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=31584 CPUtime=1241.86 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6442 0 0 0 123996 190 0 0 25 0 1 0 185888113 32342016 5491 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7896 5491 198 640 0 7252 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 31584 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=31584 CPUtime=1301.84 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6442 0 0 0 129986 198 0 0 25 0 1 0 185888113 32342016 5491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7896 5491 198 640 0 7252 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 31584 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797144/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=32380 CPUtime=1361.81 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6637 0 0 0 135977 204 0 0 25 0 1 0 185888113 33157120 5686 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 8095 5686 198 640 0 7451 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 32380 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797080/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=32444 CPUtime=1421.8 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6646 0 0 0 141969 211 0 0 25 0 1 0 185888113 33222656 5695 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 8111 5695 198 640 0 7467 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 32444 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797080/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=32444 CPUtime=1481.77 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6646 0 0 0 147958 219 0 0 25 0 1 0 185888113 33222656 5695 1992294400 134512640 137136520 4294956256 18446744073709551615 134606759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 8111 5695 198 640 0 7467 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 32444 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797144/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=32084 CPUtime=1541.75 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6646 0 0 0 153948 227 0 0 25 0 1 0 185888113 32854016 5617 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 8021 5617 198 640 0 7377 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 32084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1797656/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=31596 CPUtime=1601.73 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 6646 0 0 0 159936 237 0 0 25 0 1 0 185888113 32354304 5495 1992294400 134512640 137136520 4294956256 18446744073709551615 134616504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 7899 5495 198 640 0 7255 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 31596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1793624/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=35816 CPUtime=1661.7 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 7739 0 0 0 165924 246 0 0 25 0 1 0 185888113 36675584 6549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 8954 6549 198 640 0 8310 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 35816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1790040/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39324 CPUtime=1721.69 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 171913 256 0 0 25 0 1 0 185888113 40267776 7425 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9831 7425 198 640 0 9187 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 39324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39160 CPUtime=1781.67 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 177902 265 0 0 25 0 1 0 185888113 40099840 7386 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9790 7386 198 640 0 9146 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 39160 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39160 CPUtime=1791.26 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 178860 266 0 0 25 0 1 0 185888113 40099840 7386 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9790 7386 198 640 0 9146 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 39160 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39160 CPUtime=1794.47 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179180 267 0 0 25 0 1 0 185888113 40099840 7386 1992294400 134512640 137136520 4294956256 18446744073709551615 136502406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9790 7386 198 640 0 9146 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 39160 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39156 CPUtime=1796.06 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179339 267 0 0 25 0 1 0 185888113 40095744 7385 1992294400 134512640 137136520 4294956256 18446744073709551615 136503733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9789 7385 198 640 0 9145 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 39156 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39156 CPUtime=1796.86 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179419 267 0 0 25 0 1 0 185888113 40095744 7385 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9789 7385 198 640 0 9145 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 39156 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39156 CPUtime=1797.66 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179499 267 0 0 25 0 1 0 185888113 40095744 7385 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9789 7385 198 640 0 9145 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 39156 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39156 CPUtime=1797.87 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179520 267 0 0 25 0 1 0 185888113 40095744 7385 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9789 7385 198 640 0 9145 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 39156 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19180 /proc/meminfo: memFree=1789912/2055920 swapFree=4192812/4192956 [pid=19179] ppid=19177 vsize=39156 CPUtime=1797.96 /proc/19179/stat : 19179 (bsolo) R 19177 19179 18894 0 -1 4194304 8615 0 0 0 179529 267 0 0 25 0 1 0 185888113 40095744 7385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19179/statm: 9789 7385 198 640 0 9145 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 39156 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.01 CPU user time (s): 1795.33 CPU system time (s): 2.68059 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 39332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.33 system time used= 2.68059 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8617 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= 3 involuntary context switches= 2989 runsolver used 2.20966 second user time and 3.69144 second system time The end
Begin job on node77 at 2009-06-16 22:08:14 IDJOB=1876905 IDBENCH=24997 IDSOLVER=699 FILE ID=node77/1876905-1245182894 PBS_JOBID= 9363946 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876905-1245182894/watcher-1876905-1245182894 -o /tmp/evaluation-result-1876905-1245182894/solver-1876905-1245182894 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876905-1245182894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=2037928395 node77.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.263 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.263 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1820352 kB Buffers: 23908 kB Cached: 134396 kB SwapCached: 0 kB Active: 49932 kB Inactive: 121700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820352 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4412 kB Writeback: 0 kB Mapped: 23096 kB Slab: 49980 kB Committed_AS: 116092 kB PageTables: 1376 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-1876905-1245182894.opb Free space on /tmp at the end= 66316 MiB End job on node77 at 2009-06-16 22:38:13