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