Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 17558 | 1782.74 | 1783.32 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 4e682317a6045f4869b1783c80734344 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 813 |
Best CPU time to get the best result obtained on this benchmark | 17.9583 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | YES |
Number of variables | 2289 |
Total number of constraints | 764 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 404 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
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.05 c starting to Solve 0.05 c #variables read: 2289 - #constraints read: 1142 2.66 o 18325 1783.31 c total time : 1783 s 1783.31 s SATISFIABLE 1783.31 v -x2 -x366 -x730 x925 -x1120 -x1705 -x1900 -x3 -x367 -x1121 -x1511 x2096 -x4 -x368 -x1122 -x1707 -x5 -x187 -x369 -x1123 -x1318 1783.31 v -x1513 -x1708 x1903 -x6 -x188 -x370 -x1124 -x1319 -x1514 -x1709 x1904 -x7 -x189 -x371 -x735 -x930 -x1125 -x1320 x1515 -x1710 1783.31 v -x1905 x1516 -x2101 x555 -x1712 -x11 -x193 -x375 -x739 -x934 -x1129 -x1324 -x194 -x1325 -x1520 -x1715 x2105 -x560 -x2107 1783.31 v -x15 -x379 x561 -x743 -x938 -x1133 -x2108 -x16 -x380 -x1134 -x2109 -x17 -x381 -x1135 -x2110 -x564 -x1331 -x1526 x2111 -x567 1783.31 v -x1724 -x1919 x2114 x568 -x1335 -x2115 -x205 -x1726 x1921 -x24 -x206 -x388 -x752 x947 -x1142 -x1727 -x1922 -x2117 -x571 1783.31 v -x1533 -x1728 -x2118 -x572 x2119 -x573 -x1340 -x1535 x2120 -x2121 -x574 -x757 -x952 -x29 -x393 -x1148 -x1928 -x30 -x394 1783.31 v -x1149 -x1344 -x577 -x1345 -x1540 x2125 -x1346 -x1347 -x33 -x397 -x1153 -x34 -x398 -x1154 x2129 -x35 -x399 -x960 -x1155 1783.31 v -x2130 -x36 -x400 -x1156 -x2131 -x37 -x401 -x1157 -x2132 -x38 -x402 -x1158 x2133 -x39 -x403 -x964 -x1159 -x2134 -x965 -x2135 1783.31 v -x223 -x1551 -x2136 -x42 -x406 -x772 x967 -x1162 -x2137 x589 x1943 x590 x774 -x969 -x1359 -x1749 -x227 x775 -x970 -x228 -x1556 1783.31 v -x1751 -x2141 -x47 -x411 -x1167 -x1752 -x1558 -x1753 -x49 -x231 -x413 -x779 -x974 -x1169 -x1364 -x596 -x1755 -x51 -x415 1783.31 v -x781 x976 -x1171 -x1951 -x2146 -x234 -x977 -x1757 -x2147 -x1758 -x2148 -x53 -x417 -x1174 -x1954 -x418 -x600 -x785 -x980 1783.31 v -x1370 -x55 -x419 -x1176 -x2151 -x56 -x420 -x1177 -x2152 -x57 -x421 -x1178 -x1763 -x422 -x604 -x1764 -x59 -x423 -x1180 x2155 1783.31 v -x242 x606 -x1766 x2156 -x61 -x243 -x425 -x1182 -x1767 -x62 -x244 -x426 -x793 -x988 -x1183 -x609 -x1769 -x64 -x428 x610 -x1185 1783.31 v x65 -x429 -x1186 -x2161 x66 -x430 -x797 -x992 -x1187 -x249 -x1383 -x2163 -x614 -x1384 -x2164 -x2165 x252 -x2166 -x253 x617 1783.31 v -x1387 x254 -x2168 -x2169 -x255 -x1585 -x2170 -x74 -x438 -x1196 -x1586 -x2171 -x76 -x440 x622 -x1198 -x2173 -x623 -x1394 1783.31 v -x1589 -x78 -x442 -x1200 -x261 -x1396 -x812 x1007 -x1787 -x444 -x626 -x1788 -x627 -x814 x1009 -x1789 -x1984 -x2179 -x1790 1783.31 v -x2180 -x628 -x816 -x1011 -x629 -x1597 -x1792 -x2182 -x266 -x630 -x1403 -x2183 -x85 -x449 x631 -x819 -x1014 -x1209 x2184 1783.31 v -x632 -x2185 -x821 -x1016 x2186 -x1797 x634 -x2188 -x2189 -x636 -x825 -x1020 -x1800 -x637 -x1801 -x2191 -x92 x456 -x827 1783.31 v -x1022 -x1217 -x93 x457 -x828 -x1023 -x1218 -x829 -x1024 -x95 x459 -x830 -x1025 -x1220 -x96 x460 -x1221 -x2196 -x279 -x1417 1783.31 v -x2197 -x2198 -x462 -x644 -x1029 -x2199 -x1225 -x463 -x645 x836 -x1031 -x1421 -x1616 -x646 -x1032 -x2202 -x101 x465 -x838 1783.31 v -x1033 -x1228 -x1423 x2203 -x102 x466 -x1229 -x2204 -x103 x467 -x840 -x1035 -x1230 -x1620 -x104 x468 -x1231 -x1621 -x1816 1783.31 v -x2011 -x105 -x287 x469 -x842 -x1037 -x1232 -x1427 -x106 x470 -x1233 -x1428 -x1623 -x1818 -x107 x471 -x844 -x1039 -x1234 1783.31 v -x290 -x109 x473 -x846 -x1041 -x1236 -x110 -x474 -x847 -x1042 -x1237 -x293 -x112 -x294 x476 -x849 -x1044 -x1239 -x2019 -x113 1783.31 v -x477 -x1240 -x1435 -x660 -x115 x479 -x661 -x1242 -x1827 -x298 -x117 -x481 -x1244 -x1439 -x300 -x664 -x301 -x1636 -x120 1783.31 v -x484 -x1247 -x1832 -x2027 -x121 -x485 -x1248 -x1833 -x304 -x2224 -x123 -x487 -x1250 -x2225 -x306 -x126 -x308 x490 -x1253 1783.31 v -x1838 -x2228 -x673 -x864 -x1059 -x128 -x492 x674 -x1255 -x1840 -x675 -x130 x494 -x866 -x1256 -x2231 -x313 -x2232 -x132 1783.31 v -x314 -x868 -x1453 -x1648 x315 -x1454 -x134 -x316 x498 -x1260 -x1650 -x1845 -x2040 -x681 -x871 -x1066 -x136 x500 -x872 -x1067 1783.31 v -x1262 -x1457 -x137 -x319 x501 -x873 x1068 -x1263 -x1848 -x2043 -x2238 -x684 -x2239 -x321 -x875 -x1070 -x140 -x504 -x1266 1783.31 v -x1461 -x2241 -x141 -x323 -x1852 -x2242 -x878 -x1073 -x2243 -x688 -x879 -x1074 -x1659 -x1854 -x143 -x507 x689 -x880 -x1075 1783.31 v -x1270 -x1465 x1660 -x1855 -x2050 -x2245 -x144 -x326 x508 -x690 -x1271 -x1466 -x2246 -x509 -x691 -x1857 -x146 -x510 x692 1783.31 v -x1273 -x2248 -x1469 -x1859 -x1470 -x1860 -x1471 -x147 x511 -x1277 -x1862 -x330 -x1863 -x695 -x1669 -x2254 -x696 -x1475 1783.31 v -x1670 -x151 -x515 -x891 -x1086 -x1281 -x152 -x516 -x892 -x1087 -x1282 x1477 -x1672 -x2062 -x893 -x1088 -x1478 -x1673 -x336 1783.31 v -x700 -x894 -x1089 x1479 -x1674 -x2259 -x155 -x519 x895 -x1090 -x1285 -x1480 -x1675 -x1870 -x156 -x520 x896 -x1091 -x1286 1783.31 v -x1676 -x1677 -x158 x340 -x522 x898 -x1093 -x1288 -x1678 -x1873 -x160 x342 -x524 -x706 -x900 x1095 -x1290 -x1680 -x2070 1783.31 v -x343 -x2266 -x162 -x526 -x1292 -x2267 -x345 -x2268 -x164 -x346 x528 -x1099 -x1294 -x1684 -x1879 -x529 -x711 -x905 -x1100 1783.31 v -x1295 x1685 -x1880 -x2075 -x2270 -x348 -x1686 -x2271 -x168 x532 -x1298 -x1883 -x169 x351 -x533 -x1299 -x2274 -x170 -x352 1783.31 v x534 -x716 -x910 -x1105 -x1300 -x1495 -x2275 -x1301 -x1496 -x1691 -x1107 -x2277 -x172 -x354 x536 -x1303 -x1693 -x2083 -x173 1783.31 v -x537 x719 -x1304 -x2084 -x2279 -x175 x539 x916 -x1111 -x1306 -x1696 -x540 -x917 -x1502 -x359 -x723 -x1503 -x1698 -x1893 1783.31 v -x2088 -x360 -x1699 -x2284 -x179 -x361 -x543 -x920 -x1115 -x1310 -x2285 -x180 x544 -x1311 -x1701 -x2286 -x181 x545 -x1312 1783.31 v -x1702 -x2287 -x182 -x546 x728 -x1313 -x1898 -x2093 -x365 -x729 -x1509 -x1704 -x2094 -x1315 -x1510 x185 -x549 -x731 -x926 1783.31 v -x1316 -x1706 -x1901 x550 -x732 -x927 x1317 -x1512 -x2097 -x733 -x928 -x2098 -x734 -x929 -x2099 -x2100 -x554 -x736 -x931 1783.31 v -x1321 -x1711 -x9 -x373 -x737 x932 -x1127 -x1517 -x1907 -x10 x192 -x374 -x556 -x738 -x933 -x1128 x1323 -x1713 -x1908 x557 1783.31 v x1519 -x1714 -x1909 -x2104 -x12 -x376 -x740 -x935 -x1130 -x195 -x14 -x196 x378 -x742 -x937 -x1132 x1327 -x1522 -x1717 -x1912 1783.31 v -x198 x562 -x744 -x939 x1329 -x1524 -x1719 -x1914 x199 -x563 -x745 -x940 x1330 -x1525 -x1720 -x1915 -x18 -x200 x382 -x746 1783.31 v -x941 -x1136 -x1721 -x1916 -x19 -x383 -x1137 -x1527 -x1722 -x1917 -x748 -x943 -x1528 -x1723 x1918 -x2113 -x21 -x203 x385 1783.31 v -x749 -x944 -x1139 -x1334 -x1529 -x22 -x386 -x1140 -x23 -x387 x569 -x751 -x946 -x1141 -x1336 -x1531 -x2116 -x1337 -x1532 1783.31 v -x25 -x207 x389 -x1143 -x1338 -x1923 -x26 -x208 x390 -x754 -x949 -x1144 -x1339 -x1729 -x1924 -x27 -x209 x391 -x755 -x950 1783.31 v -x1145 -x1730 -x1925 -x756 x951 -x1146 -x1341 -x1536 -x1731 -x1926 -x28 -x210 x392 -x1147 -x1342 -x1537 -x1732 x1927 -x2122 1783.31 v x211 -x575 -x758 -x953 x1343 -x1538 -x1733 -x2123 -x1929 -x31 x213 -x395 -x760 -x955 -x1150 -x1735 -x1930 -x1541 -x2126 1783.31 v -x1542 x579 -x763 -x958 -x1543 -x1738 x216 -x764 -x959 -x1349 -x1544 -x1739 -x1934 x217 -x1350 -x1545 -x1740 x1935 x218 1783.31 v -x582 -x766 -x961 x1351 -x1546 -x1741 -x1936 x219 -x583 -x767 -x962 x1352 -x1547 -x1742 -x1937 -x220 x584 -x768 -x963 -x1353 1783.31 v -x1548 x221 -x1354 -x1549 -x1744 -x1939 x224 -x588 -x1357 -x1552 -x1942 -x43 -x407 -x773 -x968 -x1163 -x1358 -x1553 -x44 1783.31 v -x408 -x1164 -x45 -x409 x591 -x1165 -x1360 -x1555 -x46 -x410 -x1166 -x1946 x229 -x593 -x777 -x972 -x1362 -x1557 x1947 -x2142 1783.31 v -x230 -x1363 x595 -x50 x232 -x414 -x780 -x975 -x1170 x1365 -x1560 -x2145 x233 -x597 -x1366 -x1561 -x1756 x52 -x416 -x598 1783.31 v -x1172 -x1367 -x1562 -x1952 -x236 x1565 -x1760 -x2150 x237 -x786 -x981 x1371 -x1566 -x1761 -x1956 x239 -x603 -x788 -x983 1783.31 v -x1373 -x1568 x1958 -x2153 -x240 -x1374 -x1569 x241 -x605 -x790 -x985 -x1375 -x1570 -x60 -x424 -x791 -x986 -x1181 x607 -x792 1783.31 v -x987 -x1377 -x1572 x1962 -x2157 -x63 x245 -x427 -x794 -x989 -x1184 x1964 -x1575 -x2160 -x611 -x1381 -x1576 -x248 -x612 1783.31 v -x1382 -x1577 -x1772 x1967 -x2162 -x67 -x431 x613 -x798 -x993 x1188 -x1578 -x1773 -x1968 x68 -x250 -x432 -x799 -x994 -x1189 1783.31 v -x1579 -x1774 x1969 -x69 -x433 -x800 -x995 x1190 -x1385 -x1775 -x1970 -x70 -x434 -x616 -x801 -x996 x1191 -x1386 -x1581 -x1776 1783.31 v -x1971 -x71 -x435 -x802 -x997 x1192 -x1972 -x72 -x436 -x618 -x803 -x998 x1193 -x1388 -x1583 -x1778 -x1973 -x804 -x999 -x1194 1783.31 v -x1389 -x1584 -x1779 -x73 -x437 x619 -x805 -x1000 -x1195 -x1390 -x1780 x1975 x256 -x620 -x806 -x1001 -x1391 x1781 -x1976 1783.31 v -x75 x257 -x439 -x621 -x807 -x1002 -x1197 -x1392 -x1587 -x1782 x1977 -x2172 -x258 -x808 -x1003 -x1393 -x1588 -x77 x441 -x809 1783.31 v -x1004 -x1199 x1979 x260 -x1395 -x1590 -x1980 -x79 x443 -x625 -x811 -x1006 -x1201 x1591 -x1786 -x1981 -x2176 -x1202 -x1397 1783.31 v -x1592 -x1982 -x2177 -x813 -x1008 -x1593 -x81 x263 -x445 -x1204 -x1399 -x1594 -x815 -x1010 -x1205 -x1400 -x1595 x1985 -x82 1783.31 v x264 -x446 -x1206 -x1401 x1596 -x1791 -x1986 -x2181 -x265 -x84 x448 -x818 -x1013 -x1208 -x1598 -x1793 x1988 -x267 -x1404 1783.31 v -x1599 -x1794 -x1989 -x86 x450 -x820 -x1015 -x1210 -x1795 x1990 -x1211 -x1406 -x1601 -x1796 -x1991 -x87 -x451 x633 -x822 1783.31 v -x1017 -x1212 x1407 -x1602 -x2187 -x88 -x270 -x452 -x823 -x1018 -x1213 -x1408 -x1603 -x1798 x1993 -x89 x271 -x453 -x635 1783.31 v -x824 -x1019 -x1214 -x1409 -x1604 -x1799 x1994 -x90 x272 -x454 -x1215 x1410 -x1605 -x2190 -x91 x273 -x455 -x826 -x1021 -x1216 1783.31 v -x1411 -x1606 x1996 -x274 -x638 -x1412 x1607 -x1802 -x1997 -x2192 -x275 -x639 -x1413 x1608 -x1803 -x1998 -x2193 -x277 -x641 1783.31 v -x1415 x1610 -x1805 -x2000 -x2195 -x278 -x642 x831 -x1026 -x1416 -x1611 -x97 x461 -x643 x832 -x1027 -x1222 -x1807 -x2002 1783.31 v x833 -x1028 -x1223 -x1418 -x1613 -x1808 -x2003 -x1614 -x2004 -x835 x1030 -x1420 -x1615 -x1810 -x2005 -x2200 -x1811 -x2201 1783.31 v -x100 x282 -x464 -x1227 -x2007 -x283 -x647 -x1813 -x2008 -x284 -x1619 -x1814 -x2009 -x285 -x649 x1425 -x2205 -x286 -x1426 1783.31 v -x651 -x1817 x2012 -x2207 -x288 -x652 -x843 x1038 -x2013 -x2208 -x289 -x653 -x1429 -x1624 -x1819 -x2014 x2209 -x108 x472 1783.31 v -x654 -x845 -x1040 -x1235 -x1430 -x1625 -x2015 x2210 -x291 -x655 -x1431 -x1626 -x1821 -x2016 x2211 x292 -x656 -x1432 -x1627 1783.31 v -x1822 -x2017 x2212 -x111 x475 -x657 -x848 -x1043 -x1238 -x1433 -x1628 -x1823 -x2018 x2213 -x658 -x1434 -x1629 x2214 x295 1783.31 v -x659 -x850 -x1045 -x1630 -x1825 -x2020 x2215 -x114 x296 -x478 -x851 -x1046 -x1241 -x1436 -x1631 -x1826 -x2021 x2216 -x297 1783.31 v -x1632 -x116 -x480 x662 -x853 -x1048 -x1243 -x1438 -x1633 -x1828 -x2023 x2218 x299 -x663 -x854 -x1049 -x1634 -x1829 -x2024 1783.31 v x2219 -x118 x482 -x855 -x1050 -x1245 -x1440 -x1635 -x1830 -x2025 x2220 -x119 x483 -x665 -x856 x1051 -x1246 -x1441 -x1831 1783.31 v -x2026 -x2221 x302 -x666 -x857 -x1052 x1442 -x1637 -x2222 -x667 -x858 x1053 -x1638 -x2223 -x122 x486 -x668 -x859 -x1054 1783.31 v -x1249 x1444 -x1639 -x1834 -x2029 -x305 x669 -x1445 -x1640 -x1835 -x2030 -x672 -x863 -x1058 x1448 -x1643 -x2033 -x309 x1449 1783.31 v -x1644 -x1839 -x2034 -x1645 -x129 -x493 -x312 -x676 -x1451 -x1646 -x131 x495 -x677 -x867 -x1062 -x1257 x1452 -x1647 -x1842 1783.31 v -x2037 -x133 -x497 -x679 -x869 -x1064 x1259 -x1649 -x1844 -x2039 -x2234 x135 -x317 -x499 -x1261 -x1456 x1651 -x2236 -x318 1783.31 v -x682 -x1652 x1847 -x2042 -x2237 x138 -x320 -x502 -x874 -x1069 -x1264 -x1459 -x1654 x1849 -x2044 x139 -x503 -x685 -x1265 1783.31 v -x1460 -x1655 x1850 -x2240 -x322 x686 -x876 -x1071 -x1656 -x2046 -x1268 -x2048 -x2049 -x325 -x881 -x1076 -x1661 x1856 -x2051 1783.31 v -x1662 -x2249 -x2250 -x1666 -x2251 -x693 -x887 x1082 -x694 x149 -x331 -x513 -x889 -x1084 -x1279 x1864 -x2059 x150 -x332 1783.31 v -x514 -x890 -x1085 -x1280 x1865 -x2060 -x2255 -x333 x697 -x1476 -x1671 x1866 -x2061 -x2256 x698 -x1867 -x2257 -x153 -x517 1783.31 v -x699 x1283 -x1868 -x2063 -x2258 x154 -x518 -x1284 -x1869 -x2064 x701 -x2065 -x2260 -x338 x702 -x1481 -x1871 -x2066 -x2261 1783.31 v -x703 -x1872 -x2262 -x704 -x1483 -x2068 -x2263 -x159 -x523 -x705 -x899 -x1094 x1289 -x1679 -x2264 -x1485 -x1875 -x2265 1783.31 v x161 -x525 -x707 -x901 -x1096 -x1291 -x1486 -x1681 x1876 -x2071 -x344 x708 -x902 -x1097 -x1487 -x1877 -x2072 x163 -x527 1783.31 v -x709 -x903 -x1098 x1293 -x1488 -x1878 -x2073 -x710 -x1489 -x2074 -x2269 -x1882 -x350 -x714 -x908 -x1103 -x1493 -x2078 1783.31 v -x2273 -x715 -x909 -x1104 -x1494 -x1884 -x2079 -x1885 -x2080 -x717 -x718 -x913 -x1108 -x1498 -x2278 -x1694 -x720 -x1890 1783.31 v -x2085 -x2280 -x721 -x1891 -x2086 -x2281 -x722 x177 -x541 -x918 x1113 -x1308 -x2283 x178 -x542 -x724 -x919 -x1114 -x1309 1783.31 v x1894 -x2089 x725 -x1505 x1895 -x362 -x726 -x921 -x1116 -x1506 -x363 -x727 -x922 -x1117 -x1507 x1897 -x2092 -x364 -x1508 1783.31 v -x1703 x183 -x547 -x924 -x1119 -x1314 x1899 -x2289 x1 x8 x13 x20 -x32 x40 x41 x48 x54 x58 x80 x83 -x94 x98 x99 -x124 x125 x127 1783.31 v x142 x145 x148 -x157 x165 x166 x167 x171 -x174 -x176 -x184 -x186 -x190 -x191 -x197 -x201 -x202 -x204 -x212 x214 -x215 -x222 1783.31 v -x225 -x226 -x235 -x238 -x246 -x247 x251 -x259 -x262 -x268 -x269 x276 -x280 -x281 x303 -x307 -x310 x311 -x324 -x327 -x328 1783.31 v -x329 -x334 x335 -x337 x339 x341 -x347 -x349 -x353 -x355 x356 -x357 x358 -x372 -x377 -x384 -x396 -x404 -x405 -x412 -x447 -x458 1783.31 v x488 -x489 -x491 x496 x505 -x506 -x512 -x521 -x530 -x531 -x535 -x538 x548 x551 x552 x553 x558 -x559 x565 -x566 x570 x576 -x578 1783.31 v -x580 -x581 -x585 -x586 -x587 x592 -x594 x599 -x601 x602 x608 -x615 -x624 -x640 -x648 -x650 -x670 -x671 -x678 -x680 -x683 1783.31 v -x687 -x712 -x713 -x741 -x747 -x750 -x753 -x759 -x761 -x762 -x765 x769 -x770 -x771 -x776 -x778 x782 -x783 -x784 -x787 -x789 1783.31 v -x795 -x796 -x810 -x817 -x834 -x837 -x839 -x841 -x852 -x860 -x861 -x862 -x865 -x870 -x877 x882 -x883 -x884 -x885 -x886 x888 1783.31 v -x897 x904 -x906 x907 x911 x912 x914 -x915 x923 -x936 -x942 -x945 x948 -x954 -x956 -x957 -x966 -x971 x973 -x978 -x979 -x982 1783.31 v x984 -x990 -x991 -x1005 x1012 -x1034 x1036 x1047 x1055 -x1056 -x1057 x1060 -x1061 x1063 x1065 -x1072 -x1077 -x1078 -x1079 1783.31 v -x1080 -x1081 -x1083 -x1092 -x1101 -x1102 -x1106 -x1109 -x1110 -x1112 -x1118 -x1126 -x1131 -x1138 x1151 x1152 -x1160 -x1161 1783.31 v -x1168 x1173 -x1175 -x1179 -x1203 -x1207 x1219 -x1224 -x1226 -x1251 -x1252 -x1254 -x1258 -x1267 -x1269 -x1272 x1274 x1275 1783.31 v x1276 -x1278 x1287 -x1296 -x1297 -x1302 x1305 x1307 -x1322 -x1326 -x1328 x1332 -x1333 -x1348 -x1355 -x1356 x1361 -x1368 1783.31 v -x1369 -x1372 -x1376 -x1378 -x1379 -x1380 x1398 -x1402 -x1405 -x1414 x1419 -x1422 x1424 -x1437 -x1443 -x1446 -x1447 -x1450 1783.31 v -x1455 -x1458 -x1462 -x1463 x1464 -x1467 -x1468 -x1472 -x1473 -x1474 -x1482 -x1484 -x1490 -x1491 -x1492 -x1497 -x1499 1783.31 v -x1500 -x1501 -x1504 -x1518 x1521 -x1523 -x1530 -x1534 -x1539 -x1550 -x1554 x1559 -x1563 x1564 x1567 -x1571 x1573 -x1574 1783.31 v -x1580 -x1582 -x1600 -x1609 -x1612 x1617 -x1618 -x1622 x1641 -x1642 -x1653 x1657 x1658 x1663 -x1664 -x1665 -x1667 -x1668 1783.31 v x1682 -x1683 -x1687 x1688 x1689 x1690 -x1692 -x1695 -x1697 -x1700 -x1716 x1718 x1725 x1734 -x1736 -x1737 -x1743 x1745 x1746 1783.31 v -x1747 -x1748 -x1750 -x1754 -x1759 -x1762 -x1765 -x1768 x1770 x1771 -x1777 -x1783 -x1784 x1785 -x1804 -x1806 -x1809 -x1812 1783.31 v -x1815 -x1820 -x1824 -x1836 -x1837 x1841 -x1843 -x1846 x1851 -x1853 -x1858 -x1861 -x1874 x1881 -x1886 -x1887 x1888 -x1889 1783.31 v -x1892 x1896 -x1902 -x1906 -x1910 -x1911 -x1913 -x1920 -x1931 -x1932 -x1933 -x1938 -x1940 -x1941 -x1944 -x1945 -x1948 1783.31 v -x1949 -x1950 -x1953 -x1955 -x1957 -x1959 -x1960 -x1961 -x1963 -x1965 -x1966 x1974 x1978 -x1983 -x1987 -x1992 -x1995 -x1999 1783.31 v -x2001 -x2006 -x2010 -x2022 -x2028 -x2031 x2032 -x2035 -x2036 -x2038 -x2041 -x2045 -x2047 -x2052 -x2053 -x2054 -x2055 1783.31 v -x2056 -x2057 -x2058 -x2067 -x2069 -x2076 -x2077 -x2081 -x2082 -x2087 -x2090 -x2091 -x2095 -x2102 -x2103 -x2106 -x2112 1783.31 v -x2124 -x2127 x2128 -x2138 -x2139 -x2140 -x2143 -x2144 -x2149 -x2154 -x2158 -x2159 -x2167 -x2174 -x2175 -x2178 -x2194 1783.31 v -x2206 -x2217 -x2226 -x2227 -x2229 -x2230 -x2233 -x2235 -x2244 -x2247 -x2252 -x2253 -x2272 -x2276 -x2282 -x2288
OK 17558
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/node78/watcher-38182-1149291153 -o ROOT/results/node78/solver-38182-1149291153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/67 12850 /proc/meminfo: memFree=1572664/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=2336 CPUtime=0 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 194144107 2392064 128 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11439016 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 584 128 109 16 0 11 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.95 0.90 2/67 12850 /proc/meminfo: memFree=1561144/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=13856 CPUtime=9.99 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 3548 0 0 0 990 9 0 0 25 0 1 0 194144107 14188544 3063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 3464 3063 205 16 0 2904 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13856 [startup+20.0067 s] /proc/loadavg: 0.94 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1557752/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=17504 CPUtime=19.99 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4447 0 0 0 1978 21 0 0 25 0 1 0 194144107 17924096 3962 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4376 3962 205 16 0 3816 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 17504 [startup+30.0127 s] /proc/loadavg: 0.95 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1557560/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=17756 CPUtime=30 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4563 0 0 0 2971 29 0 0 25 0 1 0 194144107 18182144 4027 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4439 4027 205 16 0 3879 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 17756 [startup+40.0188 s] /proc/loadavg: 0.95 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1556536/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=18776 CPUtime=39.99 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4806 0 0 0 3917 82 0 0 25 0 1 0 194144107 19226624 4270 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4694 4270 205 16 0 4134 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 18776 [startup+50.0249 s] /proc/loadavg: 0.96 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1556408/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=18656 CPUtime=49.99 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4968 0 0 0 4883 116 0 0 25 0 1 0 194144107 19103744 4263 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4664 4263 205 16 0 4104 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 18656 [startup+60.031 s] /proc/loadavg: 0.97 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1556280/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=18980 CPUtime=60 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5037 0 0 0 5882 118 0 0 25 0 1 0 194144107 19435520 4332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4745 4332 205 16 0 4185 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 18980 [startup+70.0361 s] /proc/loadavg: 0.97 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1556024/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=19272 CPUtime=70.01 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5102 0 0 0 6869 132 0 0 25 0 1 0 194144107 19734528 4397 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528614 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4818 4397 205 16 0 4258 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 19272 [startup+80.0422 s] /proc/loadavg: 0.98 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1555896/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=19144 CPUtime=80.01 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5136 0 0 0 7858 143 0 0 25 0 1 0 194144107 19603456 4385 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4786 4385 205 16 0 4226 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 19144 [startup+90.0483 s] /proc/loadavg: 0.98 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1555960/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=19392 CPUtime=90.01 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5184 0 0 0 8853 148 0 0 25 0 1 0 194144107 19857408 4433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528598 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 4848 4433 205 16 0 4288 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 19392 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1555128/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=20160 CPUtime=100.02 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5436 0 0 0 9848 154 0 0 25 0 1 0 194144107 20643840 4637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5040 4637 205 16 0 4480 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 20160 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.91 2/67 12850 /proc/meminfo: memFree=1554808/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=20452 CPUtime=110.02 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5508 0 0 0 10843 159 0 0 25 0 1 0 194144107 20942848 4709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5113 4709 205 16 0 4553 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 20452 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1554808/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=20380 CPUtime=120.03 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5508 0 0 0 11840 163 0 0 25 0 1 0 194144107 20869120 4694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5095 4694 205 16 0 4535 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 20380 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1554744/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=20380 CPUtime=130.02 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5532 0 0 0 12831 171 0 0 25 0 1 0 194144107 20869120 4694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520003 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5095 4694 205 16 0 4535 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 20380 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553400/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21912 CPUtime=140.02 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5900 0 0 0 13821 181 0 0 25 0 1 0 194144107 22437888 5062 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5478 5062 205 16 0 4918 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 21912 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553272/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21872 CPUtime=150.03 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 14803 200 0 0 25 0 1 0 194144107 22396928 5066 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5468 5066 205 16 0 4908 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 21872 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553336/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21676 CPUtime=160.03 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 15779 224 0 0 25 0 1 0 194144107 22196224 5017 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5419 5017 205 16 0 4859 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 21676 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21552 CPUtime=170.04 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 16753 251 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5388 4986 205 16 0 4828 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 21552 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21552 CPUtime=180.04 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 17720 284 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5388 4986 205 16 0 4828 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 21552 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=21552 CPUtime=190.04 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 18695 309 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5388 4986 205 16 0 4828 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 21552 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1552376/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=22612 CPUtime=200.05 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 6225 0 0 0 19689 316 0 0 25 0 1 0 194144107 23154688 5248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 5653 5248 205 16 0 5093 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 22612 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.91 2/67 12850 /proc/meminfo: memFree=1552440/2055892 swapFree=4085732/4096564 ################ # More data... # ################ /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1590.46 Current children cumulated vsize (Kb) 31928 [startup+1600.93 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1543032/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1600.47 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 158970 1077 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1600.47 Current children cumulated vsize (Kb) 31928 [startup+1610.94 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1543032/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1610.46 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 159968 1078 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517955 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1610.46 Current children cumulated vsize (Kb) 31928 [startup+1620.94 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1543096/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1620.47 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 160967 1080 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1620.47 Current children cumulated vsize (Kb) 31928 [startup+1630.95 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542968/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32000 CPUtime=1630.47 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10069 0 0 0 161965 1082 0 0 25 0 1 0 194144107 32768000 7594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8000 7594 205 16 0 7440 0 Current children cumulated CPU time (s) 1630.47 Current children cumulated vsize (Kb) 32000 [startup+1640.95 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542968/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1640.47 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10069 0 0 0 162963 1084 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1640.47 Current children cumulated vsize (Kb) 31928 [startup+1650.96 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32104 CPUtime=1650.48 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 163961 1087 0 0 25 0 1 0 194144107 32874496 7613 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8026 7613 205 16 0 7466 0 Current children cumulated CPU time (s) 1650.48 Current children cumulated vsize (Kb) 32104 [startup+1660.97 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31932 CPUtime=1660.48 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 164958 1090 0 0 25 0 1 0 194144107 32698368 7577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7983 7577 205 16 0 7423 0 Current children cumulated CPU time (s) 1660.48 Current children cumulated vsize (Kb) 31932 [startup+1670.97 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1670.48 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 165955 1093 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1670.48 Current children cumulated vsize (Kb) 31928 [startup+1680.98 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1680.49 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 166954 1095 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1680.49 Current children cumulated vsize (Kb) 31928 [startup+1690.98 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32056 CPUtime=1690.49 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 167952 1097 0 0 25 0 1 0 194144107 32825344 7594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8014 7594 205 16 0 7454 0 Current children cumulated CPU time (s) 1690.49 Current children cumulated vsize (Kb) 32056 [startup+1700.99 s] /proc/loadavg: 1.00 0.99 0.91 2/67 12850 /proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31988 CPUtime=1700.49 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 168951 1098 0 0 25 0 1 0 194144107 32755712 7591 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7997 7591 205 16 0 7437 0 Current children cumulated CPU time (s) 1700.49 Current children cumulated vsize (Kb) 31988 [startup+1710.99 s] /proc/loadavg: 1.00 0.99 0.91 2/73 12873 /proc/meminfo: memFree=1541768/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1710.49 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 169949 1100 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1710.49 Current children cumulated vsize (Kb) 31928 [startup+1721 s] /proc/loadavg: 1.00 0.99 0.91 2/73 12963 /proc/meminfo: memFree=1541640/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32056 CPUtime=1720.45 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10158 0 0 0 170944 1101 0 0 25 0 1 0 194144107 32825344 7597 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8014 7597 205 16 0 7454 0 Current children cumulated CPU time (s) 1720.45 Current children cumulated vsize (Kb) 32056 [startup+1731.01 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542520/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1730.44 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10204 0 0 0 171940 1104 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1730.44 Current children cumulated vsize (Kb) 31928 [startup+1741.01 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1740.44 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10204 0 0 0 172938 1106 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (Kb) 31928 [startup+1751.02 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32036 CPUtime=1750.44 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 173936 1108 0 0 25 0 1 0 194144107 32804864 7584 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8009 7584 205 16 0 7449 0 Current children cumulated CPU time (s) 1750.44 Current children cumulated vsize (Kb) 32036 [startup+1761.02 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1760.44 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 174935 1109 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 31928 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542712/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=31928 CPUtime=1770.45 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 175934 1111 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 7982 7576 205 16 0 7422 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 31928 [startup+1781.04 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32184 CPUtime=1780.45 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 176931 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8046 7634 205 16 0 7486 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 32184 [startup+1782.04 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32184 CPUtime=1781.45 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 177031 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8046 7634 205 16 0 7486 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 32184 [startup+1783.04 s] /proc/loadavg: 1.00 0.99 0.91 2/67 13045 /proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564 [pid=12850] ppid=12848 vsize=32184 CPUtime=1782.45 /proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 177131 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12850/statm: 8046 7634 205 16 0 7486 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 32184 Child status: 10 Real time (s): 1783.32 CPU time (s): 1782.74 CPU user time (s): 1771.58 CPU system time (s): 11.1543 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (Kb): 32184
Begin job on node78 on Fri Jun 2 23:32:33 UTC 2006 FILE ID= 38182-1149291153 PBS_JOBID= 306873 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-38182-1149291153 -o ROOT/results/node78/solver-38182-1149291153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED= 443155645 /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.225 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 : 6006.17 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.225 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1573064 kB Buffers: 35620 kB Cached: 377272 kB SwapCached: 2520 kB Active: 46744 kB Inactive: 374852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1573064 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 156 kB Writeback: 0 kB Mapped: 15136 kB Slab: 47696 kB Committed_AS: 306896 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Sat Jun 3 00:02:16 UTC 2006