Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -5 | 1782.73 | 1783.28 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-blend.opb |
MD5SUM | b27b0c72b75cc4f9d136fed88900224a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -24 |
Best CPU time to get the best result obtained on this benchmark | 488.339 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | YES |
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 | 37049 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524798 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524862 |
Number of bits of the biggest sum of numbers | 20 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.06 c starting to Solve 0.06 c #variables read: 2490 - #constraints read: 118 0.09 o 380324 0.18 o 380323 0.18 o 380322 15.15 o 380321 18.18 o 380320 1044.09 o 380319 1783.27 c total time : 1783 s 1783.27 s SATISFIABLE 1783.27 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 1783.27 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1783.27 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1783.27 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1783.27 v -x2336 -x2337 -x2338 -x2339 -x2340 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1783.27 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x181 -x182 -x183 -x184 -x185 -x186 1783.27 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 1783.27 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1783.27 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 1783.27 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1783.27 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1783.27 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1783.27 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1783.27 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1783.27 v -x505 -x506 -x507 -x508 -x509 -x510 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1783.27 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x1171 -x1172 -x1173 -x1174 -x1175 1783.27 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1783.27 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1783.27 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1783.27 v -x1467 -x1468 -x1469 -x1470 -x1561 -x1562 -x1563 x1564 x1565 x1566 -x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 1783.27 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1681 1783.27 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1783.27 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1771 -x1772 -x1773 -x1774 -x1775 1783.27 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1783.27 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1783.27 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1783.27 v -x2037 -x2038 -x2039 -x2040 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1783.27 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1783.27 v x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1783.27 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2341 -x2342 -x2343 -x2344 1783.27 v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1783.27 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1783.27 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1783.27 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1783.27 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1783.27 v -x2460 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1783.27 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x661 -x662 -x663 -x664 -x665 -x666 1783.27 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1783.27 v -x688 -x689 -x690 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1783.27 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1651 -x1652 1783.27 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1783.27 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1783.27 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1783.27 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1783.27 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 1783.27 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1783.27 v -x595 -x596 -x597 -x598 -x599 -x600 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1783.27 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1111 -x1112 -x1113 -x1114 -x1115 1783.27 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1783.27 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1783.27 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1783.27 v -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1783.27 v -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1783.27 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1783.27 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x601 -x602 -x603 -x604 -x605 1783.27 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 1783.27 v -x627 -x628 -x629 -x630 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1783.27 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1783.27 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1783.27 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.27 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1783.27 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1783.27 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x391 1783.27 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1783.27 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1783.27 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x2071 -x2072 -x2073 1783.27 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1783.27 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1783.27 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 1783.27 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1783.27 v -x119 -x120 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1783.27 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x31 -x32 -x33 -x34 -x35 1783.27 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 1783.27 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1783.27 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1783.27 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x1021 -x1022 -x1023 1783.27 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1783.27 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1783.27 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1783.27 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1783.27 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 1783.27 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1783.27 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1783.27 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1783.27 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1783.27 v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x961 -x962 -x963 -x964 1783.27 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 1783.27 v -x986 -x987 -x988 -x989 -x990 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1783.27 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1783.27 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1783.27 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x511 -x512 -x513 -x514 -x515 1783.27 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 1783.27 v -x537 -x538 -x539 -x540 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1783.27 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x1471 1783.27 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1783.27 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x301 -x302 -x303 -x304 -x305 -x306 1783.27 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 1783.27 v -x328 -x329 -x330 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1783.27 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1783.27 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1783.27 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1783.27 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1351 -x1352 -x1353 -x1354 1783.27 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1783.27 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1783.27 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1783.27 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1783.27 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1783.27 v -x1950 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1783.27 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x781 -x782 -x783 -x784 1783.27 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1783.27 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1783.27 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 1783.27 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 1783.27 v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1783.27 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1783.27 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1783.27 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1783.27 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1783.27 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1783.27 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1783.27 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1783.27 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1783.27 v -x1527 -x1528 -x1529 -x1530 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1783.27 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1783.27 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1783.27 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2131 -x2132 -x2133 -x2134 1783.27 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1783.27 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1783.27 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 1783.27 v -x2396 -x2397 -x2398 -x2399 -x2400 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1783.27 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x1141 -x1142 -x1143 -x1144 -x1145 1783.27 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1783.27 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1783.27 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1783.27 v -x1437 -x1438 -x1439 -x1440
OK -5
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node0/watcher-36452-1149327095 -o ROOT/results/node0/solver-36452-1149327095 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node0/36452-1149327095/instance-36452-1149327095.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1608816/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=2328 CPUtime=0 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 198370969 2383872 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8039288 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 582 131 112 16 0 11 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1604416/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=6816 CPUtime=9.99 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1336 0 0 0 996 3 0 0 25 0 1 0 198370969 6979584 1307 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 1704 1307 205 16 0 1145 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6816 [startup+20.0076 s] /proc/loadavg: 0.94 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=7964 CPUtime=19.99 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1623 0 0 0 1995 4 0 0 25 0 1 0 198370969 8155136 1594 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 1991 1594 205 16 0 1432 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7964 [startup+30.0138 s] /proc/loadavg: 0.95 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603328/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=7780 CPUtime=30 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1659 0 0 0 2994 6 0 0 25 0 1 0 198370969 7966720 1548 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 1945 1548 205 16 0 1386 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7780 [startup+40.0199 s] /proc/loadavg: 0.96 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8152 CPUtime=40 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 3993 7 0 0 25 0 1 0 198370969 8347648 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2038 1618 205 16 0 1479 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8152 [startup+50.026 s] /proc/loadavg: 0.96 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8092 CPUtime=50 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 4991 9 0 0 25 0 1 0 198370969 8286208 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2023 1618 205 16 0 1464 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 8092 [startup+60.0321 s] /proc/loadavg: 0.97 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=60.01 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 5985 16 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 8080 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=70.01 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 6984 17 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 8080 [startup+80.0444 s] /proc/loadavg: 0.98 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=80.01 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 7982 19 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 8080 [startup+90.0505 s] /proc/loadavg: 0.98 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=90.02 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 8981 21 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 8080 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=100.02 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 9978 24 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 8080 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=110.02 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 10974 28 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 8080 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=120.03 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 11973 30 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 8080 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=130.03 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 12971 32 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 8080 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=140.03 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 13969 34 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 8080 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=150.04 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 14967 37 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 8080 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603264/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8080 CPUtime=160.04 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1729 0 0 0 15963 41 0 0 25 0 1 0 198370969 8273920 1618 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2020 1618 205 16 0 1461 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 8080 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8108 CPUtime=170.04 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1742 0 0 0 16959 45 0 0 25 0 1 0 198370969 8302592 1630 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2027 1630 205 16 0 1468 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 8108 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8108 CPUtime=180.04 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1742 0 0 0 17957 47 0 0 25 0 1 0 198370969 8302592 1630 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2027 1630 205 16 0 1468 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 8108 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8108 CPUtime=190.05 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1742 0 0 0 18956 49 0 0 25 0 1 0 198370969 8302592 1630 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2027 1630 205 16 0 1468 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 8108 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603136/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=8108 CPUtime=200.05 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 1742 0 0 0 19955 50 0 0 25 0 1 0 198370969 8302592 1630 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 2027 1630 205 16 0 1468 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 8108 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21078 /proc/meminfo: memFree=1603136/2055920 swapFree=4191892/4192956 ################ # More data... # ################ /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 12544 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598464/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1600.49 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 159677 372 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 12544 [startup+1610.97 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598464/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1610.5 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 160676 374 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 12544 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598464/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1620.5 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 161675 375 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 12544 [startup+1630.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598464/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1630.5 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 162674 376 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 12544 [startup+1640.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1640.5 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 163673 377 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1640.5 Current children cumulated vsize (Kb) 12544 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1650.51 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 164673 378 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 12544 [startup+1661 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1660.51 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 165671 380 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 12544 [startup+1671 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1670.51 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 166668 383 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1670.51 Current children cumulated vsize (Kb) 12544 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1680.52 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 167666 386 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1680.52 Current children cumulated vsize (Kb) 12544 [startup+1691.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1690.52 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 168666 386 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1690.52 Current children cumulated vsize (Kb) 12544 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1700.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 169666 387 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1700.53 Current children cumulated vsize (Kb) 12544 [startup+1711.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598592/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1710.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 170665 388 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1710.53 Current children cumulated vsize (Kb) 12544 [startup+1721.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598592/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1720.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 171664 389 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 12544 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1730.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 172663 390 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1730.53 Current children cumulated vsize (Kb) 12544 [startup+1741.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1740.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 173661 392 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1740.53 Current children cumulated vsize (Kb) 12544 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1750.54 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 174660 394 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1750.54 Current children cumulated vsize (Kb) 12544 [startup+1761.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 21080 /proc/meminfo: memFree=1598528/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1760.54 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 175659 395 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 12544 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.98 2/70 21135 /proc/meminfo: memFree=1597136/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1770.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 176655 398 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 12544 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.98 2/70 21179 /proc/meminfo: memFree=1597200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1780.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 177649 404 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 12544 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.98 2/70 21193 /proc/meminfo: memFree=1597200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1781.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 177749 404 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 12544 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.98 2/70 21193 /proc/meminfo: memFree=1597200/2055920 swapFree=4191892/4192956 [pid=21078] ppid=21076 vsize=12544 CPUtime=1782.53 /proc/21078/stat : 21078 (Pueblo) R 21076 21078 21032 0 -1 4194304 4184 0 0 0 177849 404 0 0 25 0 1 0 198370969 12845056 2738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/21078/statm: 3136 2738 205 16 0 2577 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 12544 Child status: 10 Real time (s): 1783.28 CPU time (s): 1782.73 CPU user time (s): 1778.69 CPU system time (s): 4.04439 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (Kb): 13056
Begin job on node0 on Sat Jun 3 09:31:35 UTC 2006 FILE ID= 36452-1149327095 PBS_JOBID= 309679 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-blend.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node0/36452-1149327095/instance-36452-1149327095.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-36452-1149327095 -o ROOT/results/node0/solver-36452-1149327095 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node0/36452-1149327095/instance-36452-1149327095.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= b27b0c72b75cc4f9d136fed88900224a RANDOM SEED= 782310161 /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.236 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.236 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: 1609024 kB Buffers: 25720 kB Cached: 354724 kB SwapCached: 492 kB Active: 143100 kB Inactive: 254020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1609024 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 208 kB Writeback: 0 kB Mapped: 25740 kB Slab: 35704 kB Committed_AS: 278824 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sat Jun 3 10:01:18 UTC 2006