Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 13 | 1782.74 | 1783.47 |
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.46 c total time : 1783 s 1783.46 s SATISFIABLE 1783.46 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.46 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.46 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.46 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.46 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185 1783.46 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1783.46 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1783.46 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1783.46 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1783.46 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1783.46 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1783.46 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1783.46 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1783.46 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1783.46 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1783.46 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1783.46 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1783.46 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1783.46 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1783.46 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1783.46 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1783.46 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1783.46 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1783.46 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1783.46 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1783.46 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1783.46 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1783.46 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1783.46 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1783.46 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1783.46 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1783.46 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1783.46 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1783.46 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1783.46 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1783.46 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1783.46 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1783.46 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1783.46 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1783.46 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1783.46 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1783.46 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 1783.46 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1783.46 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1783.46 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1783.46 v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1783.46 v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1783.46 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 1783.46 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1783.46 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1783.46 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1783.46 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1783.46 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1783.46 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1783.46 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1783.46 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1783.46 v -x1260 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1783.46 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1783.46 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1783.46 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1783.46 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1783.46 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1783.46 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1783.46 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1783.46 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1783.46 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1783.46 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1783.46 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1783.46 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.46 v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1783.46 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1783.46 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1783.46 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1783.46 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1783.46 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1783.46 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1783.46 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1783.46 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1783.46 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1783.46 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1783.46 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1783.46 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1783.46 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1783.46 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1783.46 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1783.46 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1783.46 v -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1783.46 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1783.46 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1783.46 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1783.46 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1783.46 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1783.46 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1783.46 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1783.46 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1783.46 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1783.46 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1783.46 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1783.46 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1783.46 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1783.46 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1783.46 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1783.46 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1783.46 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1783.46 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1783.46 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1783.46 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1783.46 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1783.46 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1783.46 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1783.46 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1783.46 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1783.46 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1783.46 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1783.46 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 1783.46 v x2564 x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1783.46 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 1783.46 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1783.46 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1783.46 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1783.46 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1783.46 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1783.46 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1783.46 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1783.46 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1783.46 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1783.46 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1783.46 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1783.46 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1783.46 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1783.46 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1783.46 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1783.46 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1783.46 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1783.46 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1783.46 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1783.46 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1783.46 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1783.46 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1783.46 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1783.46 v -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1783.46 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563 1783.46 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1783.46 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1783.46 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1783.46 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1783.46 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1783.46 v -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1783.46 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1783.46 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1783.46 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1783.46 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1783.46 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1783.46 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1783.46 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1783.46 v -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1783.46 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1783.46 v -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1783.46 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/node12/watcher-36440-1149324141 -o ROOT/results/node12/solver-36440-1149324141 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node12/36440-1149324141/instance-36440-1149324141.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 3/64 12575 /proc/meminfo: memFree=1491736/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=2572 CPUtime=0 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 198076700 2633728 224 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 643 227 193 16 0 84 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.92 2/64 12575 /proc/meminfo: memFree=1487704/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=6432 CPUtime=9.99 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1229 0 0 0 998 1 0 0 25 0 1 0 198076700 6586368 1200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1608 1200 205 16 0 1049 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6432 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1487704/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=6344 CPUtime=20 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1229 0 0 0 1995 5 0 0 25 0 1 0 198076700 6496256 1198 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1586 1198 205 16 0 1027 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6344 [startup+30.0136 s] /proc/loadavg: 0.95 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1487320/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=6728 CPUtime=30 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1321 0 0 0 2994 6 0 0 25 0 1 0 198076700 6889472 1290 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1682 1290 205 16 0 1123 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6728 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1487192/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=6984 CPUtime=39.99 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1366 0 0 0 3993 6 0 0 25 0 1 0 198076700 7151616 1335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1746 1335 205 16 0 1187 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6984 [startup+50.0252 s] /proc/loadavg: 0.96 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486936/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7240 CPUtime=49.99 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1425 0 0 0 4992 7 0 0 25 0 1 0 198076700 7413760 1394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1810 1394 205 16 0 1251 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 7240 [startup+60.032 s] /proc/loadavg: 0.97 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486872/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7240 CPUtime=60 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1432 0 0 0 5992 8 0 0 25 0 1 0 198076700 7413760 1401 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1810 1401 205 16 0 1251 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7240 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7368 CPUtime=70 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1481 0 0 0 6992 8 0 0 25 0 1 0 198076700 7544832 1450 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1842 1450 205 16 0 1283 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7368 [startup+80.0456 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7496 CPUtime=80.01 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1506 0 0 0 7992 9 0 0 25 0 1 0 198076700 7675904 1475 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528702 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1874 1475 205 16 0 1315 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 7496 [startup+90.0514 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486680/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7496 CPUtime=90.01 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1507 0 0 0 8992 9 0 0 25 0 1 0 198076700 7675904 1476 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1874 1476 205 16 0 1315 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7496 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486616/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7544 CPUtime=100.01 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1518 0 0 0 9992 9 0 0 25 0 1 0 198076700 7725056 1487 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1886 1487 205 16 0 1327 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 7544 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12575 /proc/meminfo: memFree=1486232/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7932 CPUtime=110.02 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1604 0 0 0 10992 10 0 0 25 0 1 0 198076700 8122368 1573 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1983 1573 205 16 0 1424 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 7932 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486232/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7932 CPUtime=120.02 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1604 0 0 0 11991 11 0 0 25 0 1 0 198076700 8122368 1573 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528632 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1983 1573 205 16 0 1424 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 7932 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486168/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8060 CPUtime=130.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 12991 12 0 0 25 0 1 0 198076700 8253440 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2015 1599 205 16 0 1456 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 8060 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486168/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7956 CPUtime=140.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 13991 12 0 0 25 0 1 0 198076700 8146944 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1989 1599 205 16 0 1430 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 7956 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486104/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7956 CPUtime=150.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1630 0 0 0 14991 12 0 0 25 0 1 0 198076700 8146944 1599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557272 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1989 1599 205 16 0 1430 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 7956 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7956 CPUtime=160.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1651 0 0 0 15990 13 0 0 25 0 1 0 198076700 8146944 1600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1989 1600 205 16 0 1430 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 7956 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8084 CPUtime=170.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1663 0 0 0 16990 13 0 0 25 0 1 0 198076700 8278016 1612 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528611 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2021 1612 205 16 0 1462 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 8084 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7956 CPUtime=180.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1663 0 0 0 17990 13 0 0 25 0 1 0 198076700 8146944 1600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1989 1600 205 16 0 1430 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 7956 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1486040/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=7996 CPUtime=190.03 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1686 0 0 0 18990 13 0 0 25 0 1 0 198076700 8187904 1610 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 1999 1610 205 16 0 1440 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 7996 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1485976/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8016 CPUtime=200.04 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 1708 0 0 0 19990 14 0 0 25 0 1 0 198076700 8208384 1615 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2004 1615 205 16 0 1445 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 8016 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12575 /proc/meminfo: memFree=1485976/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/12575/statm: 2098 1709 205 16 0 1539 0 Current children cumulated CPU time (s) 1590.29 Current children cumulated vsize (Kb) 8392 [startup+1600.95 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8404 CPUtime=1600.28 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3151 0 0 0 159947 81 0 0 25 0 1 0 198076700 8605696 1712 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2101 1712 205 16 0 1542 0 Current children cumulated CPU time (s) 1600.28 Current children cumulated vsize (Kb) 8404 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8564 CPUtime=1610.29 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3188 0 0 0 160947 82 0 0 25 0 1 0 198076700 8769536 1724 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2141 1724 205 16 0 1582 0 Current children cumulated CPU time (s) 1610.29 Current children cumulated vsize (Kb) 8564 [startup+1620.96 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8472 CPUtime=1620.29 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3200 0 0 0 161946 83 0 0 25 0 1 0 198076700 8675328 1727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2118 1727 205 16 0 1559 0 Current children cumulated CPU time (s) 1620.29 Current children cumulated vsize (Kb) 8472 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8560 CPUtime=1630.29 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3221 0 0 0 162946 83 0 0 25 0 1 0 198076700 8765440 1730 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2140 1730 205 16 0 1581 0 Current children cumulated CPU time (s) 1630.29 Current children cumulated vsize (Kb) 8560 [startup+1640.97 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8420 CPUtime=1640.29 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3236 0 0 0 163945 84 0 0 25 0 1 0 198076700 8622080 1716 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2105 1716 205 16 0 1546 0 Current children cumulated CPU time (s) 1640.29 Current children cumulated vsize (Kb) 8420 [startup+1650.98 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8456 CPUtime=1650.29 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3240 0 0 0 164945 84 0 0 25 0 1 0 198076700 8658944 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2114 1720 205 16 0 1555 0 Current children cumulated CPU time (s) 1650.29 Current children cumulated vsize (Kb) 8456 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8488 CPUtime=1660.3 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3249 0 0 0 165944 86 0 0 25 0 1 0 198076700 8691712 1729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2122 1729 205 16 0 1563 0 Current children cumulated CPU time (s) 1660.3 Current children cumulated vsize (Kb) 8488 [startup+1670.99 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8372 CPUtime=1670.3 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3273 0 0 0 166944 86 0 0 25 0 1 0 198076700 8572928 1704 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2093 1704 205 16 0 1534 0 Current children cumulated CPU time (s) 1670.3 Current children cumulated vsize (Kb) 8372 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8548 CPUtime=1680.3 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3303 0 0 0 167944 86 0 0 25 0 1 0 198076700 8753152 1724 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2137 1724 205 16 0 1578 0 Current children cumulated CPU time (s) 1680.3 Current children cumulated vsize (Kb) 8548 [startup+1691 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8436 CPUtime=1690.3 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3310 0 0 0 168943 87 0 0 25 0 1 0 198076700 8638464 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2109 1720 205 16 0 1550 0 Current children cumulated CPU time (s) 1690.3 Current children cumulated vsize (Kb) 8436 [startup+1701.01 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8460 CPUtime=1700.3 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3323 0 0 0 169942 88 0 0 25 0 1 0 198076700 8663040 1726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2115 1726 205 16 0 1556 0 Current children cumulated CPU time (s) 1700.3 Current children cumulated vsize (Kb) 8460 [startup+1711.01 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8456 CPUtime=1710.31 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3333 0 0 0 170942 89 0 0 25 0 1 0 198076700 8658944 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2114 1725 205 16 0 1555 0 Current children cumulated CPU time (s) 1710.31 Current children cumulated vsize (Kb) 8456 [startup+1721.02 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8448 CPUtime=1720.31 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3333 0 0 0 171941 90 0 0 25 0 1 0 198076700 8650752 1723 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2112 1723 205 16 0 1553 0 Current children cumulated CPU time (s) 1720.31 Current children cumulated vsize (Kb) 8448 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8556 CPUtime=1730.32 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3344 0 0 0 172940 92 0 0 25 0 1 0 198076700 8761344 1734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2139 1734 205 16 0 1580 0 Current children cumulated CPU time (s) 1730.32 Current children cumulated vsize (Kb) 8556 [startup+1741.03 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1485016/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8456 CPUtime=1740.32 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3364 0 0 0 173940 92 0 0 25 0 1 0 198076700 8658944 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2114 1725 205 16 0 1555 0 Current children cumulated CPU time (s) 1740.32 Current children cumulated vsize (Kb) 8456 [startup+1751.04 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8556 CPUtime=1750.32 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3385 0 0 0 174940 92 0 0 25 0 1 0 198076700 8761344 1738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2139 1738 205 16 0 1580 0 Current children cumulated CPU time (s) 1750.32 Current children cumulated vsize (Kb) 8556 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8556 CPUtime=1760.32 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3399 0 0 0 175939 93 0 0 25 0 1 0 198076700 8761344 1723 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2139 1723 205 16 0 1580 0 Current children cumulated CPU time (s) 1760.32 Current children cumulated vsize (Kb) 8556 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8436 CPUtime=1770.32 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3411 0 0 0 176939 93 0 0 25 0 1 0 198076700 8638464 1720 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2109 1720 205 16 0 1550 0 Current children cumulated CPU time (s) 1770.32 Current children cumulated vsize (Kb) 8436 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8560 CPUtime=1780.33 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 177939 94 0 0 25 0 1 0 198076700 8765440 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2140 1725 205 16 0 1581 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 8560 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8552 CPUtime=1781.33 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 178039 94 0 0 25 0 1 0 198076700 8757248 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2138 1725 205 16 0 1579 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 8552 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12770 /proc/meminfo: memFree=1484952/2055920 swapFree=4181420/4192956 [pid=12575] ppid=12573 vsize=8552 CPUtime=1782.34 /proc/12575/stat : 12575 (Pueblo) R 12573 12575 12529 0 -1 4194304 3417 0 0 0 178140 94 0 0 25 0 1 0 198076700 8757248 1725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520332 0 0 4096 0 0 0 0 17 1 0 0 /proc/12575/statm: 2138 1725 205 16 0 1579 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 8552 Child status: 10 Real time (s): 1783.47 CPU time (s): 1782.74 CPU user time (s): 1781.8 CPU system time (s): 0.945856 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (Kb): 8612
Begin job on node12 on Sat Jun 3 08:42:21 UTC 2006 FILE ID= 36440-1149324141 PBS_JOBID= 309522 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/Pueblo ROOT/tmp/node12/36440-1149324141/instance-36440-1149324141.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-36440-1149324141 -o ROOT/results/node12/solver-36440-1149324141 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node12/36440-1149324141/instance-36440-1149324141.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba RANDOM SEED= 535206541 /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.282 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.282 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: 1491944 kB Buffers: 21048 kB Cached: 471832 kB SwapCached: 3180 kB Active: 293288 kB Inactive: 208220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1491944 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14720 kB Slab: 48528 kB Committed_AS: 304352 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 node12 on Sat Jun 3 09:12:05 UTC 2006