Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | 0 | 276.169 | 276.258 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb |
MD5SUM | eff6ad715055e79721cc364806b971f0 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 276.169 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 2490 |
Total number of constraints | 74 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 74 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 14388140441600 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 203610440670021 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 78436840243200 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 789015556311444 |
Number of bits of the biggest sum of numbers | 50 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb 0.00/0.01 c File size is 215639 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Highest Coefficient sum: 7.89016e+14 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.028 s 0.00/0.03 c Var: 2490 Constr: 117 3/0/114 Lit: 21990 Watch. Lit: 5598 0.00/0.03 c Obj. Vars: 660 (26.506 % of total variables) 0.09/0.16 c Pre-processing Time: 0.16 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 1195 108 20107 186 14836 40214 0 0 0.16 0.09/0.19 o 0 0.181 274.91/275.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 274.91/275.01 c 0 1195 109 20474 187 16485 40948 1 0 0.18 274.91/275.01 c 101 1195 210 46328 220 16690 45043 102 433 0.23 274.91/275.01 c 352 1195 461 60825 131 17377 49548 353 931 0.38 274.91/275.01 c 827 1195 936 91585 97 17888 54503 828 1531 0.54 274.91/275.01 c 1640 1195 1749 130794 74 19303 59954 1641 2157 0.76 274.91/275.01 c 2960 1195 3069 208349 67 21683 65950 2961 2307 1.28 274.91/275.01 c 5042 1193 5151 273041 53 25801 72546 5043 2631 1.92 274.91/275.01 c 8266 1193 8375 803182 95 32704 79801 8267 2448 3.38 274.91/275.01 c 13202 1193 13311 1228191 92 42490 87782 13203 2121 6.22 274.91/275.01 c Caught signal: 15 274.91/275.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 274.91/275.01 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 274.91/275.01 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 274.91/275.01 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 274.91/275.01 v -x2336 -x2337 -x2338 -x2339 -x2340 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 274.91/275.01 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x181 -x182 -x183 -x184 -x185 -x186 274.91/275.01 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 274.91/275.01 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 274.91/275.01 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 274.91/275.01 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 274.91/275.01 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 274.91/275.01 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 274.91/275.01 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 274.91/275.01 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 274.91/275.01 v -x505 -x506 -x507 -x508 -x509 -x510 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 274.91/275.01 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x1171 -x1172 -x1173 -x1174 -x1175 274.91/275.01 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 274.91/275.01 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 274.91/275.01 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 274.91/275.01 v -x1467 -x1468 -x1469 -x1470 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 274.91/275.01 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 274.91/275.01 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 274.91/275.01 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1771 -x1772 -x1773 -x1774 274.91/275.01 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 274.91/275.01 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 274.91/275.01 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 274.91/275.01 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 274.91/275.01 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 274.91/275.01 v -x2250 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 274.91/275.01 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2341 -x2342 -x2343 274.91/275.01 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 274.91/275.01 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 274.91/275.01 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 274.91/275.01 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 274.91/275.01 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 274.91/275.01 v -x2459 -x2460 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 274.91/275.01 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x661 -x662 -x663 -x664 -x665 274.91/275.01 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 274.91/275.01 v -x687 -x688 -x689 -x690 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 274.91/275.01 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1651 274.91/275.01 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 274.91/275.01 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1981 -x1982 -x1983 -x1984 -x1985 274.91/275.01 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 274.91/275.01 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 274.91/275.01 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 274.91/275.01 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 274.91/275.01 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 274.91/275.01 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1111 -x1112 -x1113 -x1114 274.91/275.01 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 274.91/275.01 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 274.91/275.01 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 274.91/275.01 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 274.91/275.01 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 274.91/275.01 v -x1560 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 274.91/275.01 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x601 -x602 -x603 -x604 274.91/275.01 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 274.91/275.01 v -x626 -x627 -x628 -x629 -x630 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 274.91/275.01 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 274.91/275.01 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 274.91/275.01 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 274.91/275.01 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 274.91/275.01 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 274.91/275.01 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x391 274.91/275.01 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 274.91/275.01 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 274.91/275.01 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x2071 -x2072 -x2073 274.91/275.01 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 274.91/275.01 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 274.91/275.01 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 274.91/275.01 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 274.91/275.01 v -x119 -x120 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 274.91/275.01 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x31 -x32 -x33 -x34 -x35 274.91/275.01 v -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x151 274.91/275.01 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 274.91/275.01 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 274.91/275.01 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x1021 -x1022 -x1023 274.91/275.01 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 274.91/275.01 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 274.91/275.01 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 274.91/275.01 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 274.91/275.01 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 274.91/275.01 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 274.91/275.01 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 274.91/275.01 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 274.91/275.01 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 274.91/275.01 v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x961 -x962 -x963 -x964 274.91/275.01 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 274.91/275.01 v -x986 -x987 -x988 -x989 -x990 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 274.91/275.01 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 274.91/275.01 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 274.91/275.01 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x511 -x512 -x513 -x514 -x515 274.91/275.01 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 274.91/275.01 v -x537 -x538 -x539 -x540 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 274.91/275.01 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x1471 274.91/275.01 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 274.91/275.01 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x301 -x302 -x303 -x304 -x305 -x306 274.91/275.01 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 274.91/275.01 v -x328 -x329 -x330 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 274.91/275.01 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 274.91/275.01 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 274.91/275.01 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 274.91/275.01 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1351 -x1352 -x1353 -x1354 274.91/275.01 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 274.91/275.01 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 274.91/275.01 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 274.91/275.01 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 274.91/275.01 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 274.91/275.01 v -x1950 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 274.91/275.01 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x781 -x782 -x783 -x784 274.91/275.01 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 274.91/275.01 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 274.91/275.01 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 274.91/275.01 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 274.91/275.01 v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 274.91/275.01 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 274.91/275.01 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 274.91/275.01 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 274.91/275.01 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 274.91/275.01 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 274.91/275.01 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 274.91/275.01 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 274.91/275.01 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 274.91/275.01 v -x1527 -x1528 -x1529 -x1530 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 274.91/275.01 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 274.91/275.01 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 274.91/275.01 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2131 -x2132 -x2133 -x2134 274.91/275.01 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 274.91/275.01 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 274.91/275.01 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 274.91/275.01 v -x2396 -x2397 -x2398 -x2399 -x2400 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 274.91/275.01 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x1141 -x1142 -x1143 -x1144 -x1145 274.91/275.01 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 274.91/275.01 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 274.91/275.01 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 274.91/275.01 v -x1437 -x1438 -x1439 -x1440 274.91/275.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 274.91/275.01 c 9 13470 1076 19075 13579 1270488 13471 48 274.92 274.91/275.01 c Objective: 0 274.91/275.01 s SATISFIABLE 274.91/275.01 c Total time: 274.922 s
OK 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-433308-1177957529 -o ROOT/results/node44/solver-433308-1177957529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.93 3/77 9975 /proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=2332 CPUtime=0 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 243664621 2387968 27 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11283085 0 0 4096 0 0 0 0 17 0 0 0 /proc/9975/statm: 583 29 21 324 0 9 0 [startup+0.059231 s] /proc/loadavg: 0.92 0.97 0.93 3/77 9975 /proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=5036 CPUtime=0.05 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 699 0 0 0 5 0 0 0 18 0 1 0 243664621 5156864 616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 1259 616 303 324 0 329 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5036 [startup+0.102236 s] /proc/loadavg: 0.92 0.97 0.93 3/77 9975 /proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=5104 CPUtime=0.09 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 739 0 0 0 9 0 0 0 18 0 1 0 243664621 5226496 656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 1276 656 305 324 0 346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301256 s] /proc/loadavg: 0.92 0.97 0.93 3/77 9975 /proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=5496 CPUtime=0.28 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 830 0 0 0 28 0 0 0 19 0 1 0 243664621 5627904 747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 1374 747 311 324 0 444 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5496 [startup+0.701297 s] /proc/loadavg: 0.92 0.97 0.93 3/77 9975 /proc/meminfo: memFree=1862080/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=6404 CPUtime=0.68 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 1048 0 0 0 68 0 0 0 23 0 1 0 243664621 6557696 965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 1601 965 311 324 0 671 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6404 [startup+1.50138 s] /proc/loadavg: 0.92 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1858616/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=8096 CPUtime=1.49 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 1473 0 0 0 148 1 0 0 25 0 1 0 243664621 8290304 1390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 2024 1390 311 324 0 1094 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8096 [startup+3.10154 s] /proc/loadavg: 0.92 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1856312/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=14420 CPUtime=3.08 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 3064 0 0 0 307 1 0 0 25 0 1 0 243664621 14766080 2981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 3605 2981 311 324 0 2675 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14420 [startup+6.30187 s] /proc/loadavg: 0.93 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1845176/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=22176 CPUtime=6.29 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 4993 0 0 0 627 2 0 0 25 0 1 0 243664621 22708224 4910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 5544 4910 311 324 0 4614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22176 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1803264/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=67468 CPUtime=12.69 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 16325 0 0 0 1263 6 0 0 25 0 1 0 243664621 69087232 16159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9975/statm: 16867 16159 311 324 0 15937 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67468 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1709120/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=159676 CPUtime=25.48 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 39411 0 0 0 2534 14 0 0 25 0 1 0 243664621 163508224 38922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 39919 38922 311 324 0 38989 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 159676 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1540544/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=331196 CPUtime=51.07 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 82386 0 0 0 5074 33 0 0 25 0 1 0 243664621 339144704 81469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 82799 81469 311 324 0 81869 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 331196 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.93 2/78 9976 /proc/meminfo: memFree=1196480/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=673708 CPUtime=102.26 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 168258 0 0 0 10157 69 0 0 25 0 1 0 243664621 689876992 166486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 168427 166486 311 324 0 167497 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 673708 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 9976 /proc/meminfo: memFree=800960/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=1079684 CPUtime=162.23 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 269632 0 0 0 16108 115 0 0 25 0 1 0 243664621 1105596416 266152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 269921 266153 311 324 0 268991 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1079684 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 9976 /proc/meminfo: memFree=398016/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=1475420 CPUtime=222.22 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 369336 0 0 0 22066 156 0 0 25 0 1 0 243664621 1510830080 365856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 368855 365856 311 324 0 367925 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1475420 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+275.005 s] /proc/loadavg: 1.05 0.99 0.93 2/78 9976 /proc/meminfo: memFree=45888/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=1843456 CPUtime=274.91 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27294 197 0 0 25 0 1 0 243664621 1887698944 453423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 460864 453423 311 324 0 459934 0 Current children cumulated CPU time (s) 274.91 Current children cumulated vsize (KiB) 1843456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+275.801 s] /proc/loadavg: 1.05 0.99 0.93 2/78 9976 /proc/meminfo: memFree=45888/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=1843456 CPUtime=275.7 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27373 197 0 0 25 0 1 0 243664621 1887698944 453423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11398257 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 460864 453423 311 324 0 459934 0 Current children cumulated CPU time (s) 275.7 Current children cumulated vsize (KiB) 1843456 [startup+276.202 s] /proc/loadavg: 1.05 0.99 0.93 2/79 9977 /proc/meminfo: memFree=198712/2055920 swapFree=4156212/4192956 [pid=9975] ppid=9973 vsize=1843456 CPUtime=276.11 /proc/9975/stat : 9975 (bsolo3.0.17) R 9973 9975 9518 0 -1 4194304 460318 0 0 0 27391 220 0 0 25 0 1 0 243664621 1887698944 132911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/9975/statm: 460864 132911 48994 324 0 459934 0 Current children cumulated CPU time (s) 276.11 Current children cumulated vsize (KiB) 1843456 Child status: 15 Real time (s): 276.258 CPU time (s): 276.169 CPU user time (s): 273.912 CPU system time (s): 2.25666 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 1843456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 273.912 system time used= 2.25666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460322 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= 12 involuntary context switches= 5497 runsolver used 0.251961 second user time and 0.574912 second system time The end
Begin job on node44 on Mon Apr 30 18:25:29 UTC 2007 IDJOB= 433308 IDBENCH= 2462 IDSOLVER= 199 FILE ID= node44/433308-1177957529 PBS_JOBID= 4727687 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-433308-1177957529 -o ROOT/results/node44/solver-433308-1177957529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433308-1177957529/instance-433308-1177957529.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= eff6ad715055e79721cc364806b971f0 RANDOM SEED= 113564818 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862552 kB Buffers: 31308 kB Cached: 71896 kB SwapCached: 13620 kB Active: 75656 kB Inactive: 53024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862552 kB SwapTotal: 4192956 kB SwapFree: 4156212 kB Dirty: 6880 kB Writeback: 0 kB Mapped: 33664 kB Slab: 50252 kB Committed_AS: 1550472 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node44 on Mon Apr 30 18:30:06 UTC 2007