Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pb_cplex 2010-06-29 | SAT | 0 | 1799.64 | 1800.11 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb |
MD5SUM | ed2e5a29708037a3709a2832db86ffbb |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -164 |
Best CPU time to get the best result obtained on this benchmark | 22.6126 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 62225 |
Number of constraints which are clauses | 62225 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 356 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 356 |
Number of bits of the biggest sum of numbers | 9 |
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_cplex 1.0 - 20100701 0.00/0.00 c Parsing opb file format. File HOME/instance-2695697-1278022035.opb. 0.00/0.00 c Instance file HOME/instance-2695697-1278022035.opb 0.00/0.00 c File size is 2076817 bytes. 0.00/0.57 c Highest Coefficient sum: 4 0.00/0.57 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 0.00/0.65 c ============================[ Problem Statistics ]============================= 0.00/0.65 c | | 0.00/0.65 c | Parsing time: 0.63 s | 0.00/0.65 c | Number Variables: 2025 | 0.00/0.67 c | Number Constraints: 62225 | 0.00/0.67 c =============================================================================== 1799.52/1800.09 c Remaining time 1799.36 sec. 1799.52/1800.09 s SATISFIABLE 1799.52/1800.09 c Solution value = 0.00 1799.52/1800.09 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 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1799.61/1800.10 c Total CPU time : 1798.62 s
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695697-1278022035/watcher-2695697-1278022035 -o /tmp/evaluation-result-2695697-1278022035/solver-2695697-1278022035 -C 1800 -W 2000 -M 1800 run HOME/instance-2695697-1278022035.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.30 1.66 1.50 3/106 29271 /proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [startup+0.05251 s] /proc/loadavg: 1.30 1.66 1.50 3/106 29271 /proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101515 s] /proc/loadavg: 1.30 1.66 1.50 3/106 29271 /proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301536 s] /proc/loadavg: 1.30 1.66 1.50 3/106 29271 /proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701597 s] /proc/loadavg: 1.30 1.66 1.50 3/106 29271 /proc/meminfo: memFree=1501560/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50167 s] /proc/loadavg: 1.30 1.66 1.50 2/108 29273 /proc/meminfo: memFree=1469676/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=113136 CPUtime=1.48 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 21038 0 0 0 141 7 0 0 19 0 1 0 143496371 115851264 12282 1992294400 134512640 146736320 4290838848 18446744073709551615 135811925 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 28284 12282 830 2985 0 24826 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 121836 [startup+3.10084 s] /proc/loadavg: 1.30 1.66 1.50 2/108 29273 /proc/meminfo: memFree=1450704/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118008 CPUtime=3.08 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24377 0 0 0 299 9 0 0 21 0 1 0 143496371 120840192 13496 1992294400 134512640 146736320 4290838848 18446744073709551615 136461475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29502 13496 893 2985 0 26044 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 126708 [startup+6.30119 s] /proc/loadavg: 1.28 1.65 1.50 2/108 29275 /proc/meminfo: memFree=1449960/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118196 CPUtime=6.28 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 619 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 138412928 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29549 13560 893 2985 0 26091 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 126896 [startup+12.7009 s] /proc/loadavg: 1.25 1.64 1.50 2/108 29275 /proc/meminfo: memFree=1449960/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118196 CPUtime=12.68 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 1259 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 136015684 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29549 13560 893 2985 0 26091 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 126896 [startup+25.5013 s] /proc/loadavg: 1.20 1.60 1.49 2/108 29275 /proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118196 CPUtime=25.48 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24441 0 0 0 2539 9 0 0 25 0 1 0 143496371 121032704 13560 1992294400 134512640 146736320 4290838848 18446744073709551615 135997721 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29549 13560 893 2985 0 26091 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 126896 [startup+51.1011 s] /proc/loadavg: 1.13 1.56 1.47 2/108 29275 /proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118196 CPUtime=51.07 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24442 0 0 0 5097 10 0 0 25 0 1 0 143496371 121032704 13561 1992294400 134512640 146736320 4290838848 18446744073709551615 138666621 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29549 13561 893 2985 0 26091 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 126896 [startup+102.309 s] /proc/loadavg: 1.09 1.48 1.45 2/108 29277 /proc/meminfo: memFree=1450084/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=118196 CPUtime=102.27 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 24442 0 0 0 10216 11 0 0 25 0 1 0 143496371 121032704 13561 1992294400 134512640 146736320 4290838848 18446744073709551615 136236999 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 29549 13561 893 2985 0 26091 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126896 [startup+162.301 s] /proc/loadavg: 1.07 1.40 1.42 2/108 29279 /proc/meminfo: memFree=1444876/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=125500 CPUtime=162.24 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 25768 0 0 0 16213 11 0 0 25 0 1 0 143496371 128512000 14887 1992294400 134512640 146736320 4290838848 18446744073709551615 138768453 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 31375 14887 901 2985 0 27917 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 134200 [startup+222.302 s] /proc/loadavg: 1.14 1.36 1.41 2/108 29279 /proc/meminfo: memFree=1444876/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=125500 CPUtime=222.22 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 25768 0 0 0 22211 11 0 0 25 0 1 0 143496371 128512000 14887 1992294400 134512640 146736320 4290838848 18446744073709551615 138768211 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 31375 14887 901 2985 0 27917 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 134200 [startup+282.301 s] /proc/loadavg: 1.12 1.31 1.38 2/108 29281 /proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=167360 CPUtime=282.21 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 41779 0 0 0 28204 17 0 0 25 0 1 0 143496371 171376640 21337 1992294400 134512640 146736320 4290838848 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41840 21337 975 2985 0 38382 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 176060 [startup+342.302 s] /proc/loadavg: 1.11 1.26 1.36 2/108 29283 /proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=167412 CPUtime=342.19 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 47528 0 0 0 34201 18 0 0 25 0 1 0 143496371 171429888 21350 1992294400 134512640 146736320 4290838848 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41853 21350 975 2985 0 38395 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 176112 [startup+402.301 s] /proc/loadavg: 1.10 1.23 1.34 2/108 29285 /proc/meminfo: memFree=1418712/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=167412 CPUtime=402.18 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 53602 0 0 0 40197 21 0 0 25 0 1 0 143496371 171429888 21350 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41853 21350 975 2985 0 38395 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 176112 [startup+462.301 s] ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.12 2/108 29311 /proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166168 CPUtime=1361.93 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 200296 0 0 0 136115 78 0 0 25 0 1 0 143496371 170156032 22066 1992294400 134512640 146736320 4290838848 18446744073709551615 136017846 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41542 22066 1016 2985 0 38084 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 174868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.10 2/108 29311 /proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166168 CPUtime=1421.92 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 207782 0 0 0 142111 81 0 0 25 0 1 0 143496371 170156032 22066 1992294400 134512640 146736320 4290838848 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41542 22066 1016 2985 0 38084 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 174868 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/108 29313 /proc/meminfo: memFree=1415488/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166196 CPUtime=1481.9 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 214898 0 0 0 148106 84 0 0 25 0 1 0 143496371 170184704 22075 1992294400 134512640 146736320 4290838848 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41549 22075 1016 2985 0 38091 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 174896 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/108 29318 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166196 CPUtime=1541.88 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 221971 0 0 0 154101 87 0 0 25 0 1 0 143496371 170184704 22076 1992294400 134512640 146736320 4290838848 18446744073709551615 139043566 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41549 22076 1016 2985 0 38091 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 174896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/108 29320 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166228 CPUtime=1601.87 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 229079 0 0 0 160097 90 0 0 25 0 1 0 143496371 170217472 22084 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41557 22084 1016 2985 0 38099 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 174928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 29322 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1661.85 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 236633 0 0 0 166092 93 0 0 25 0 1 0 143496371 170237952 22088 1992294400 134512640 146736320 4290838848 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22088 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 174948 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/108 29322 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1721.84 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 243643 0 0 0 172088 96 0 0 25 0 1 0 143496371 170237952 22088 1992294400 134512640 146736320 4290838848 18446744073709551615 139044564 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22088 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 174948 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1781.82 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 250705 0 0 0 178083 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136389768 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 174948 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1791.42 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252213 0 0 0 179043 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 174948 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1794.62 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252213 0 0 0 179363 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 174948 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1797.81 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252716 0 0 0 179682 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 174948 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1798.61 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 252716 0 0 0 179762 99 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 174948 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=166248 CPUtime=1799.42 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 253710 0 0 0 179842 100 0 0 25 0 1 0 143496371 170237952 22089 1992294400 134512640 146736320 4290838848 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 41562 22089 1016 2985 0 38104 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (KiB) 174948 [startup+1800.1 s] /proc/loadavg: 1.00 1.00 1.06 2/108 29324 /proc/meminfo: memFree=1415116/2059040 swapFree=4139660/4192956 [pid=29271] ppid=29269 vsize=8700 CPUtime=0 /proc/29271/stat : 29271 (run) S 29269 29271 28534 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 143496371 8908800 248 1992294400 4194304 4922060 140735308913280 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29271/statm: 2175 248 208 178 0 68 0 [pid=29272] ppid=29271 vsize=123068 CPUtime=1799.61 /proc/29272/stat : 29272 (pb_cplex) R 29271 29271 28534 0 -1 4202496 253902 0 0 0 179861 100 0 0 25 0 1 0 143496371 126021632 15013 1992294400 134512640 146736320 4290838848 18446744073709551615 136765702 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29272/statm: 30767 15013 1026 2985 0 27309 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (KiB) 131768 Child status: 0 Real time (s): 1800.11 CPU time (s): 1799.64 CPU user time (s): 1798.62 CPU system time (s): 1.01684 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 241596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.01684 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 254293 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= 6 involuntary context switches= 2521 runsolver used 2.84557 second user time and 8.62669 second system time The end
Begin job on node037 at 2010-07-02 00:07:15 IDJOB=2695697 IDBENCH=71824 IDSOLVER=1209 FILE ID=node037/2695697-1278022035 PBS_JOBID= 11198726 Free space on /tmp= 62480 MiB SOLVER NAME= pb_cplex 2010-06-29 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695697-1278022035/watcher-2695697-1278022035 -o /tmp/evaluation-result-2695697-1278022035/solver-2695697-1278022035 -C 1800 -W 2000 -M 1800 run HOME/instance-2695697-1278022035.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed2e5a29708037a3709a2832db86ffbb RANDOM SEED=159935928 node037.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1502088 kB Buffers: 146696 kB Cached: 299872 kB SwapCached: 6676 kB Active: 196432 kB Inactive: 263864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1502088 kB SwapTotal: 4192956 kB SwapFree: 4139660 kB Dirty: 18752 kB Writeback: 0 kB AnonPages: 12040 kB Mapped: 11964 kB Slab: 74748 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181420 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62464 MiB End job on node037 at 2010-07-02 00:37:16