Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 13 | 1782.73 | 1783.24 |
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 | 13 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.06 c starting to Solve 0.00/0.06 c #variables read: 2910 - #constraints read: 72 0.06/0.09 o 296634 1782.69/1783.23 c total time : 1783 s 1782.69/1783.23 s SATISFIABLE 1782.69/1783.23 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 1782.69/1783.23 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 1782.69/1783.23 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 1782.69/1783.23 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 1782.69/1783.23 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185 1782.69/1783.23 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1782.69/1783.23 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1782.69/1783.23 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1782.69/1783.23 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1782.69/1783.23 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1782.69/1783.23 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1782.69/1783.23 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1782.69/1783.23 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1782.69/1783.23 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1782.69/1783.23 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1782.69/1783.23 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1782.69/1783.23 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1782.69/1783.23 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1782.69/1783.23 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1782.69/1783.23 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1782.69/1783.23 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1782.69/1783.23 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1782.69/1783.23 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1782.69/1783.23 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1782.69/1783.23 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1782.69/1783.23 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1782.69/1783.23 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1782.69/1783.23 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1782.69/1783.23 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1782.69/1783.23 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1782.69/1783.23 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1782.69/1783.23 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1782.69/1783.23 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1782.69/1783.23 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1782.69/1783.23 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1782.69/1783.23 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1782.69/1783.23 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1782.69/1783.23 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1782.69/1783.23 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1782.69/1783.23 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1782.69/1783.23 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1782.69/1783.23 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 1782.69/1783.23 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1782.69/1783.23 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1782.69/1783.23 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1782.69/1783.23 v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1782.69/1783.23 v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1782.69/1783.23 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 1782.69/1783.23 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1782.69/1783.23 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1782.69/1783.23 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1782.69/1783.23 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1782.69/1783.23 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1782.69/1783.23 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1782.69/1783.23 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1782.69/1783.23 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1782.69/1783.23 v -x1260 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1782.69/1783.23 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1782.69/1783.23 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1782.69/1783.23 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1782.69/1783.23 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1782.69/1783.23 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1782.69/1783.23 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1782.69/1783.23 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1782.69/1783.23 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1782.69/1783.23 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1782.69/1783.23 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1782.69/1783.23 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1782.69/1783.23 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1782.69/1783.23 v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1782.69/1783.23 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1782.69/1783.23 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1782.69/1783.23 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1782.69/1783.23 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1782.69/1783.23 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1782.69/1783.23 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1782.69/1783.23 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1782.69/1783.23 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1782.69/1783.23 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1782.69/1783.23 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1782.69/1783.23 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1782.69/1783.23 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1782.69/1783.23 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1782.69/1783.23 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1782.69/1783.23 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1782.69/1783.23 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1782.69/1783.23 v -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1782.69/1783.23 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1782.69/1783.23 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1782.69/1783.23 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1782.69/1783.23 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1782.69/1783.23 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1782.69/1783.23 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1782.69/1783.23 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1782.69/1783.23 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1782.69/1783.23 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1782.69/1783.23 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1782.69/1783.23 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1782.69/1783.23 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1782.69/1783.23 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1782.69/1783.23 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1782.69/1783.23 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1782.69/1783.23 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1782.69/1783.23 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1782.69/1783.23 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1782.69/1783.23 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1782.69/1783.23 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1782.69/1783.23 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1782.69/1783.23 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1782.69/1783.23 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1782.69/1783.23 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1782.69/1783.23 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1782.69/1783.23 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1782.69/1783.23 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1782.69/1783.23 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 1782.69/1783.23 v x2564 x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1782.69/1783.23 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 1782.69/1783.23 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1782.69/1783.23 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1782.69/1783.23 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1782.69/1783.23 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1782.69/1783.23 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1782.69/1783.23 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 1782.69/1783.23 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1782.69/1783.23 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1782.69/1783.23 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1782.69/1783.23 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1782.69/1783.23 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1782.69/1783.23 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1782.69/1783.23 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1782.69/1783.23 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1782.69/1783.23 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1782.69/1783.23 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1782.69/1783.23 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1782.69/1783.23 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1782.69/1783.23 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1782.69/1783.23 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1782.69/1783.23 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1782.69/1783.23 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1782.69/1783.23 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1782.69/1783.23 v -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1782.69/1783.23 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563 1782.69/1783.23 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1782.69/1783.23 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1782.69/1783.23 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1782.69/1783.23 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1782.69/1783.23 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1782.69/1783.23 v -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1782.69/1783.23 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1782.69/1783.23 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1782.69/1783.23 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1782.69/1783.23 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1782.69/1783.23 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1782.69/1783.23 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1782.69/1783.23 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1782.69/1783.23 v -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1782.69/1783.23 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1782.69/1783.23 v -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1782.69/1783.23 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
OK 13
/tmp/evaluation/351020-1176574119/instance-351020-1176574119.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-351020-1176574119 -o ROOT/results/node17/solver-351020-1176574119 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351020-1176574119/instance-351020-1176574119.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13172 /proc/meminfo: memFree=1754688/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=2552 CPUtime=0 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 105329394 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3325655 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 638 232 193 16 0 77 0 [startup+0.070426 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13172 /proc/meminfo: memFree=1754688/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=4128 CPUtime=0.06 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 665 0 0 0 6 0 0 0 18 0 1 0 105329394 4227072 635 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1032 635 205 16 0 471 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4128 [startup+0.102429 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13172 /proc/meminfo: memFree=1754688/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=4128 CPUtime=0.09 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 105329394 4227072 635 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1032 635 205 16 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4128 [startup+0.302449 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13172 /proc/meminfo: memFree=1754688/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=4512 CPUtime=0.29 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 741 0 0 0 29 0 0 0 19 0 1 0 105329394 4620288 711 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1128 711 205 16 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4512 [startup+0.702491 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13172 /proc/meminfo: memFree=1754688/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=5140 CPUtime=0.69 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 903 0 0 0 69 0 0 0 22 0 1 0 105329394 5263360 873 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1285 873 205 16 0 724 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5140 [startup+1.50158 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1751736/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=5652 CPUtime=1.49 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1033 0 0 0 149 0 0 0 25 0 1 0 105329394 5787648 1003 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1413 1003 205 16 0 852 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5652 [startup+3.10174 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1750968/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=6284 CPUtime=3.09 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1190 0 0 0 309 0 0 0 25 0 1 0 105329394 6434816 1160 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1571 1160 205 16 0 1010 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6284 [startup+6.30108 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1750520/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=6284 CPUtime=6.29 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1190 0 0 0 628 1 0 0 25 0 1 0 105329394 6434816 1160 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1571 1160 205 16 0 1010 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6284 [startup+12.7017 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1750392/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=6412 CPUtime=12.68 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1223 0 0 0 1267 1 0 0 25 0 1 0 105329394 6565888 1193 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1603 1193 205 16 0 1042 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6412 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1750136/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=6708 CPUtime=25.48 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1303 0 0 0 2544 4 0 0 25 0 1 0 105329394 6868992 1271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1677 1271 205 16 0 1116 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6708 [startup+51.1018 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1749816/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=7220 CPUtime=51.07 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1419 0 0 0 5101 6 0 0 25 0 1 0 105329394 7393280 1387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1805 1387 205 16 0 1244 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 7220 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1749432/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=7524 CPUtime=102.26 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1512 0 0 0 10218 8 0 0 25 0 1 0 105329394 7704576 1480 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1881 1480 205 16 0 1320 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7524 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748856/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=7936 CPUtime=162.25 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1645 0 0 0 16214 11 0 0 25 0 1 0 105329394 8126464 1593 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 1984 1593 205 16 0 1423 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 7936 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748792/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8020 CPUtime=222.23 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1725 0 0 0 22208 15 0 0 25 0 1 0 105329394 8212480 1614 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528702 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2005 1614 205 16 0 1444 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 8020 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748664/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8144 CPUtime=282.21 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1793 0 0 0 28202 19 0 0 25 0 1 0 105329394 8339456 1645 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3298253 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2036 1645 205 16 0 1475 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 8144 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748536/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8136 CPUtime=342.19 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1820 0 0 0 34197 22 0 0 25 0 1 0 105329394 8331264 1643 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528236 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2034 1643 205 16 0 1473 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 8136 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748536/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8136 CPUtime=402.17 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1820 0 0 0 40193 24 0 0 25 0 1 0 105329394 8331264 1643 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2034 1643 205 16 0 1473 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 8136 [startup+462.303 s] /proc/loadavg: 0.99 1.00 1.00 3/78 13173 /proc/meminfo: memFree=1748536/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8228 CPUtime=462.16 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1855 0 0 0 46189 27 0 0 25 0 1 0 105329394 8425472 1666 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2057 1666 205 16 0 1496 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 8228 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748536/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8228 CPUtime=522.15 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1855 0 0 0 52184 31 0 0 25 0 1 0 105329394 8425472 1666 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2057 1666 205 16 0 1496 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 8228 [startup+582.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748408/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8228 CPUtime=582.13 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1878 0 0 0 58179 34 0 0 25 0 1 0 105329394 8425472 1666 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2057 1666 205 16 0 1496 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 8228 [startup+642.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748408/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8228 CPUtime=642.11 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 1900 0 0 0 64175 36 0 0 25 0 1 0 105329394 8425472 1666 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2057 1666 205 16 0 1496 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 8228 ################ # More data... # ################ /proc/meminfo: memFree=1748216/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8228 CPUtime=882.04 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2029 0 0 0 88155 49 0 0 25 0 1 0 105329394 8425472 1666 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2057 1666 205 16 0 1496 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 8228 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748216/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8268 CPUtime=942.02 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2110 0 0 0 94149 53 0 0 25 0 1 0 105329394 8466432 1676 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528713 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2067 1676 205 16 0 1506 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 8268 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748344/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8244 CPUtime=1002 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2174 0 0 0 100145 55 0 0 25 0 1 0 105329394 8441856 1670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517790 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2061 1670 205 16 0 1500 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 8244 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 13173 /proc/meminfo: memFree=1748280/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8248 CPUtime=1061.99 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2259 0 0 0 106141 58 0 0 25 0 1 0 105329394 8445952 1671 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2062 1671 205 16 0 1501 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 8248 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 13173 /proc/meminfo: memFree=1748344/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8244 CPUtime=1121.98 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2335 0 0 0 112137 61 0 0 25 0 1 0 105329394 8441856 1670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2061 1670 205 16 0 1500 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 8244 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748344/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8244 CPUtime=1181.95 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2411 0 0 0 118131 64 0 0 25 0 1 0 105329394 8441856 1670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2061 1670 205 16 0 1500 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 8244 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748280/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8500 CPUtime=1241.94 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2488 0 0 0 124127 67 0 0 25 0 1 0 105329394 8704000 1710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2125 1710 205 16 0 1564 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 8500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748216/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8244 CPUtime=1301.93 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2537 0 0 0 130123 70 0 0 25 0 1 0 105329394 8441856 1670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2061 1670 205 16 0 1500 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 8244 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748152/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8384 CPUtime=1361.9 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2679 0 0 0 136117 73 0 0 25 0 1 0 105329394 8585216 1705 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2096 1705 205 16 0 1535 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 8384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748152/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8468 CPUtime=1421.88 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2782 0 0 0 142112 76 0 0 25 0 1 0 105329394 8671232 1722 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2117 1722 205 16 0 1556 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 8468 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748088/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8320 CPUtime=1481.87 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2867 0 0 0 148107 80 0 0 25 0 1 0 105329394 8519680 1689 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2080 1689 205 16 0 1519 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 8320 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748088/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8384 CPUtime=1541.85 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 2993 0 0 0 154101 84 0 0 25 0 1 0 105329394 8585216 1705 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2096 1705 205 16 0 1535 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 8384 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1747960/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8388 CPUtime=1601.84 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3145 0 0 0 160095 89 0 0 25 0 1 0 105329394 8589312 1706 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2097 1706 205 16 0 1536 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 8388 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13173 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8468 CPUtime=1661.81 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3243 0 0 0 166089 92 0 0 25 0 1 0 105329394 8671232 1722 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2117 1722 205 16 0 1556 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 8468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13175 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8428 CPUtime=1721.8 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3327 0 0 0 172083 97 0 0 25 0 1 0 105329394 8630272 1716 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2107 1716 205 16 0 1546 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 8428 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13175 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8412 CPUtime=1781.79 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3405 0 0 0 178077 102 0 0 25 0 1 0 105329394 8613888 1712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2103 1712 205 16 0 1542 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 8412 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13175 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8412 CPUtime=1782.19 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3405 0 0 0 178117 102 0 0 25 0 1 0 105329394 8613888 1712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557282 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2103 1712 205 16 0 1542 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 8412 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13175 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8540 CPUtime=1782.59 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3411 0 0 0 178157 102 0 0 25 0 1 0 105329394 8744960 1718 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2135 1718 205 16 0 1574 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (KiB) 8540 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13175 /proc/meminfo: memFree=1748024/2055920 swapFree=4153028/4192956 [pid=13172] ppid=13170 vsize=8540 CPUtime=1782.69 /proc/13172/stat : 13172 (Pueblo) R 13170 13172 12154 0 -1 4194304 3411 0 0 0 178167 102 0 0 25 0 1 0 105329394 8744960 1718 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528666 0 0 4096 0 0 0 0 17 1 0 0 /proc/13172/statm: 2135 1718 205 16 0 1574 0 Current children cumulated CPU time (s) 1782.69 Current children cumulated vsize (KiB) 8540 Child status: 10 Real time (s): 1783.24 CPU time (s): 1782.73 CPU user time (s): 1781.71 CPU system time (s): 1.02184 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 8704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.71 system time used= 1.02184 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3418 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2988 runsolver used 2.13567 second user time and 4.09938 second system time The end
Begin job on node17 on Sat Apr 14 18:08:39 UTC 2007 IDJOB= 351020 IDBENCH= 1642 IDSOLVER= 165 FILE ID= node17/351020-1176574119 PBS_JOBID= 4556780 Free space on /tmp= 66556 MiB SOLVER NAME= Pueblo 1.4 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= Pueblo /tmp/evaluation/351020-1176574119/instance-351020-1176574119.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-351020-1176574119 -o ROOT/results/node17/conversion-351020-1176574119 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351020-1176574119/instance-351020-1176574119.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-351020-1176574119 -o ROOT/results/node17/solver-351020-1176574119 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351020-1176574119/instance-351020-1176574119.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba RANDOM SEED= 960337452 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 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.240 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: 1755096 kB Buffers: 29576 kB Cached: 194156 kB SwapCached: 2232 kB Active: 129108 kB Inactive: 121272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1755096 kB SwapTotal: 4192956 kB SwapFree: 4153028 kB Dirty: 2400 kB Writeback: 0 kB Mapped: 34028 kB Slab: 35968 kB Committed_AS: 4110612 kB PageTables: 1808 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node17 on Sat Apr 14 18:38:22 UTC 2007