Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | SAT | 102.268 | 102.304 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb |
MD5SUM | 93a881e30e7c33fefd66d9521eb49849 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.980849 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2025 |
Total number of constraints | 410 |
Number of constraints which are clauses | 180 |
Number of constraints which are cardinality constraints (but not clauses) | 230 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 83 |
Number of bits of the biggest sum of numbers | 7 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node29/40832-1149204814/instance-40832-1149204814.opb ...... 102.29 c done parsing opb. 102.29 s SATISFIABLE 102.29 c Total Run Time 102.198 102.29 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 102.29 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 102.29 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 102.29 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 102.29 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 102.29 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 102.29 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 102.29 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 102.29 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 102.29 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 102.29 v -x1158 -x1159 -x116 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 102.29 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 102.29 v -x119 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 102.29 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 102.29 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 102.29 v -x1237 -x1238 -x1239 -x124 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 102.29 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 102.29 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 102.29 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 102.29 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 102.29 v -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 102.29 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 102.29 v -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 102.29 v -x1365 -x1366 x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 102.29 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 102.29 v -x1397 -x1398 -x1399 -x14 x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 102.29 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 102.29 v -x1428 -x1429 -x143 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 102.29 v x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 102.29 v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 102.29 v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 102.29 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 102.29 v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 102.29 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 102.29 v -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 102.29 v -x1556 -x1557 -x1558 x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 102.29 v -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 102.29 v -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 102.29 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 102.29 v -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 102.29 v -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 102.29 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 102.29 v -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 102.29 v -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 102.29 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 102.29 v -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 102.29 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 102.29 v -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 102.29 v -x1765 -x1766 -x1767 x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 102.29 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 102.29 v -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 102.29 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 102.29 v -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 x1841 -x1842 -x1843 102.29 v -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 102.29 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 102.29 v -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 102.29 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 102.29 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 102.29 v -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 102.29 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 102.29 v -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 102.29 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 102.29 v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 102.29 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 102.29 v -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 102.29 v -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 102.29 v -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 102.29 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 102.29 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x28 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 102.29 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 102.29 v -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 102.29 v -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 102.29 v -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 102.29 v -x367 -x368 x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 102.29 v -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 102.29 v -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 102.29 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x44 -x440 -x441 102.29 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 102.29 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 102.29 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 102.29 v -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 102.29 v -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 x531 -x532 -x533 -x534 -x535 -x536 102.29 v -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 102.29 v -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 102.29 v -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 102.29 v -x594 -x595 -x596 x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 102.29 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 102.29 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 102.29 v -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 102.29 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 102.29 v -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 102.29 v -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 102.29 v x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 102.29 v -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 102.29 v -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 102.29 v -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 102.29 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 102.29 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 102.29 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 102.29 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 102.29 v -x88 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 102.29 v -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 102.29 v -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 102.29 v -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 102.29 v -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 x970 -x971 -x972 -x973 -x974 102.29 v -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 102.29 v -x994 -x995 -x996 x997 -x998 -x999
OK 0
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/node29/watcher-40832-1149204814 -o ROOT/results/node29/solver-40832-1149204814 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/40832-1149204814/instance-40832-1149204814.opb 474354870 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.02 0.59 0.96 2/64 2908 /proc/meminfo: memFree=1121440/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=1592 CPUtime=0 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 186145018 1630208 171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 398 175 92 232 0 163 0 [startup+10.0026 s] /proc/loadavg: 0.17 0.60 0.96 2/64 2908 /proc/meminfo: memFree=1113640/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=8776 CPUtime=9.99 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 2117 0 0 0 967 32 0 0 25 0 1 0 186145018 8986624 2044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 2194 2044 105 232 0 1959 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8776 [startup+20.009 s] /proc/loadavg: 0.30 0.61 0.96 2/64 2908 /proc/meminfo: memFree=1111592/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=13900 CPUtime=20 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 2723 0 0 0 1946 54 0 0 25 0 1 0 186145018 14233600 2553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552269 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 3475 2553 105 232 0 3240 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 13900 [startup+30.0154 s] /proc/loadavg: 0.41 0.62 0.96 2/64 2908 /proc/meminfo: memFree=1110440/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=14368 CPUtime=30 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 3020 0 0 0 2927 73 0 0 25 0 1 0 186145018 14712832 2850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 3592 2850 105 232 0 3357 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 14368 [startup+40.0208 s] /proc/loadavg: 0.50 0.64 0.96 2/64 2908 /proc/meminfo: memFree=1109736/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=15300 CPUtime=40 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 3393 0 0 0 3910 90 0 0 25 0 1 0 186145018 15667200 3030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552224 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 3825 3030 105 232 0 3590 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 15300 [startup+50.0272 s] /proc/loadavg: 0.57 0.65 0.96 2/64 2908 /proc/meminfo: memFree=1109288/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=15612 CPUtime=50.01 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 3509 0 0 0 4891 110 0 0 25 0 1 0 186145018 15986688 3146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 3903 3146 105 232 0 3668 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 15612 [startup+60.0326 s] /proc/loadavg: 0.64 0.66 0.96 2/64 2908 /proc/meminfo: memFree=1108840/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=15848 CPUtime=60 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 3616 0 0 0 5871 129 0 0 25 0 1 0 186145018 16228352 3253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 3962 3253 105 232 0 3727 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15848 [startup+70.039 s] /proc/loadavg: 0.69 0.67 0.96 2/64 2908 /proc/meminfo: memFree=1108264/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=16304 CPUtime=70.01 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 3765 0 0 0 6850 151 0 0 25 0 1 0 186145018 16695296 3402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 4076 3402 105 232 0 3841 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 16304 [startup+80.0455 s] /proc/loadavg: 0.74 0.68 0.96 2/64 2908 /proc/meminfo: memFree=1107816/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=17964 CPUtime=80.02 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 4249 0 0 0 7835 167 0 0 25 0 1 0 186145018 18395136 3501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 4491 3501 105 232 0 4256 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 17964 [startup+90.0509 s] /proc/loadavg: 0.78 0.69 0.96 2/64 2908 /proc/meminfo: memFree=1107368/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=18280 CPUtime=90.02 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 4366 0 0 0 8819 183 0 0 25 0 1 0 186145018 18718720 3618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 4570 3618 105 232 0 4335 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 18280 [startup+100.056 s] /proc/loadavg: 0.81 0.70 0.96 2/64 2908 /proc/meminfo: memFree=1106856/2055920 swapFree=4181384/4192956 [pid=2908] ppid=2906 vsize=18420 CPUtime=100.02 /proc/2908/stat : 2908 (PBS4L) R 2906 2908 2863 0 -1 4194304 4500 0 0 0 9802 200 0 0 25 0 1 0 186145018 18862080 3752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2908/statm: 4605 3752 105 232 0 4370 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 18420 Child status: 0 Real time (s): 102.304 CPU time (s): 102.268 CPU user time (s): 100.22 CPU system time (s): 2.04869 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 18420
Begin job on node29 on Thu Jun 1 23:33:34 UTC 2006 FILE ID= 40832-1149204814 PBS_JOBID= 292971 BENCH NAME= ROOT/tmp/node29/40832-1149204814/instance-40832-1149204814.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/40832-1149204814/instance-40832-1149204814.opb 474354870 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-40832-1149204814 -o ROOT/results/node29/solver-40832-1149204814 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/40832-1149204814/instance-40832-1149204814.opb 474354870 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 93a881e30e7c33fefd66d9521eb49849 RANDOM SEED= 474354870 /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.259 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.259 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: 1121648 kB Buffers: 47668 kB Cached: 803428 kB SwapCached: 3392 kB Active: 341568 kB Inactive: 518352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1121648 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 256 kB Writeback: 0 kB Mapped: 14700 kB Slab: 60272 kB Committed_AS: 185408 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Thu Jun 1 23:35:17 UTC 2006