Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 13 | 1782.74 | 1783.38 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb |
MD5SUM | 6a8d837851671f69c34bdd14861bc7ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 2910 |
Total number of constraints | 56 |
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 | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 12627 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526152 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526152 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.06 c starting to Solve 0.06 c #variables read: 2910 - #constraints read: 72 0.09 o 296634 1783.37 c total time : 1783 s 1783.37 s SATISFIABLE 1783.37 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1783.37 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1783.37 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1783.37 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1783.37 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185 1783.37 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1783.37 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1783.37 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1783.37 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1783.37 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1783.37 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1783.37 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1783.37 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1783.37 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1783.37 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1783.37 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1783.37 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1783.37 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1783.37 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1783.37 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1783.37 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1783.37 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1783.37 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1783.37 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1783.37 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1783.37 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1783.37 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1783.37 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1783.37 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1783.37 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1783.37 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1783.37 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1783.37 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1783.37 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1783.37 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1783.37 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1783.37 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1783.37 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1783.37 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1783.37 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1783.37 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1783.37 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 1783.37 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1783.37 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1783.37 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1783.37 v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1783.37 v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1783.37 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 1783.37 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1783.37 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1783.37 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1783.37 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1783.37 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1783.37 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1783.37 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1783.37 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1783.37 v -x1260 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1783.37 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1783.37 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1783.37 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1783.37 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1783.37 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1783.37 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1783.37 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1783.37 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1783.37 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1783.37 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1783.37 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1783.37 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.37 v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1783.37 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1783.37 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1783.37 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1783.37 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1783.37 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1783.37 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1783.37 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1783.37 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1783.37 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1783.37 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1783.37 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1783.37 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1783.37 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1783.37 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1783.37 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1783.37 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1783.37 v -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1783.37 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1783.37 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1783.37 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1783.37 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1783.37 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1783.37 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1783.37 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1783.37 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1783.37 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1783.37 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1783.37 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1783.37 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1783.37 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1783.37 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1783.37 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1783.37 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1783.37 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1783.37 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1783.37 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1783.37 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1783.37 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1783.37 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1783.37 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1783.37 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1783.37 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1783.37 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1783.37 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1783.37 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 1783.37 v x2564 x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1783.37 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 1783.37 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1783.37 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1783.37 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1783.37 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1783.37 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1783.37 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1783.37 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1783.37 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1783.37 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1783.37 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1783.37 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1783.37 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1783.37 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1783.37 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1783.37 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1783.37 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1783.37 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1783.37 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1783.37 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1783.37 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1783.37 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1783.37 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1783.37 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1783.37 v -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1783.37 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563 1783.37 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1783.37 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1783.37 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1783.37 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1783.37 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1783.37 v -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1783.37 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1783.37 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1783.37 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1783.37 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1783.37 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1783.37 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1783.37 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1783.37 v -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1783.37 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1783.37 v -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1783.37 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
OK 13
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/node70/watcher-37590-1149324125 -o ROOT/results/node70/solver-37590-1149324125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 12132 /proc/meminfo: memFree=1782056/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=172 CPUtime=0 /proc/12132/stat : 12132 (Pueblo13) D 12130 12132 12086 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 198082123 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413988 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/12132/statm: 43 23 18 16 0 2 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.90 2/64 12132 /proc/meminfo: memFree=1778040/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=6444 CPUtime=9.99 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1226 0 0 0 997 2 0 0 25 0 1 0 198082123 6598656 1197 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1611 1197 205 16 0 1052 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6444 [startup+20.0094 s] /proc/loadavg: 0.94 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1778040/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=6384 CPUtime=19.99 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1226 0 0 0 1995 4 0 0 25 0 1 0 198082123 6537216 1197 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517882 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1596 1197 205 16 0 1037 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6384 [startup+30.0162 s] /proc/loadavg: 0.95 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777656/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=6744 CPUtime=30 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1320 0 0 0 2995 5 0 0 25 0 1 0 198082123 6905856 1291 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1686 1291 205 16 0 1127 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6744 [startup+40.022 s] /proc/loadavg: 0.95 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777464/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7000 CPUtime=40 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1364 0 0 0 3994 6 0 0 25 0 1 0 198082123 7168000 1335 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1750 1335 205 16 0 1191 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7000 [startup+50.0278 s] /proc/loadavg: 0.96 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777336/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7248 CPUtime=50 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1423 0 0 0 4993 7 0 0 25 0 1 0 198082123 7421952 1394 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1812 1394 205 16 0 1253 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7248 [startup+60.0336 s] /proc/loadavg: 0.97 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777272/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7228 CPUtime=60 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1427 0 0 0 5993 7 0 0 25 0 1 0 198082123 7401472 1398 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1807 1398 205 16 0 1248 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7228 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777080/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7356 CPUtime=70 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1476 0 0 0 6992 8 0 0 25 0 1 0 198082123 7532544 1447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1839 1447 205 16 0 1280 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7356 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1777016/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7484 CPUtime=80 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1501 0 0 0 7992 8 0 0 25 0 1 0 198082123 7663616 1472 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1871 1472 205 16 0 1312 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 7484 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1776952/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7612 CPUtime=90.01 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1515 0 0 0 8993 8 0 0 25 0 1 0 198082123 7794688 1486 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528540 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1903 1486 205 16 0 1344 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7612 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1776952/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7564 CPUtime=100.02 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1517 0 0 0 9993 9 0 0 25 0 1 0 198082123 7745536 1488 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528557 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1891 1488 205 16 0 1332 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 7564 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12132 /proc/meminfo: memFree=1776568/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=110.06 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1602 0 0 0 10997 9 0 0 25 0 1 0 198082123 8146944 1573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1573 205 16 0 1430 0 Current children cumulated CPU time (s) 110.06 Current children cumulated vsize (Kb) 7956 [startup+120.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776568/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=120.06 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1602 0 0 0 11997 9 0 0 25 0 1 0 198082123 8146944 1573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1573 205 16 0 1430 0 Current children cumulated CPU time (s) 120.06 Current children cumulated vsize (Kb) 7956 [startup+130.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=130.06 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 12996 10 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1594 205 16 0 1430 0 Current children cumulated CPU time (s) 130.06 Current children cumulated vsize (Kb) 7956 [startup+140.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=140.07 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 13996 11 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528557 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1594 205 16 0 1430 0 Current children cumulated CPU time (s) 140.07 Current children cumulated vsize (Kb) 7956 [startup+150.129 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776504/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=150.07 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1623 0 0 0 14996 11 0 0 25 0 1 0 198082123 8146944 1594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1594 205 16 0 1430 0 Current children cumulated CPU time (s) 150.07 Current children cumulated vsize (Kb) 7956 [startup+160.135 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=160.07 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1641 0 0 0 15996 11 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1601 205 16 0 1430 0 Current children cumulated CPU time (s) 160.07 Current children cumulated vsize (Kb) 7956 [startup+170.141 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=170.07 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1647 0 0 0 16996 11 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1601 205 16 0 1430 0 Current children cumulated CPU time (s) 170.07 Current children cumulated vsize (Kb) 7956 [startup+180.146 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7956 CPUtime=180.07 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1647 0 0 0 17995 12 0 0 25 0 1 0 198082123 8146944 1601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1989 1601 205 16 0 1430 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 7956 [startup+190.152 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776376/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=7984 CPUtime=190.08 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1663 0 0 0 18995 13 0 0 25 0 1 0 198082123 8175616 1608 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 1996 1608 205 16 0 1437 0 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 7984 [startup+200.158 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776312/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8012 CPUtime=200.08 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 1687 0 0 0 19994 14 0 0 25 0 1 0 198082123 8204288 1615 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2003 1615 205 16 0 1444 0 Current children cumulated CPU time (s) 200.08 Current children cumulated vsize (Kb) 8012 [startup+210.164 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12132 /proc/meminfo: memFree=1776312/2055920 swapFree=4182220/4192956 ################ # More data... # ################ /proc/12132/statm: 2093 1705 205 16 0 1534 0 Current children cumulated CPU time (s) 1590.4 Current children cumulated vsize (Kb) 8372 [startup+1601 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8436 CPUtime=1600.41 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3141 0 0 0 159960 81 0 0 25 0 1 0 198082123 8638464 1721 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2109 1721 205 16 0 1550 0 Current children cumulated CPU time (s) 1600.41 Current children cumulated vsize (Kb) 8436 [startup+1611 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8480 CPUtime=1610.41 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3156 0 0 0 160959 82 0 0 25 0 1 0 198082123 8683520 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2120 1718 205 16 0 1561 0 Current children cumulated CPU time (s) 1610.41 Current children cumulated vsize (Kb) 8480 [startup+1621.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8412 CPUtime=1620.42 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3164 0 0 0 161959 83 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528670 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2103 1715 205 16 0 1544 0 Current children cumulated CPU time (s) 1620.42 Current children cumulated vsize (Kb) 8412 [startup+1631.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8512 CPUtime=1630.41 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3192 0 0 0 162958 83 0 0 25 0 1 0 198082123 8716288 1710 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2128 1710 205 16 0 1569 0 Current children cumulated CPU time (s) 1630.41 Current children cumulated vsize (Kb) 8512 [startup+1641.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8464 CPUtime=1640.42 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3205 0 0 0 163957 85 0 0 25 0 1 0 198082123 8667136 1723 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2116 1723 205 16 0 1557 0 Current children cumulated CPU time (s) 1640.42 Current children cumulated vsize (Kb) 8464 [startup+1651.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8492 CPUtime=1650.42 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3210 0 0 0 164957 85 0 0 25 0 1 0 198082123 8695808 1728 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2123 1728 205 16 0 1564 0 Current children cumulated CPU time (s) 1650.42 Current children cumulated vsize (Kb) 8492 [startup+1661.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8504 CPUtime=1660.43 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3235 0 0 0 165957 86 0 0 25 0 1 0 198082123 8708096 1731 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8844597 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2126 1731 205 16 0 1567 0 Current children cumulated CPU time (s) 1660.43 Current children cumulated vsize (Kb) 8504 [startup+1671.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8424 CPUtime=1670.42 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3250 0 0 0 166956 86 0 0 25 0 1 0 198082123 8626176 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2106 1718 205 16 0 1547 0 Current children cumulated CPU time (s) 1670.42 Current children cumulated vsize (Kb) 8424 [startup+1681.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8552 CPUtime=1680.43 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3263 0 0 0 167956 87 0 0 25 0 1 0 198082123 8757248 1725 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2138 1725 205 16 0 1579 0 Current children cumulated CPU time (s) 1680.43 Current children cumulated vsize (Kb) 8552 [startup+1691.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8428 CPUtime=1690.44 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3291 0 0 0 168956 88 0 0 25 0 1 0 198082123 8630272 1719 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2107 1719 205 16 0 1548 0 Current children cumulated CPU time (s) 1690.44 Current children cumulated vsize (Kb) 8428 [startup+1701.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8532 CPUtime=1700.43 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3299 0 0 0 169955 88 0 0 25 0 1 0 198082123 8736768 1721 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2133 1721 205 16 0 1574 0 Current children cumulated CPU time (s) 1700.43 Current children cumulated vsize (Kb) 8532 [startup+1711.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8496 CPUtime=1710.44 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3305 0 0 0 170955 89 0 0 25 0 1 0 198082123 8699904 1716 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2124 1716 205 16 0 1565 0 Current children cumulated CPU time (s) 1710.44 Current children cumulated vsize (Kb) 8496 [startup+1721.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8556 CPUtime=1720.44 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3319 0 0 0 171955 89 0 0 25 0 1 0 198082123 8761344 1730 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2139 1730 205 16 0 1580 0 Current children cumulated CPU time (s) 1720.44 Current children cumulated vsize (Kb) 8556 [startup+1731.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8524 CPUtime=1730.45 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3338 0 0 0 172955 90 0 0 25 0 1 0 198082123 8728576 1730 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2131 1730 205 16 0 1572 0 Current children cumulated CPU time (s) 1730.45 Current children cumulated vsize (Kb) 8524 [startup+1741.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8424 CPUtime=1740.44 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3345 0 0 0 173954 90 0 0 25 0 1 0 198082123 8626176 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2106 1718 205 16 0 1547 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (Kb) 8424 [startup+1751.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8412 CPUtime=1750.45 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3361 0 0 0 174954 91 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2103 1715 205 16 0 1544 0 Current children cumulated CPU time (s) 1750.45 Current children cumulated vsize (Kb) 8412 [startup+1761.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8568 CPUtime=1760.45 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3382 0 0 0 175954 91 0 0 25 0 1 0 198082123 8773632 1729 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2142 1729 205 16 0 1583 0 Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 8568 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8412 CPUtime=1770.45 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3382 0 0 0 176953 92 0 0 25 0 1 0 198082123 8613888 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517494 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2103 1715 205 16 0 1544 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 8412 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8460 CPUtime=1780.46 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 177953 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2115 1726 205 16 0 1556 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 8460 [startup+1782.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8460 CPUtime=1781.46 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 178053 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517704 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2115 1726 205 16 0 1556 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 8460 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12327 /proc/meminfo: memFree=1775416/2055920 swapFree=4182220/4192956 [pid=12132] ppid=12130 vsize=8460 CPUtime=1782.46 /proc/12132/stat : 12132 (Pueblo13) R 12130 12132 12086 0 -1 4194304 3393 0 0 0 178153 93 0 0 25 0 1 0 198082123 8663040 1726 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12132/statm: 2115 1726 205 16 0 1556 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 8460 Child status: 10 Real time (s): 1783.38 CPU time (s): 1782.74 CPU user time (s): 1781.8 CPU system time (s): 0.939857 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (Kb): 8648
Begin job on node70 on Sat Jun 3 08:42:05 UTC 2006 FILE ID= 37590-1149324125 PBS_JOBID= 309516 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-37590-1149324125 -o ROOT/results/node70/solver-37590-1149324125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37590-1149324125/instance-37590-1149324125.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba RANDOM SEED= 46481519 /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.265 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.265 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: 1782264 kB Buffers: 17236 kB Cached: 185460 kB SwapCached: 2324 kB Active: 31628 kB Inactive: 179632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782264 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15348 kB Slab: 48548 kB Committed_AS: 246028 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 node70 on Sat Jun 3 09:11:49 UTC 2006