Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 38 | 1782.73 | 1783.82 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 019e5a614038472d624f56ab4ecfb30e |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
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.04 c starting to Solve 0.04 c #variables read: 2754 - #constraints read: 487 1096.74 o 63 1096.74 o 62 1096.74 o 61 1096.75 o 60 1096.79 o 59 1096.91 o 58 1096.95 o 57 1097.11 o 56 1098.97 o 55 1099.99 o 54 1106.69 o 51 1107.72 o 50 1126.13 o 49 1126.72 o 45 1126.72 o 44 1126.91 o 43 1126.92 o 42 1196.02 o 41 1196.02 o 40 1197.83 o 39 1470.47 o 38 1783.81 c total time : 1783 s 1783.81 s SATISFIABLE 1783.81 v -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 x2594 x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 x2603 x2604 1783.81 v -x2605 -x2606 x2607 -x2608 x2609 x2610 -x2611 x2612 x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 1783.81 v -x2623 x2624 -x2625 -x2626 x2627 -x2628 -x2629 x2630 -x2631 x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 1783.81 v -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 1783.81 v -x2659 -x2660 -x2661 -x2662 x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1783.81 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1783.81 v -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1783.81 v x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1783.81 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 1783.81 v -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1783.81 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1783.81 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 x784 x785 x786 -x787 x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 1783.81 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 1783.81 v -x817 -x818 -x819 x820 x821 -x822 -x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 1783.81 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 x852 x853 x854 x855 -x856 -x857 -x858 -x859 -x860 1783.81 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 x875 -x876 -x877 x878 x879 x880 -x881 -x882 1783.81 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1783.81 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 x916 x917 x918 x919 x920 x921 -x922 -x923 -x924 -x925 1783.81 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1783.81 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1783.81 v x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 x986 -x987 -x988 -x989 1783.81 v -x990 -x991 -x992 -x993 x994 x995 x996 x997 x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1783.81 v -x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1783.81 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1783.81 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1783.81 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1783.81 v -x1079 x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1783.81 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1783.81 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1783.81 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 1783.81 v -x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1783.81 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 1783.81 v -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1783.81 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 -x1216 -x1217 1783.81 v x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 1783.81 v x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 -x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 -x1252 x1253 -x1254 -x1255 1783.81 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1783.81 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1783.81 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1783.81 v -x1307 -x1308 -x1309 -x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1783.81 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1783.81 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1783.81 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1783.81 v -x1377 x1378 x1379 x1380 -x1381 -x1382 x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1783.81 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1783.81 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1783.81 v -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 x1437 x1438 x1439 x1440 x1441 -x1442 x1443 x1444 x1445 x1446 x1447 1783.81 v x1448 x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1783.81 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1783.81 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1783.81 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 -x1516 -x1517 1783.81 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1783.81 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1783.81 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1783.81 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 1783.81 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1783.81 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1783.81 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1783.81 v -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1783.81 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1783.81 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1783.81 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1783.81 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1783.81 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1783.81 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1783.81 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1783.81 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1783.81 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1783.81 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1783.81 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 1783.81 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1783.81 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1783.81 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1783.81 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1783.81 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1783.81 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1783.81 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1783.81 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 x1975 x1976 x1977 -x1978 -x1979 -x1980 1783.81 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1783.81 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1783.81 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1783.81 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 x2043 x2044 x2045 -x2046 -x2047 -x2048 -x2049 1783.81 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1783.81 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1783.81 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1783.81 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1783.81 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 x2127 x2128 -x2129 x2130 x2131 x2132 -x2133 -x2134 -x2135 1783.81 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1783.81 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1783.81 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1783.81 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 x2203 -x2204 1783.81 v x2205 x2206 x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 1783.81 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1783.81 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1783.81 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1783.81 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1783.81 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1783.81 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1783.81 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 1783.81 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1783.81 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1783.81 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1783.81 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1783.81 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 x2422 -x2423 x2424 x2425 x2426 -x2427 1783.81 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1783.81 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 1783.81 v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 1783.81 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1783.81 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1783.81 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1783.81 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1783.81 v -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 1783.81 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1783.81 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 x13 x14 x15 x16 -x17 -x18 -x19 -x20 -x21 1783.81 v -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1783.81 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 1783.81 v -x74 -x75 x76 x77 x78 x79 -x80 x81 -x82 -x83 x84 x85 x86 x87 x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 1783.81 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 1783.81 v -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1783.81 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 x162 -x163 -x164 -x165 1783.81 v -x166 x167 x168 x169 -x170 -x171 x172 x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 1783.81 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 1783.81 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 1783.81 v -x230 -x231 x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 1783.81 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 -x269 x270 x271 -x272 x273 1783.81 v x274 -x275 -x276 x277 x278 x279 x280 x281 x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1783.81 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1783.81 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 1783.81 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 1783.81 v -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1783.81 v -x380 -x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 1783.81 v -x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1783.81 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 1783.81 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 1783.81 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1783.81 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1783.81 v -x506 -x507 -x508 x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1783.81 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 x541 x542 -x543 x544 x545 x546 x547 x548 1783.81 v -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1783.81 v -x570 x571 x572 -x573 x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 x589 -x590 x591 1783.81 v -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 1783.81 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 1783.81 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654 -x655 1783.81 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1783.81 v -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 x685 x686 -x687 -x688 -x689 x690 -x691 -x692 x693 -x694 x695 -x696 -x697 -x698 1783.81 v -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1783.81 v -x720 x721 -x722 -x723 x724 -x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738
OK 38
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/node34/watcher-37462-1149323018 -o ROOT/results/node34/solver-37462-1149323018 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37462-1149323018/instance-37462-1149323018.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.01 1.00 3/64 27376 /proc/meminfo: memFree=1863744/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=2572 CPUtime=0 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 197965590 2633728 248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8187607 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 643 248 199 16 0 84 0 [startup+10.0027 s] /proc/loadavg: 1.01 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1860944/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=5264 CPUtime=10 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 934 0 0 0 1000 0 0 0 25 0 1 0 197965590 5390336 905 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 1316 905 205 16 0 757 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 5264 [startup+20.0094 s] /proc/loadavg: 1.01 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1860944/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=5264 CPUtime=20 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 934 0 0 0 2000 0 0 0 25 0 1 0 197965590 5390336 905 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 1316 905 205 16 0 757 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 5264 [startup+30.0161 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1859984/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=6300 CPUtime=29.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 1202 0 0 0 2999 0 0 0 25 0 1 0 197965590 6451200 1173 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557199 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 1575 1173 205 16 0 1016 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 6300 [startup+40.0228 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1859984/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=6432 CPUtime=39.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 1223 0 0 0 3999 0 0 0 25 0 1 0 197965590 6586368 1194 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559370 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 1608 1194 205 16 0 1049 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6432 [startup+50.0295 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1859728/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=6704 CPUtime=49.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 1282 0 0 0 4999 0 0 0 25 0 1 0 197965590 6864896 1253 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 1676 1253 205 16 0 1117 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 6704 [startup+60.0361 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1858320/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=8056 CPUtime=60 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 1641 0 0 0 6000 0 0 0 25 0 1 0 197965590 8249344 1612 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558620 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2014 1612 205 16 0 1455 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 8056 [startup+70.0429 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=69.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 6999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557327 0 0 4096 0 0 0 0 17 1 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 10044 [startup+80.0495 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=79.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 7999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 10044 [startup+90.0552 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=89.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 8999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 10044 [startup+100.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=99.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 9999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563768 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 10044 [startup+110.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=109.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 10999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 10044 [startup+120.074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=119.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 11999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517710 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 10044 [startup+130.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=129.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 12999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520011 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 10044 [startup+140.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=139.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 13999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8154868 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 10044 [startup+150.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=149.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 14999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516727 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 10044 [startup+160.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=159.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 15999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 10044 [startup+170.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=169.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 16999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527562 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 10044 [startup+180.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=179.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 17999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520013 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 10044 [startup+190.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=189.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 18999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 10044 [startup+200.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=10044 CPUtime=199.99 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 2238 0 0 0 19999 0 0 0 25 0 1 0 197965590 10285056 2120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 2511 2120 205 16 0 1952 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 10044 [startup+210.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27376 /proc/meminfo: memFree=1856144/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/27376/statm: 4678 4264 205 16 0 4119 0 Current children cumulated CPU time (s) 1590.01 Current children cumulated vsize (Kb) 18712 [startup+1600.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847184/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1600.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4604 0 0 0 159616 386 0 0 25 0 1 0 197965590 19161088 4264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4264 205 16 0 4119 0 Current children cumulated CPU time (s) 1600.02 Current children cumulated vsize (Kb) 18712 [startup+1611 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1610.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4604 0 0 0 160605 397 0 0 25 0 1 0 197965590 19161088 4264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4264 205 16 0 4119 0 Current children cumulated CPU time (s) 1610.02 Current children cumulated vsize (Kb) 18712 [startup+1621 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1620.01 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4604 0 0 0 161594 407 0 0 25 0 1 0 197965590 19161088 4264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4264 205 16 0 4119 0 Current children cumulated CPU time (s) 1620.01 Current children cumulated vsize (Kb) 18712 [startup+1631.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1630.01 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4604 0 0 0 162585 416 0 0 25 0 1 0 197965590 19161088 4264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4264 205 16 0 4119 0 Current children cumulated CPU time (s) 1630.01 Current children cumulated vsize (Kb) 18712 [startup+1641.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1640.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4605 0 0 0 163578 424 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1640.02 Current children cumulated vsize (Kb) 18712 [startup+1651.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847184/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1650.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4713 0 0 0 164569 433 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1650.02 Current children cumulated vsize (Kb) 18712 [startup+1661.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1660.03 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 165562 441 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1660.03 Current children cumulated vsize (Kb) 18712 [startup+1671.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1670.01 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 166554 447 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1670.01 Current children cumulated vsize (Kb) 18712 [startup+1681.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1680.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 167547 455 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1680.02 Current children cumulated vsize (Kb) 18712 [startup+1691.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1690.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 168538 464 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1690.02 Current children cumulated vsize (Kb) 18712 [startup+1701.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1700.03 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 169533 470 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1700.03 Current children cumulated vsize (Kb) 18712 [startup+1711.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1710.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 170526 476 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1710.02 Current children cumulated vsize (Kb) 18712 [startup+1721.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847056/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1720.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 171518 484 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1720.02 Current children cumulated vsize (Kb) 18712 [startup+1731.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847056/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1730.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 172511 491 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1730.02 Current children cumulated vsize (Kb) 18712 [startup+1741.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1740.03 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 173505 498 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1740.03 Current children cumulated vsize (Kb) 18712 [startup+1751.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1750.03 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 174499 504 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1750.03 Current children cumulated vsize (Kb) 18712 [startup+1761.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1760.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 175491 511 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1760.02 Current children cumulated vsize (Kb) 18712 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847120/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1770.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 176483 519 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1770.02 Current children cumulated vsize (Kb) 18712 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847056/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1780.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 177475 527 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1780.02 Current children cumulated vsize (Kb) 18712 [startup+1782.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847056/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1781.02 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 177575 527 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1781.02 Current children cumulated vsize (Kb) 18712 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27378 /proc/meminfo: memFree=1847056/2055920 swapFree=4181356/4192956 [pid=27376] ppid=27374 vsize=18712 CPUtime=1782.03 /proc/27376/stat : 27376 (Pueblo13) R 27374 27376 27330 0 -1 4194304 4797 0 0 0 177675 528 0 0 25 0 1 0 197965590 19161088 4265 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/27376/statm: 4678 4265 205 16 0 4119 0 Current children cumulated CPU time (s) 1782.03 Current children cumulated vsize (Kb) 18712 Child status: 10 Real time (s): 1783.82 CPU time (s): 1782.73 CPU user time (s): 1777.44 CPU system time (s): 5.29219 CPU usage (%): 99.9393 Max. virtual memory (cumulated for all children) (Kb): 18712
Begin job on node34 on Sat Jun 3 08:23:38 UTC 2006 FILE ID= 37462-1149323018 PBS_JOBID= 309473 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37462-1149323018/instance-37462-1149323018.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-37462-1149323018 -o ROOT/results/node34/solver-37462-1149323018 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37462-1149323018/instance-37462-1149323018.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e RANDOM SEED= 236682885 /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.277 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.277 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: 1864016 kB Buffers: 19008 kB Cached: 111484 kB SwapCached: 3400 kB Active: 30156 kB Inactive: 109172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864016 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14900 kB Slab: 38668 kB Committed_AS: 338088 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sat Jun 3 08:53:22 UTC 2006