Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT (TO) | 165 | 1800.63 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 95 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
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 | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
Number of bits of the biggest sum of numbers | 11 |
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 Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.44 c Initial problem consists of 1812 variables and 3443 constraints. 0.59 c No problem reductions applied in OPT. instance. 0.59 c preprocess terminated. Elapsed time: 0.583 0.59 c After prepocess the problem consists of 1812 variables and 3443 constraints. 0.59 c Initial Lower Bound: 0 2.92 c Restart #1 #Var: 1812 LB: 0 @ 2.909 8.10 c Restart #2 #Var: 1812 LB: 0 @ 8.087 16.33 c Restart #3 #Var: 1812 LB: 0 @ 16.312 26.19 c Restart #4 #Var: 1812 LB: 0 @ 26.173 39.42 c Restart #5 #Var: 1812 LB: 0 @ 39.404 56.06 c Restart #6 #Var: 1812 LB: 0 @ 56.045 71.38 c Restart #7 #Var: 1812 LB: 0 @ 71.36 85.57 c Restart #8 #Var: 1812 LB: 0 @ 85.546 100.66 c Restart #9 #Var: 1812 LB: 0 @ 100.64 111.80 c Restart #10 #Var: 1812 LB: 0 @ 111.78 119.39 c Sol. found (all assignments made)... 119.39 o 255 119.39 c NEW SOLUTION FOUND: 255 @ 119.36 119.39 c Sol. found (all assignments made)... 119.39 o 252 119.39 c NEW SOLUTION FOUND: 252 @ 119.37 119.40 c Sol. found (all assignments made)... 119.40 o 251 119.40 c NEW SOLUTION FOUND: 251 @ 119.38 120.39 c Sol. found (all assignments made)... 120.39 o 245 120.39 c NEW SOLUTION FOUND: 245 @ 120.36 120.73 c Sol. found (all assignments made)... 120.73 o 239 120.73 c NEW SOLUTION FOUND: 239 @ 120.7 123.23 c Sol. found (all assignments made)... 123.23 o 188 123.23 c NEW SOLUTION FOUND: 188 @ 123.21 123.25 c Sol. found (all assignments made)... 123.25 o 184 123.25 c NEW SOLUTION FOUND: 184 @ 123.23 123.26 c Sol. found (all assignments made)... 123.26 o 180 123.26 c NEW SOLUTION FOUND: 180 @ 123.23 124.70 c Sol. found (all assignments made)... 124.70 o 165 124.70 c NEW SOLUTION FOUND: 165 @ 124.67 130.37 c Restart #11 #Var: 1812 LB: 0 @ 130.35 143.50 c Restart #12 #Var: 1812 LB: 0 @ 143.47 155.01 c Restart #13 #Var: 1812 LB: 0 @ 154.98 156.86 c Restart #14 #Var: 1812 LB: 0 @ 156.83 166.79 c CHANGE to LPR mode... UB: 165 MIS: 0 LPR: 11 (0.60075) Diff: 0 166.79 c Restart #0 #Var: 1810 LB: 0 @ 166.76 658.79 c Restart #1 #Var: 1810 LB: 11 @ 658.72 789.09 c Restart #2 #Var: 1810 LB: 11 @ 789.02 917.89 c Restart #3 #Var: 1810 LB: 11 @ 917.81 1369.99 c Restart #4 #Var: 1810 LB: 11 @ 1369.9 1800.82 c Caught signal: 15 1800.82 s SATISFIABLE 1800.82 c Cost: 165 1800.82 v x1 -x2 x3 -x4 -x5 x6 -x7 x8 x81 -x82 -x83 -x84 x85 -x86 -x87 x88 x89 x90 -x91 -x92 x93 -x94 -x95 x96 x1812 -x73 -x74 -x75 -x76 x77 1800.82 v -x78 -x79 x80 x1811 x1810 x1809 x1808 x1807 x65 -x66 -x67 x68 -x69 -x70 -x71 x72 x1806 x1805 x1804 x1803 x1802 -x1801 x1800 1800.82 v -x1799 x1798 x1797 -x1796 x1795 -x1794 -x1793 x57 -x58 x59 -x60 -x61 -x62 -x63 x64 x1792 x1791 x1790 x1789 x1788 x1787 -x1786 1800.82 v x1785 -x1784 x1783 -x1782 x1781 x1780 -x1779 x1778 -x1777 -x1776 x1775 -x1774 -x1773 x1772 x1771 -x1770 x1769 -x1768 -x1767 1800.82 v x1766 x1765 x1764 x1763 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 -x1755 x1754 -x1753 1800.82 v x1752 -x1751 x1750 -x1749 x1748 x1747 -x1746 x1745 -x1744 -x1743 x1742 -x1741 -x1740 x1739 -x1738 -x1737 x1736 x1735 -x1734 1800.82 v x1733 -x1732 -x1731 x1730 x1729 -x1728 -x1727 x1726 x1725 x1724 x1723 x1722 x1721 -x1720 x1719 -x1718 -x1717 x1716 x1715 1800.82 v x1714 x1713 x1712 x1711 x1710 x1709 -x1708 -x41 -x42 -x43 x44 -x45 x46 x47 -x48 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 1800.82 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 1800.82 v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 1800.82 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 1800.82 v -x1650 -x1649 -x1648 x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 1800.82 v -x1632 x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624 -x1623 x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x33 x34 x35 1800.82 v x36 -x37 -x38 x39 -x40 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 1800.82 v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 1800.82 v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 1800.82 v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 1800.82 v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 1800.82 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.82 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1800.82 v -x1500 -x1499 x1498 -x1497 -x1496 -x1495 x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 1800.82 v x1482 x1481 x1480 x1479 x1478 -x1477 x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 1800.82 v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 1800.82 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 1800.82 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 1800.82 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 1800.82 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 1800.82 v -x1384 -x1383 -x1382 x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 1800.82 v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 1800.82 v -x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 1800.82 v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 1800.82 v -x1316 x1315 x1314 x1313 x1312 x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 1800.82 v x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 x1286 x1285 x1284 x1283 x1282 -x1281 x1280 1800.82 v x1279 x1278 x1277 x1276 x1275 x1274 -x1273 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 1800.82 v -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 1800.82 v -x1249 x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 1800.82 v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 1800.82 v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 1800.82 v -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 1800.82 v -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 1800.82 v -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 1800.82 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 1800.82 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 1800.82 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 1800.82 v -x1095 -x1094 -x1093 -x1092 -x1091 x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 x1082 x1081 x1080 x1079 x1078 x1077 1800.82 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 1800.82 v -x1059 -x1058 -x1057 -x1056 x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 x1047 x1046 x1045 x1044 x1043 x1042 -x1041 1800.82 v x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 -x1030 x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023 x1022 1800.82 v -x1021 -x1020 -x1019 -x1018 x1017 x1016 x1015 x1014 -x1013 -x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 1800.82 v x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x987 -x986 1800.82 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 1800.82 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 1800.82 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 1800.82 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 1800.82 v x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 1800.82 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 1800.82 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 1800.82 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 1800.82 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 1800.82 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 x776 1800.82 v x775 x774 -x773 -x772 -x771 x770 x769 x768 x767 x766 x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 1800.82 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 x734 x733 1800.82 v x732 -x731 -x730 -x729 -x728 x727 x726 x725 x724 x723 x722 x721 -x720 x719 x718 x717 x716 x715 x714 x713 x712 -x711 -x710 -x709 1800.82 v -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 x689 x688 1800.82 v x687 -x686 -x685 -x684 x683 x682 x681 x680 x679 x678 x677 -x676 x675 x674 x673 x672 x671 x670 x669 x668 -x667 x666 x665 x664 1800.82 v x663 x662 x661 x660 x659 x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 x642 1800.82 v -x641 -x640 -x639 -x638 -x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 1800.82 v x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 1800.82 v -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 1800.82 v -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 1800.82 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 1800.82 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 1800.82 v -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 1800.82 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 1800.82 v -x468 -x467 -x466 -x465 -x464 -x463 x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 1800.82 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 1800.82 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412 x411 x410 x409 -x408 -x407 -x406 -x405 1800.82 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 1800.82 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 x363 1800.82 v x362 x361 -x360 -x359 -x358 x357 x356 x355 x354 x353 x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.82 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 1800.82 v -x319 -x318 -x317 -x316 -x315 x314 x313 x312 x311 x310 x309 -x308 -x307 x306 x305 x304 x303 x302 x301 x300 -x299 x298 x297 x296 1800.82 v x295 x294 x293 x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.82 v -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 x260 x259 x258 x257 -x256 -x255 x254 x253 x252 x251 1800.82 v x250 x249 x248 x247 -x246 x245 x244 x243 x242 x241 x240 x239 x238 -x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 -x227 -x226 1800.82 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 x206 x205 1800.82 v x204 x203 -x202 -x201 -x200 x199 x198 x197 x196 x195 x194 x193 -x192 x191 x190 x189 x188 x187 x186 x185 x184 -x183 x182 x181 1800.82 v x180 x179 x178 x177 x176 x175 x174 -x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 -x160 x159 -x158 -x157 x156 1800.82 v -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 x147 x146 x145 x144 -x143 -x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 1800.82 v x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 1800.82 v x105 x104 x103 x102 x101 x100 x99 x98 x97 1800.82 c Exit Code: 10
OK 165
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node16/watcher-46593-1154068698 -o ROOT/results/node16/solver-46593-1154068698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1152480/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=2900 CPUtime=0 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 44 0 0 0 0 0 0 0 19 0 1 0 153730557 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 1 0 0 /proc/23833/statm: 725 27 19 55 0 38 0 [startup+10.0006 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1140912/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=16172 CPUtime=9.97 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3297 0 0 0 996 1 0 0 25 0 1 0 153730557 16560128 3211 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4043 3211 296 55 0 2935 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 16172 [startup+20.0045 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1140208/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=16832 CPUtime=19.98 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3476 0 0 0 1996 2 0 0 25 0 1 0 153730557 17235968 3390 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4208 3390 296 55 0 3100 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 16832 [startup+30.0084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1139504/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=17624 CPUtime=29.98 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3646 0 0 0 2996 2 0 0 25 0 1 0 153730557 18046976 3560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4406 3560 296 55 0 3298 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 17624 [startup+40.0123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1138800/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=18288 CPUtime=39.98 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3818 0 0 0 3996 2 0 0 25 0 1 0 153730557 18726912 3732 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4572 3732 296 55 0 3464 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 18288 [startup+50.0162 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1138096/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=18948 CPUtime=49.99 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3999 0 0 0 4996 3 0 0 25 0 1 0 153730557 19402752 3913 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4737 3913 296 55 0 3629 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 18948 [startup+60.0201 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1137392/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=19748 CPUtime=59.99 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4181 0 0 0 5996 3 0 0 25 0 1 0 153730557 20221952 4095 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 4937 4095 296 55 0 3829 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 19748 [startup+70.024 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1136560/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=20540 CPUtime=70 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4385 0 0 0 6996 4 0 0 25 0 1 0 153730557 21032960 4299 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 5135 4299 296 55 0 4027 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 20540 [startup+80.0279 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1135984/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=21200 CPUtime=80 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4546 0 0 0 7996 4 0 0 25 0 1 0 153730557 21708800 4460 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 5300 4460 296 55 0 4192 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 21200 [startup+90.0318 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1134448/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=22652 CPUtime=90 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4928 0 0 0 8995 5 0 0 25 0 1 0 153730557 23195648 4842 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 5663 4842 296 55 0 4555 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 22652 [startup+100.036 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1133552/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=23576 CPUtime=100.01 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5145 0 0 0 9995 6 0 0 25 0 1 0 153730557 24141824 5059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 5894 5059 296 55 0 4786 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 23576 [startup+110.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1132144/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=25028 CPUtime=110.01 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5498 0 0 0 10994 7 0 0 25 0 1 0 153730557 25628672 5412 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 6257 5412 296 55 0 5149 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 25028 [startup+120.043 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1130608/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=26488 CPUtime=120.01 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5879 0 0 0 11994 7 0 0 25 0 1 0 153730557 27123712 5793 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 6622 5793 297 55 0 5514 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 26488 [startup+130.047 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1126832/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=30316 CPUtime=130.02 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 6814 0 0 0 12993 9 0 0 25 0 1 0 153730557 31043584 6728 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 7579 6728 297 55 0 6471 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 30316 [startup+140.051 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1125616/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=31632 CPUtime=140.01 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 7136 0 0 0 13992 9 0 0 25 0 1 0 153730557 32391168 7050 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 7908 7050 297 55 0 6800 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 31632 [startup+150.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1123824/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=33352 CPUtime=150.02 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 7573 0 0 0 14992 10 0 0 25 0 1 0 153730557 34152448 7487 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 8338 7487 297 55 0 7230 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 33352 [startup+160.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1118896/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=38236 CPUtime=160.02 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 8796 0 0 0 15990 12 0 0 25 0 1 0 153730557 39153664 8710 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 9559 8710 297 55 0 8451 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 38236 [startup+170.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1112624/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=44008 CPUtime=170.02 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 32333 0 2 0 16978 24 0 0 25 0 1 0 153730557 45064192 10283 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11002 10283 437 55 0 9894 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 44008 [startup+180.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1112368/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=44288 CPUtime=180.02 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 53291 0 2 0 17968 34 0 0 25 0 1 0 153730557 45350912 10354 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11072 10354 438 55 0 9964 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 44288 [startup+190.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1113200/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=43492 CPUtime=190.03 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 78198 0 2 0 18956 47 0 0 25 0 1 0 153730557 44535808 10163 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 10873 10163 446 55 0 9765 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 43492 [startup+200.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 /proc/meminfo: memFree=1113264/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=43508 CPUtime=200.03 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 106836 0 2 0 19941 62 0 0 25 0 1 0 153730557 44552192 10167 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 10877 10167 446 55 0 9769 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 43508 [startup+210.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23833 ################ # More data... # ################ /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4132144 0 2 0 176382 1770 0 0 25 0 1 0 153730557 47882240 10986 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11690 10986 448 55 0 10582 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 46760 [startup+1782.73 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109552/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46688 CPUtime=1782.52 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4134905 0 2 0 176481 1771 0 0 25 0 1 0 153730557 47808512 10968 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11672 10968 448 55 0 10564 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 46688 [startup+1783.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109360/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46852 CPUtime=1783.53 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4137221 0 2 0 176580 1773 0 0 25 0 1 0 153730557 47976448 11009 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11713 11009 448 55 0 10605 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 46852 [startup+1784.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46752 CPUtime=1784.54 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4139883 0 2 0 176680 1774 0 0 25 0 1 0 153730557 47874048 10984 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11688 10984 448 55 0 10580 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 46752 [startup+1785.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109424/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46760 CPUtime=1785.54 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4142581 0 2 0 176779 1775 0 0 25 0 1 0 153730557 47882240 10986 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7667654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11690 10986 448 55 0 10582 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 46760 [startup+1786.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109616/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46416 CPUtime=1786.55 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4145254 0 2 0 176879 1776 0 0 25 0 1 0 153730557 47529984 10900 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7671511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11604 10900 448 55 0 10496 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 46416 [startup+1787.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109296/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=47016 CPUtime=1787.55 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4147548 0 2 0 176978 1777 0 0 25 0 1 0 153730557 48144384 11030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11754 11030 448 55 0 10646 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 47016 [startup+1788.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46716 CPUtime=1788.55 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4150310 0 2 0 177077 1778 0 0 25 0 1 0 153730557 47837184 10975 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11679 10975 448 55 0 10571 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 46716 [startup+1789.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109232/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46980 CPUtime=1789.56 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4152364 0 2 0 177177 1779 0 0 25 0 1 0 153730557 48107520 11041 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11745 11041 448 55 0 10637 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 46980 [startup+1790.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46744 CPUtime=1790.56 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4154932 0 2 0 177276 1780 0 0 25 0 1 0 153730557 47865856 10982 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11687 10982 448 55 0 10579 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 46744 [startup+1791.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1108720/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=47580 CPUtime=1791.57 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4156921 0 2 0 177376 1781 0 0 25 0 1 0 153730557 48721920 11172 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11895 11172 448 55 0 10787 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 47580 [startup+1792.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1108784/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=47392 CPUtime=1792.57 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4159531 0 2 0 177475 1782 0 0 25 0 1 0 153730557 48529408 11144 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11848 11144 448 55 0 10740 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 47392 [startup+1793.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46940 CPUtime=1793.58 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4162094 0 2 0 177575 1783 0 0 25 0 1 0 153730557 48066560 11031 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11735 11031 448 55 0 10627 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 46940 [startup+1794.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=47196 CPUtime=1794.58 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4164656 0 2 0 177674 1784 0 0 25 0 1 0 153730557 48328704 11095 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11799 11095 448 55 0 10691 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 47196 [startup+1795.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46940 CPUtime=1795.59 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4167062 0 2 0 177774 1785 0 0 25 0 1 0 153730557 48066560 11031 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11735 11031 448 55 0 10627 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 46940 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1108912/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=47124 CPUtime=1796.59 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4169360 0 2 0 177873 1786 0 0 25 0 1 0 153730557 48254976 11077 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11781 11077 448 55 0 10673 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 47124 [startup+1797.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1109168/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=46848 CPUtime=1797.6 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4171659 0 2 0 177973 1787 0 0 25 0 1 0 153730557 47972352 11008 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 11712 11008 448 55 0 10604 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 46848 [startup+1798.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1107504/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=50256 CPUtime=1798.6 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4174019 0 2 0 178072 1788 0 0 25 0 1 0 153730557 51462144 11470 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159176680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 12564 11470 448 55 0 11456 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 50256 [startup+1799.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1105584/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=51312 CPUtime=1799.6 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4175653 0 2 0 178172 1788 0 0 25 0 1 0 153730557 52543488 11950 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160346983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 12828 11950 448 55 0 11720 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 51312 [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1106608/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=50996 CPUtime=1800.61 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4177950 0 2 0 178272 1789 0 0 25 0 1 0 153730557 52219904 11692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159498697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 12749 11692 448 55 0 11641 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 50996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 24031 /proc/meminfo: memFree=1106608/2055920 swapFree=4183200/4192956 [pid=23833] ppid=23831 vsize=50996 CPUtime=1800.61 /proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4177950 0 2 0 178272 1789 0 0 25 0 1 0 153730557 52219904 11692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159498721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23833/statm: 12749 11692 448 55 0 11641 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 50996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1800.84 CPU time (s): 1800.63 CPU user time (s): 1782.73 CPU system time (s): 17.9043 CPU usage (%): 99.9887 Max. virtual memory (cumulated for all children) (Kb): 51312 The end
Begin job on node16 on Fri Jul 28 06:38:18 UTC 2006 FILE ID= 46593-1154068698 PBS_JOBID= 882588 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-46593-1154068698 -o ROOT/results/node16/solver-46593-1154068698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED= 770854794 TIMEOUT= 1800 seconds /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.229 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.229 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: 1152688 kB Buffers: 32288 kB Cached: 816988 kB SwapCached: 3716 kB Active: 172060 kB Inactive: 686004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1152688 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14464 kB Slab: 31200 kB Committed_AS: 596436 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Fri Jul 28 07:08:19 UTC 2006