Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 770 | 1782.74 | 1783.34 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 770 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 29693 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525250 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261970 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525250 |
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.03 c starting to Solve 0.03 c #variables read: 1704 - #constraints read: 119 1.23 o 3036 6.27 o 1649 6.27 o 1646 6.35 o 1642 6.49 o 1641 7.91 o 1638 7.96 o 1637 8.09 o 1636 8.10 o 1586 8.10 o 1547 8.10 o 1531 8.11 o 1512 8.11 o 1511 8.11 o 1510 8.11 o 1509 8.12 o 1508 8.12 o 1502 8.12 o 1498 8.13 o 1493 8.13 o 1492 8.13 o 1491 8.13 o 1490 8.14 o 1489 8.14 o 1488 8.14 o 1487 9.28 o 1486 9.28 o 1483 9.30 o 1482 10.09 o 1435 10.09 o 1396 10.10 o 1377 10.10 o 1372 10.10 o 1370 10.11 o 1369 10.29 o 1368 10.29 o 1367 10.29 o 1362 10.32 o 1360 10.78 o 1359 10.80 o 1358 20.70 o 1277 20.70 o 1238 20.71 o 1219 20.71 o 1209 20.71 o 1204 20.71 o 1202 20.71 o 1199 20.72 o 1180 35.61 o 1179 70.65 o 1086 70.86 o 1085 72.63 o 1084 72.73 o 1083 73.45 o 1082 79.54 o 1081 79.63 o 1071 79.63 o 1066 154.71 o 919 154.71 o 918 154.71 o 891 155.07 o 890 155.07 o 888 155.08 o 882 165.04 o 879 165.04 o 876 165.05 o 875 165.05 o 874 165.06 o 873 165.18 o 872 165.21 o 871 165.64 o 869 165.65 o 868 166.16 o 867 166.16 o 866 166.23 o 865 166.23 o 864 186.81 o 863 189.27 o 862 1228.23 o 799 1228.30 o 797 1228.69 o 796 1242.86 o 795 1242.97 o 794 1242.98 o 792 1244.02 o 791 1244.13 o 790 1244.16 o 789 1248.79 o 788 1432.75 o 787 1432.78 o 783 1432.78 o 782 1446.19 o 780 1538.24 o 779 1572.38 o 778 1572.38 o 770 1783.33 c total time : 1783 s 1783.33 s SATISFIABLE 1783.33 v -x977 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x978 -x979 -x980 x981 -x982 -x983 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1783.33 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1783.33 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1783.33 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1783.33 v -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1783.33 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 1783.33 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1783.33 v -x1701 -x1702 -x1703 -x1704 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1783.33 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1783.33 v x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1783.33 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1411 -x1412 -x1413 -x1414 -x1415 1783.33 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 1783.33 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1783.33 v -x1493 -x1494 x1495 x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1783.33 v -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 x1527 -x1528 1783.33 v x1529 -x1530 -x1531 -x1532 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1783.33 v -x1435 -x1436 -x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 1783.33 v -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 1783.33 v -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1783.33 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 1783.33 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1783.33 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1783.33 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 1783.33 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 1783.33 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 1783.33 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 1783.33 v -x396 x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 1783.33 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1783.33 v -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1783.33 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1783.33 v -x480 -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.33 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.33 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 -x105 1783.33 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1783.33 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 1783.33 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1783.33 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.33 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.33 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1783.33 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x481 x482 -x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 -x494 1783.33 v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x721 -x722 -x723 -x724 -x725 1783.33 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 1783.33 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 1783.33 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1783.33 v -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1783.33 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1783.33 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 1783.33 v -x852 -x853 -x854 x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 1783.33 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 1783.33 v x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 x904 -x905 -x906 -x907 -x908 x909 x910 x911 x912 x913 -x914 x915 1783.33 v x916 -x917 x918 -x919 x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 -x936 x937 1783.33 v x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 x948 -x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 1783.33 v -x960 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1783.33 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1783.33 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1783.33 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1783.33 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1783.33 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1783.33 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1783.33 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1783.33 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1783.33 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1783.33 v -x720 x961 x969 x962 x963 x964 x965 x966 -x967 -x968 x970 x971 x972 -x973 x974 -x975 -x976 -x991 -x992 -x993 -x994 -x995 -x996 1783.33 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1783.33 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1783.33 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1783.33 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1783.33 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1783.33 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1783.33 v x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 1783.33 v x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 -x1128 x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 1783.33 v -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 1783.33 v x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1783.33 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1783.33 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 -x1212 1783.33 v x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1783.33 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 1783.33 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1783.33 v x1265 -x1266 -x1267 x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1783.33 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1783.33 v -x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1783.33 v -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1783.33 v x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 1783.33 v -x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 -x1372 x1373 1783.33 v x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1783.33 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1783.33 v -x1408 -x1409 -x1410
OK 770
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/node45/watcher-37700-1149350540 -o ROOT/results/node45/solver-37700-1149350540 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 28703 /proc/meminfo: memFree=1510344/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=2328 CPUtime=0 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 96491773 2383872 128 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4696952 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 582 128 109 16 0 11 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.98 2/64 28703 /proc/meminfo: memFree=1505992/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=6660 CPUtime=9.99 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1314 0 0 0 984 15 0 0 25 0 1 0 96491773 6819840 1285 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1665 1285 205 16 0 1106 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6660 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7264 CPUtime=19.99 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 1982 17 0 0 25 0 1 0 96491773 7438336 1430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1816 1430 205 16 0 1257 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7264 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7204 CPUtime=29.99 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 2982 17 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1801 1427 205 16 0 1242 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 7204 [startup+40.0198 s] /proc/loadavg: 0.95 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7204 CPUtime=39.99 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 3977 22 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1801 1427 205 16 0 1242 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 7204 [startup+50.0256 s] /proc/loadavg: 0.96 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7204 CPUtime=50 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1459 0 0 0 4967 33 0 0 25 0 1 0 96491773 7376896 1427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1801 1427 205 16 0 1242 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7204 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1505424/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7268 CPUtime=60 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1467 0 0 0 5949 51 0 0 25 0 1 0 96491773 7442432 1435 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1817 1435 205 16 0 1258 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7268 [startup+70.0383 s] /proc/loadavg: 0.97 0.96 0.98 2/64 28703 /proc/meminfo: memFree=1504720/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=7896 CPUtime=70 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1632 0 0 0 6933 67 0 0 25 0 1 0 96491773 8085504 1600 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 1974 1600 205 16 0 1415 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7896 [startup+80.0451 s] /proc/loadavg: 0.98 0.96 0.98 2/64 28705 /proc/meminfo: memFree=1504400/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8408 CPUtime=80.01 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1735 0 0 0 7926 75 0 0 25 0 1 0 96491773 8609792 1703 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2102 1703 205 16 0 1543 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 8408 [startup+90.052 s] /proc/loadavg: 0.98 0.96 0.98 2/64 28705 /proc/meminfo: memFree=1504144/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8668 CPUtime=90.02 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1798 0 0 0 8923 79 0 0 25 0 1 0 96491773 8876032 1766 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2167 1766 205 16 0 1608 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 8668 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.98 2/64 28705 /proc/meminfo: memFree=1504080/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8640 CPUtime=100.01 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1811 0 0 0 9919 82 0 0 25 0 1 0 96491773 8847360 1779 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2160 1779 205 16 0 1601 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 8640 [startup+110.066 s] /proc/loadavg: 0.98 0.96 0.98 2/64 28705 /proc/meminfo: memFree=1504016/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=110.02 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1826 0 0 0 10916 86 0 0 25 0 1 0 96491773 8978432 1794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1794 205 16 0 1633 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 8768 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=120.02 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 11913 89 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1816 205 16 0 1633 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 8768 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=130.02 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 12910 92 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1816 205 16 0 1633 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8768 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=140.02 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 13907 95 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1816 205 16 0 1633 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 8768 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=150.03 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 14904 99 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1816 205 16 0 1633 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 8768 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503888/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8768 CPUtime=160.03 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1848 0 0 0 15894 109 0 0 25 0 1 0 96491773 8978432 1816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2192 1816 205 16 0 1633 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 8768 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8956 CPUtime=170.04 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1898 0 0 0 16892 112 0 0 25 0 1 0 96491773 9170944 1865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2239 1865 205 16 0 1680 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 8956 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=8944 CPUtime=180.04 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1898 0 0 0 17887 117 0 0 25 0 1 0 96491773 9158656 1862 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2236 1862 205 16 0 1677 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 8944 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503696/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=9072 CPUtime=190.04 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 1907 0 0 0 18883 121 0 0 25 0 1 0 96491773 9289728 1871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2268 1871 205 16 0 1709 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 9072 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503248/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=9368 CPUtime=200.04 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2012 0 0 0 19881 123 0 0 25 0 1 0 96491773 9592832 1968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 2342 1968 205 16 0 1783 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 9368 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1503312/2055920 swapFree=4191900/4192956 ################ # More data... # ################ /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1590.42 Current children cumulated vsize (Kb) 12348 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1600.42 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 159494 548 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1600.42 Current children cumulated vsize (Kb) 12348 [startup+1610.97 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1610.43 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 160494 549 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1610.43 Current children cumulated vsize (Kb) 12348 [startup+1620.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1620.42 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 161493 549 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1620.42 Current children cumulated vsize (Kb) 12348 [startup+1630.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1630.43 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 162493 550 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1630.43 Current children cumulated vsize (Kb) 12348 [startup+1640.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1640.43 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 163492 551 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1640.43 Current children cumulated vsize (Kb) 12348 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1650.43 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 164491 552 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1650.43 Current children cumulated vsize (Kb) 12348 [startup+1661 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1660.44 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 165490 554 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1660.44 Current children cumulated vsize (Kb) 12348 [startup+1671.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1670.44 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 166490 554 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1670.44 Current children cumulated vsize (Kb) 12348 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1680.44 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 167489 555 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1680.44 Current children cumulated vsize (Kb) 12348 [startup+1691.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1690.44 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 168489 555 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1690.44 Current children cumulated vsize (Kb) 12348 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1700.45 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 169489 556 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1700.45 Current children cumulated vsize (Kb) 12348 [startup+1711.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1710.45 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 170488 557 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1710.45 Current children cumulated vsize (Kb) 12348 [startup+1721.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1720.45 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 171488 557 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1720.45 Current children cumulated vsize (Kb) 12348 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1730.46 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 172488 558 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1730.46 Current children cumulated vsize (Kb) 12348 [startup+1741.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1740.46 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 173487 559 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1740.46 Current children cumulated vsize (Kb) 12348 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1750.46 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 174486 560 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1750.46 Current children cumulated vsize (Kb) 12348 [startup+1761.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500368/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1760.46 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 175485 561 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 12348 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1770.46 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 176484 562 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 12348 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1780.47 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177484 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 12348 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1781.47 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177584 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 12348 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 28705 /proc/meminfo: memFree=1500304/2055920 swapFree=4191900/4192956 [pid=28703] ppid=28701 vsize=12348 CPUtime=1782.47 /proc/28703/stat : 28703 (Pueblo13) R 28701 28703 28657 0 -1 4194304 2805 0 0 0 177684 563 0 0 25 0 1 0 96491773 12644352 2711 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28703/statm: 3087 2711 205 16 0 2528 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 12348 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.74 CPU user time (s): 1777.1 CPU system time (s): 5.63814 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 12440
Begin job on node45 on Sat Jun 3 16:02:20 UTC 2006 FILE ID= 37700-1149350540 PBS_JOBID= 310955 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-37700-1149350540 -o ROOT/results/node45/solver-37700-1149350540 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node45/37700-1149350540/instance-37700-1149350540.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED= 113699026 /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.263 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.263 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: 1510552 kB Buffers: 29304 kB Cached: 439500 kB SwapCached: 260 kB Active: 48456 kB Inactive: 434220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1510552 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 188 kB Writeback: 0 kB Mapped: 23016 kB Slab: 48740 kB Committed_AS: 296564 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sat Jun 3 16:32:04 UTC 2006