Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.04 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo |
MD5SUM | a455ffab78a89665145255f789204852 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 0.087986 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1800 |
Total number of constraints | 85 |
Number of soft constraints | 24 |
Number of constraints which are clauses | 45 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 45 |
Top cost | 1255 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1254 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 28/12 clauses 33/12 units 0 0.00/0.00 c vars 1800 0.00/0.06 c 0.055991 15.7695 12 2388 0.00/0.06 o 546 0.00/0.06 c 0.056991 15.9258 13 2543 0.00/0.06 o 63 0.00/0.06 c 0.058991 15.9258 13 2633 0.00/0.06 o 40 0.00/0.07 c 0.05999 15.9258 13 2739 0.00/0.07 o 31 0.00/0.07 c 0.06099 15.9258 13 2845 0.00/0.07 o 23 1800.03/1800.00 s SATISFIABLE 1800.03/1800.00 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 -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 -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 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x900 -x901 -x902 x903 x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699003-1278459249/watcher-2699003-1278459249 -o /tmp/evaluation-result-2699003-1278459249/solver-2699003-1278459249 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699003-1278459249.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.68 2/176 13982 /proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=2268 CPUtime=0 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 279 0 0 0 0 0 0 0 24 0 1 0 14138376 2322432 198 4089446400 134512640 136422188 4289857776 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13982/statm: 567 198 144 467 0 98 0 [startup+0.095429 s] /proc/loadavg: 1.93 1.98 1.68 2/176 13982 /proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=16304 CPUtime=0.08 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 3759 0 0 0 6 2 0 0 24 0 1 0 14138376 16695296 3673 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13982/statm: 4076 3673 236 467 0 3607 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16304 [startup+0.100428 s] /proc/loadavg: 1.93 1.98 1.68 2/176 13982 /proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=16436 CPUtime=0.09 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 3769 0 0 0 6 3 0 0 24 0 1 0 14138376 16830464 3683 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13982/statm: 4109 3683 236 467 0 3640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16436 [startup+0.300394 s] /proc/loadavg: 1.93 1.98 1.68 2/176 13982 /proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=18008 CPUtime=0.29 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4163 0 0 0 18 11 0 0 25 0 1 0 14138376 18440192 4077 4089446400 134512640 136422188 4289857776 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13982/statm: 4502 4077 237 467 0 4033 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18008 [startup+0.700328 s] /proc/loadavg: 1.93 1.98 1.68 2/176 13982 /proc/meminfo: memFree=29650372/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=19592 CPUtime=0.69 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4564 0 0 0 43 26 0 0 25 0 1 0 14138376 20062208 4478 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13982/statm: 4898 4478 237 467 0 4429 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19592 [startup+1.50032 s] /proc/loadavg: 1.93 1.98 1.68 2/177 13983 /proc/meminfo: memFree=29632632/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=20252 CPUtime=1.49 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 4734 0 0 0 99 50 0 0 25 0 1 0 14138376 20738048 4648 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13982/statm: 5063 4648 237 467 0 4594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20252 [startup+3.10106 s] /proc/loadavg: 1.93 1.98 1.68 2/174 13986 /proc/meminfo: memFree=29630300/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=21440 CPUtime=3.09 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 5039 0 0 0 233 76 0 0 25 0 1 0 14138376 21954560 4953 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13982/statm: 5360 4953 237 467 0 4891 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21440 [startup+6.30052 s] /proc/loadavg: 1.86 1.97 1.67 2/174 13987 /proc/meminfo: memFree=29627892/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=25284 CPUtime=6.29 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 5991 0 0 0 514 115 0 0 25 0 1 0 14138376 25890816 5905 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13982/statm: 6321 5905 237 467 0 5852 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25284 [startup+12.7004 s] /proc/loadavg: 1.79 1.95 1.67 2/174 14001 /proc/meminfo: memFree=29628640/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=28628 CPUtime=12.69 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 6886 0 0 0 1025 244 0 0 25 0 1 0 14138376 29315072 6757 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 7157 6757 237 467 0 6688 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28628 [startup+25.5003 s] /proc/loadavg: 1.84 1.95 1.67 3/179 14011 /proc/meminfo: memFree=29617548/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=33220 CPUtime=25.49 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 8037 0 0 0 1952 597 0 0 25 0 1 0 14138376 34017280 7900 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 8305 7900 237 467 0 7836 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33220 [startup+51.1009 s] /proc/loadavg: 1.95 1.97 1.69 3/179 14011 /proc/meminfo: memFree=29614972/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=36312 CPUtime=51.09 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 8841 0 0 0 3784 1325 0 0 25 0 1 0 14138376 37183488 8673 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 9078 8673 237 467 0 8609 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 36312 [startup+102.306 s] /proc/loadavg: 2.04 1.99 1.71 3/179 14013 /proc/meminfo: memFree=29611204/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=38716 CPUtime=102.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 9630 0 0 0 7499 2731 0 0 25 0 1 0 14138376 39645184 9275 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 9679 9275 237 467 0 9210 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 38716 [startup+162.301 s] /proc/loadavg: 2.01 1.99 1.72 3/179 14042 /proc/meminfo: memFree=29605504/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=44932 CPUtime=162.29 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 11172 0 0 0 12235 3994 0 0 25 0 1 0 14138376 46010368 10817 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 11233 10817 237 467 0 10764 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 44932 [startup+222.301 s] /proc/loadavg: 2.04 2.00 1.74 3/179 14070 /proc/meminfo: memFree=29603800/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=46796 CPUtime=222.29 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 11676 0 0 0 16987 5242 0 0 25 0 1 0 14138376 47919104 11293 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 11699 11293 237 467 0 11230 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 46796 [startup+282.301 s] /proc/loadavg: 2.01 2.00 1.75 3/179 14098 /proc/meminfo: memFree=29601256/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=48796 CPUtime=282.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 12385 0 0 0 21702 6528 0 0 25 0 1 0 14138376 49967104 11779 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 12199 11779 237 467 0 11730 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 48796 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.77 3/179 14100 /proc/meminfo: memFree=29595092/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=54896 CPUtime=342.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 13969 0 0 0 26601 7629 0 0 25 0 1 0 14138376 56213504 13316 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 13724 13316 237 467 0 13255 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 54896 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.78 3/179 14129 /proc/meminfo: memFree=29585324/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=57968 CPUtime=402.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 14897 0 0 0 31364 8866 0 0 25 0 1 0 14138376 59359232 14082 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 14492 14082 237 467 0 14023 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 57968 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.79 3/179 14131 /proc/meminfo: memFree=29583128/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=59876 CPUtime=462.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 15614 0 0 0 36140 10090 0 0 25 0 1 0 14138376 61313024 14558 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 14969 14558 237 467 0 14500 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 59876 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.80 3/179 14132 /proc/meminfo: memFree=29583060/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=59876 CPUtime=522.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 15616 0 0 0 41067 11163 0 0 25 0 1 0 14138376 61313024 14560 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 14969 14560 237 467 0 14500 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 59876 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.81 3/179 14133 /proc/meminfo: memFree=29580884/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=62776 CPUtime=582.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 16321 0 0 0 45774 12456 0 0 25 0 1 0 14138376 64282624 15265 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 15694 15265 237 467 0 15225 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 62776 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.82 3/179 14135 /proc/meminfo: memFree=29579940/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=62812 CPUtime=642.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 16510 0 0 0 50546 13685 0 0 25 0 1 0 14138376 64319488 15294 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 15703 15294 237 467 0 15234 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 62812 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.84 3/179 14140 /proc/meminfo: memFree=29570776/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=71864 CPUtime=822.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19160 0 0 0 65851 16379 0 0 25 0 1 0 14138376 73588736 17550 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 17966 17550 237 467 0 17497 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 71864 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.85 3/179 14141 /proc/meminfo: memFree=29569208/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=73540 CPUtime=882.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 70795 17436 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 18385 17945 237 467 0 17916 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 73540 [startup+942.301 s] /proc/loadavg: 2.03 2.01 1.86 3/179 14143 /proc/meminfo: memFree=29569128/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=73540 CPUtime=942.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 75682 18549 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 18385 17945 237 467 0 17916 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 73540 [startup+1002.3 s] /proc/loadavg: 2.05 2.02 1.87 3/179 14145 /proc/meminfo: memFree=29569296/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=73540 CPUtime=1002.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 80464 19767 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 18385 17945 237 467 0 17916 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 73540 [startup+1062.3 s] /proc/loadavg: 2.02 2.02 1.87 3/179 14147 /proc/meminfo: memFree=29569340/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=73540 CPUtime=1062.3 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19661 0 0 0 85483 20747 0 0 25 0 1 0 14138376 75304960 17945 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 18385 17945 237 467 0 17916 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 73540 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 1.88 3/179 14148 /proc/meminfo: memFree=29568756/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=74036 CPUtime=1122.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 19782 0 0 0 90378 21853 0 0 25 0 1 0 14138376 75812864 18066 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 18509 18066 237 467 0 18040 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 74036 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 14149 /proc/meminfo: memFree=29561880/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80308 CPUtime=1182.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21801 0 0 0 95170 23061 0 0 25 0 1 0 14138376 82235392 19657 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20077 19657 237 467 0 19608 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 80308 [startup+1242.3 s] /proc/loadavg: 2.04 2.02 1.90 3/179 14151 /proc/meminfo: memFree=29561540/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1242.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 100367 23864 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19686 237 467 0 19641 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 80440 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 1.90 3/179 14153 /proc/meminfo: memFree=29561456/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1302.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 105382 24849 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19686 237 467 0 19641 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 80440 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14155 /proc/meminfo: memFree=29561516/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1362.31 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 110267 25964 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19686 237 467 0 19641 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 80440 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14156 /proc/meminfo: memFree=29561196/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1422.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 115052 27180 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19686 237 467 0 19641 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 80440 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14157 /proc/meminfo: memFree=29560888/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1482.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21830 0 0 0 119956 28276 0 0 25 0 1 0 14138376 82370560 19686 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19686 237 467 0 19641 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 80440 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14159 /proc/meminfo: memFree=29560940/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1542.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21832 0 0 0 124765 29467 0 0 25 0 1 0 14138376 82370560 19688 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19688 237 467 0 19641 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 80440 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14161 /proc/meminfo: memFree=29560880/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=80440 CPUtime=1602.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 21832 0 0 0 129580 30652 0 0 25 0 1 0 14138376 82370560 19688 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20110 19688 237 467 0 19641 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 80440 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14172 /proc/meminfo: memFree=29558232/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=82116 CPUtime=1662.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 22290 0 0 0 134371 31861 0 0 25 0 1 0 14138376 84086784 20107 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 20529 20107 237 467 0 20060 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 82116 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14173 /proc/meminfo: memFree=29552948/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=87396 CPUtime=1722.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 23592 0 0 0 139097 33135 0 0 25 0 1 0 14138376 89493504 21409 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 21849 21409 237 467 0 21380 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 87396 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14174 /proc/meminfo: memFree=29549404/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=90924 CPUtime=1782.32 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 24540 0 0 0 144354 33878 0 0 25 0 1 0 14138376 93106176 22296 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 22731 22296 237 467 0 22262 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 90924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.91 3/179 14175 /proc/meminfo: memFree=29549008/32950928 swapFree=67111528/67111528 [pid=13982] ppid=13980 vsize=91320 CPUtime=1800.03 /proc/13982/stat : 13982 (pbct) R 13980 13982 13849 0 -1 4202496 24630 0 0 0 145920 34083 0 0 25 0 1 0 14138376 93511680 22386 4089446400 134512640 136422188 4289857776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13982/statm: 22830 22386 237 467 0 22361 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 91320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.04 CPU user time (s): 1459.2 CPU system time (s): 340.836 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 91320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1459.2 system time used= 340.836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24631 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= 1 involuntary context switches= 2719 runsolver used 2.75058 second user time and 5.44017 second system time The end
Begin job on node126 at 2010-07-07 01:34:09 IDJOB=2699003 IDBENCH=78715 IDSOLVER=1212 FILE ID=node126/2699003-1278459249 PBS_JOBID= 11233740 Free space on /tmp= 73676 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699003-1278459249/watcher-2699003-1278459249 -o /tmp/evaluation-result-2699003-1278459249/solver-2699003-1278459249 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699003-1278459249.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a455ffab78a89665145255f789204852 RANDOM SEED=1578258531 node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.861 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29650644 kB Buffers: 107652 kB Cached: 2985700 kB SwapCached: 0 kB Active: 847036 kB Inactive: 2310832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29650644 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2148 kB Writeback: 0 kB AnonPages: 64648 kB Mapped: 14656 kB Slab: 78104 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 216112 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73676 MiB End job on node126 at 2010-07-07 02:04:11