Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 27 | 1798.01 | 1798.55 |
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 | 2.49362 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656346-1276635955.opb 0.00/0.00 c File size is 263267 bytes. 0.00/0.04 c Highest Coefficient sum: 1527 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.04 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.096 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.10 0.05/0.09 c Switching off lower bounding mode. 0.09/0.10 o 28 1627.41/1628.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1627.41/1628.00 c 9 2986 7875 21303 2 17156 3619 18 88 0.10 1627.41/1628.00 c 109 2986 7991 26731 3 17388 3981 134 405 0.27 1627.41/1628.00 c 360 2986 8316 35407 4 18038 4380 459 546 0.66 1627.41/1628.00 c 835 2986 8791 50030 5 18988 4819 934 547 1.52 1627.41/1628.00 c 1648 2986 9715 91859 9 20836 5301 1858 556 2.96 1627.41/1628.00 c 2968 2986 11050 133040 12 23506 5832 3193 550 5.39 1627.41/1628.00 c 5049 2986 13236 242885 18 27878 6416 5379 537 9.40 1627.41/1628.00 c 8273 2986 12002 178513 14 25410 7058 4145 528 15.65 1627.41/1628.00 c 13209 2986 12437 328096 26 27683 7764 4580 488 27.05 1627.41/1628.00 c 20715 2986 15297 633644 41 36201 8541 7440 444 46.61 1627.41/1628.00 c 32077 2986 16114 455487 28 33634 9396 8257 442 72.45 1627.41/1628.00 c 49222 2986 16476 462987 28 34358 10336 8619 439 111.95 1627.41/1628.00 c 75041 2986 18334 819258 44 43674 11370 10477 426 175.97 1627.41/1628.00 c 113873 2986 17545 492160 28 36496 12508 9688 417 272.56 1627.41/1628.00 c 172225 2986 18162 767067 42 39130 13759 10305 417 412.53 1627.41/1628.00 c 259857 2986 20230 985363 48 41866 15135 12373 387 670.68 1627.41/1628.00 c 391409 2986 16825 558644 33 35056 16649 8968 377 1037.38 1627.41/1628.00 o 27 1797.95/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.54 c 564864 2986 24513 2758340 112 54605 3618 16656 347 1627.52 1797.95/1798.54 c 564964 2986 9769 297500 30 20945 3980 1912 346 1628.22 1797.95/1798.54 c 565214 2986 10146 305163 30 21699 4379 2289 347 1628.56 1797.95/1798.54 c 565690 2986 10692 322670 30 22791 4817 2835 347 1629.43 1797.95/1798.54 c 566503 2986 11545 369750 32 25901 5299 3688 347 1631.20 1797.95/1798.54 c 567823 2986 12902 427150 33 28615 5829 5045 347 1634.24 1797.95/1798.54 c 569905 2986 10821 186860 17 23049 6412 2964 347 1639.77 1797.95/1798.54 c 573129 2986 14077 287937 20 29561 7054 6220 348 1645.85 1797.95/1798.54 c 578066 2986 14461 335695 23 30329 7760 6604 348 1657.31 1797.95/1798.54 c 585572 2986 12338 253749 20 27487 8537 4481 350 1673.06 1797.95/1798.54 c 596933 2986 13025 260292 19 28861 9391 5168 351 1698.94 1797.95/1798.54 c 614077 2986 13798 309675 22 29003 10331 5941 353 1738.40 1797.95/1798.54 c Resources Exceeded 1797.95/1798.54 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.95/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.54 c 29 638128 373639 2165234 19290 559279 11433 354 1798.00 1797.95/1798.54 c Objective: 27 1797.95/1798.54 s SATISFIABLE 1797.95/1798.54 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-2656346-1276635955/watcher-2656346-1276635955 -o /tmp/evaluation-result-2656346-1276635955/solver-2656346-1276635955 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656346-1276635955.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: 0.92 0.98 0.99 3/105 11591 /proc/meminfo: memFree=1811652/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=11192 CPUtime=0 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 356 0 0 0 0 0 0 0 25 0 1 0 4889092 11460608 275 1992294400 134512640 137138936 4291684768 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 2798 275 175 642 0 2089 0 [startup+0.06029 s] /proc/loadavg: 0.92 0.98 0.99 3/105 11591 /proc/meminfo: memFree=1811652/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=12452 CPUtime=0.05 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 820 0 0 0 5 0 0 0 25 0 1 0 4889092 12750848 674 1992294400 134512640 137138936 4291684768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3113 674 184 642 0 2469 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12452 [startup+0.101295 s] /proc/loadavg: 0.92 0.98 0.99 3/105 11591 /proc/meminfo: memFree=1811652/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=12684 CPUtime=0.09 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 885 0 0 0 8 1 0 0 25 0 1 0 4889092 12988416 720 1992294400 134512640 137138936 4291684768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3171 720 192 642 0 2527 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12684 [startup+0.300317 s] /proc/loadavg: 0.92 0.98 0.99 3/105 11591 /proc/meminfo: memFree=1811652/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=12684 CPUtime=0.28 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 898 0 0 0 27 1 0 0 25 0 1 0 4889092 12988416 733 1992294400 134512640 137138936 4291684768 18446744073709551615 134607021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3171 733 192 642 0 2527 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12684 [startup+0.700362 s] /proc/loadavg: 0.92 0.98 0.99 3/105 11591 /proc/meminfo: memFree=1811652/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=12720 CPUtime=0.69 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 925 0 0 0 67 2 0 0 25 0 1 0 4889092 13025280 760 1992294400 134512640 137138936 4291684768 18446744073709551615 134575122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3180 760 192 642 0 2536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12720 [startup+1.50045 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11592 /proc/meminfo: memFree=1809288/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=12956 CPUtime=1.49 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 978 0 0 0 147 2 0 0 25 0 1 0 4889092 13266944 813 1992294400 134512640 137138936 4291684768 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3239 813 192 642 0 2595 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12956 [startup+3.10063 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11592 /proc/meminfo: memFree=1808668/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=13612 CPUtime=3.09 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 1148 0 0 0 307 2 0 0 25 0 1 0 4889092 13938688 983 1992294400 134512640 137138936 4291684768 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3403 983 192 642 0 2759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13612 [startup+6.30099 s] /proc/loadavg: 0.93 0.98 0.99 2/106 11592 /proc/meminfo: memFree=1807428/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=14596 CPUtime=6.29 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 1389 0 0 0 626 3 0 0 25 0 1 0 4889092 14946304 1224 1992294400 134512640 137138936 4291684768 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 3649 1224 192 642 0 3005 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14596 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/106 11592 /proc/meminfo: memFree=1804824/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=16912 CPUtime=12.69 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 1966 0 0 0 1263 6 0 0 25 0 1 0 4889092 17317888 1801 1992294400 134512640 137138936 4291684768 18446744073709551615 134602769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 4228 1801 192 642 0 3584 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16912 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/106 11594 /proc/meminfo: memFree=1802716/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=18936 CPUtime=25.49 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 2475 0 0 0 2540 9 0 0 25 0 1 0 4889092 19390464 2310 1992294400 134512640 137138936 4291684768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 4734 2310 192 642 0 4090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18936 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/106 11594 /proc/meminfo: memFree=1799244/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=22576 CPUtime=51.07 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 3388 0 0 0 5093 14 0 0 25 0 1 0 4889092 23117824 3222 1992294400 134512640 137138936 4291684768 18446744073709551615 134576458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 5644 3222 192 642 0 5000 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22576 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/106 11596 /proc/meminfo: memFree=1798748/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=22808 CPUtime=102.26 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 3448 0 0 0 10199 27 0 0 25 0 1 0 4889092 23355392 3282 1992294400 134512640 137138936 4291684768 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 5702 3282 192 642 0 5058 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22808 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11596 /proc/meminfo: memFree=1798252/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=23292 CPUtime=162.24 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 3569 0 0 0 16187 37 0 0 25 0 1 0 4889092 23851008 3403 1992294400 134512640 137138936 4291684768 18446744073709551615 134543175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 5823 3403 192 642 0 5179 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23292 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11598 /proc/meminfo: memFree=1793044/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=28308 CPUtime=222.22 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 4831 0 0 0 22173 49 0 0 25 0 1 0 4889092 28987392 4656 1992294400 134512640 137138936 4291684768 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 7077 4656 192 642 0 6433 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 28308 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11600 /proc/meminfo: memFree=1794160/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=26640 CPUtime=282.2 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 4832 0 0 0 28161 59 0 0 25 0 1 0 4889092 27279360 4240 1992294400 134512640 137138936 4291684768 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 6660 4240 192 642 0 6016 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 26640 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11602 /proc/meminfo: memFree=1794160/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=26644 CPUtime=342.19 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 4833 0 0 0 34148 71 0 0 25 0 1 0 4889092 27283456 4241 1992294400 134512640 137138936 4291684768 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 6661 4241 192 642 0 6017 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 26644 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11604 /proc/meminfo: memFree=1794408/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=26372 CPUtime=402.17 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 4833 0 0 0 40133 84 0 0 25 0 1 0 4889092 27004928 4173 1992294400 134512640 137138936 4291684768 18446744073709551615 134543175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 6593 4173 192 642 0 5949 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 26372 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11604 /proc/meminfo: memFree=1793540/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=27808 CPUtime=462.15 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 5188 0 0 0 46121 94 0 0 25 0 1 0 4889092 28475392 4528 1992294400 134512640 137138936 4291684768 18446744073709551615 134618007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 6952 4528 192 642 0 6308 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 27808 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11606 /proc/meminfo: memFree=1793540/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=27808 CPUtime=522.13 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 5188 0 0 0 52110 103 0 0 25 0 1 0 4889092 28475392 4528 1992294400 134512640 137138936 4291684768 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 6952 4528 192 642 0 6308 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 27808 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11608 /proc/meminfo: memFree=1782504/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=39164 CPUtime=582.12 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 8033 0 0 0 58094 118 0 0 25 0 1 0 4889092 40103936 7371 1992294400 134512640 137138936 4291684768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 9791 7371 192 642 0 9147 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 39164 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11610 /proc/meminfo: memFree=1779528/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=41104 CPUtime=642.1 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 8656 0 0 0 64079 131 0 0 25 0 1 0 4889092 42090496 7856 1992294400 134512640 137138936 4291684768 18446744073709551615 134604052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 10276 7856 192 642 0 9632 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 41104 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1787340/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=33568 CPUtime=1061.98 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 9489 0 0 0 105988 210 0 0 25 0 1 0 4889092 34373632 5967 1992294400 134512640 137138936 4291684768 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 8392 5967 192 642 0 7748 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 33568 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11622 /proc/meminfo: memFree=1780892/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=40168 CPUtime=1121.95 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 11163 0 0 0 111975 220 0 0 25 0 1 0 4889092 41132032 7620 1992294400 134512640 137138936 4291684768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 10042 7620 192 642 0 9398 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 40168 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11624 /proc/meminfo: memFree=1780768/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=40168 CPUtime=1181.94 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 11163 0 0 0 117964 230 0 0 25 0 1 0 4889092 41132032 7620 1992294400 134512640 137138936 4291684768 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 10042 7620 192 642 0 9398 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 40168 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11626 /proc/meminfo: memFree=1779900/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=41000 CPUtime=1241.92 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 11373 0 0 0 123952 240 0 0 25 0 1 0 4889092 41984000 7830 1992294400 134512640 137138936 4291684768 18446744073709551615 134542022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 10250 7830 192 642 0 9606 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 41000 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11628 /proc/meminfo: memFree=1778040/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=42496 CPUtime=1301.91 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 11755 0 0 0 129942 249 0 0 25 0 1 0 4889092 43515904 8204 1992294400 134512640 137138936 4291684768 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 10624 8204 192 642 0 9980 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 42496 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11628 /proc/meminfo: memFree=1773080/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=47472 CPUtime=1361.88 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 12989 0 0 0 135932 256 0 0 25 0 1 0 4889092 48611328 9438 1992294400 134512640 137138936 4291684768 18446744073709551615 134618007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11868 9438 192 642 0 11224 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 47472 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11630 /proc/meminfo: memFree=1772088/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=48484 CPUtime=1421.87 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 13251 0 0 0 141923 264 0 0 25 0 1 0 4889092 49647616 9700 1992294400 134512640 137138936 4291684768 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12121 9700 192 642 0 11477 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 48484 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11632 /proc/meminfo: memFree=1772088/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=48480 CPUtime=1481.85 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 13251 0 0 0 147912 273 0 0 25 0 1 0 4889092 49643520 9700 1992294400 134512640 137138936 4291684768 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12120 9700 192 642 0 11476 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 48480 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11634 /proc/meminfo: memFree=1772088/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=48476 CPUtime=1541.82 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 13251 0 0 0 153902 280 0 0 25 0 1 0 4889092 49639424 9699 1992294400 134512640 137138936 4291684768 18446744073709551615 136500266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12119 9699 192 642 0 11475 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 48476 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11639 /proc/meminfo: memFree=1768368/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=51744 CPUtime=1601.81 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 159894 287 0 0 25 0 1 0 4889092 52985856 10509 1992294400 134512640 137138936 4291684768 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12936 10509 192 642 0 12292 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 51744 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11639 /proc/meminfo: memFree=1769236/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=50308 CPUtime=1661.8 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 165882 298 0 0 25 0 1 0 4889092 51515392 10157 1992294400 134512640 137138936 4291684768 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12577 10157 192 642 0 11933 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 50308 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11641 /proc/meminfo: memFree=1771096/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=48372 CPUtime=1721.77 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 171866 311 0 0 25 0 1 0 4889092 49532928 9673 1992294400 134512640 137138936 4291684768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 12093 9673 192 642 0 11449 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 48372 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1781.75 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 177855 320 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 44732 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1791.36 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 178813 323 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 44732 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1794.56 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 179133 323 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 44732 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1796.15 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 179291 324 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 44732 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1796.95 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 179371 324 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 44732 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1797.75 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 179451 324 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 136504440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 44732 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 0.99 2/106 11643 /proc/meminfo: memFree=1774816/2059040 swapFree=4192956/4192956 [pid=11591] ppid=11589 vsize=44732 CPUtime=1797.95 /proc/11591/stat : 11591 (bsolo_pb10) R 11589 11591 10844 0 -1 4202496 14061 0 0 0 179471 324 0 0 25 0 1 0 4889092 45805568 8763 1992294400 134512640 137138936 4291684768 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11591/statm: 11183 8763 192 642 0 10539 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 44732 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.01 CPU user time (s): 1794.76 CPU system time (s): 3.2525 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 51744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.76 system time used= 3.25251 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14062 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5482 runsolver used 2.84157 second user time and 8.61569 second system time The end
Begin job on node088 at 2010-06-15 23:05:55 IDJOB=2656346 IDBENCH=24997 IDSOLVER=1162 FILE ID=node088/2656346-1276635955 PBS_JOBID= 11172357 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656346-1276635955/watcher-2656346-1276635955 -o /tmp/evaluation-result-2656346-1276635955/solver-2656346-1276635955 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656346-1276635955.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=2053637750 node088.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.217 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812180 kB Buffers: 14600 kB Cached: 108032 kB SwapCached: 0 kB Active: 78032 kB Inactive: 104648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812180 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4272 kB Writeback: 0 kB AnonPages: 60036 kB Mapped: 15592 kB Slab: 42480 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181868 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node088 at 2010-06-15 23:35:54