Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | OPT | -15 | 82.5155 | 82.5378 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_2.opb |
MD5SUM | fdcfb05eaa099feeb8cfb1f8f1c05926 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -15 |
Best CPU time to get the best result obtained on this benchmark | 9.8815 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 1537 |
Sum of products size | 3074 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb ...... 0.00/0.04 c done parsing opb. 0.00/0.04 o 93 0.00/0.04 o 92 0.00/0.04 o 91 0.00/0.04 o 88 0.09/0.14 o 87 14.19/14.22 o 86 48.88/48.94 o 85 82.47/82.52 o 85 82.47/82.53 s OPTIMUM FOUND 82.47/82.53 c Total Run Time 82.4655 82.47/82.53 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 82.47/82.53 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 82.47/82.53 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 82.47/82.53 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 82.47/82.53 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 82.47/82.53 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 82.47/82.53 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 82.47/82.53 v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 82.47/82.53 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 82.47/82.53 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 82.47/82.53 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 82.47/82.53 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 82.47/82.53 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 82.47/82.53 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 82.47/82.53 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 82.47/82.53 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 82.47/82.53 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 82.47/82.53 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 82.47/82.53 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 82.47/82.53 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 82.47/82.53 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 82.47/82.53 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 82.47/82.53 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 82.47/82.53 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 82.47/82.53 v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 82.47/82.53 v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 82.47/82.53 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 82.47/82.53 v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 82.47/82.53 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 82.47/82.53 v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 82.47/82.53 v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 82.47/82.53 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 82.47/82.53 v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 82.47/82.53 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 82.47/82.53 v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 82.47/82.53 v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 82.47/82.53 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 82.47/82.53 v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 82.47/82.53 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 82.47/82.53 v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 82.47/82.53 v -x1634 -x1635 -x1636 -x1637 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 82.47/82.53 v -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 82.47/82.53 v -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 82.47/82.53 v -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 82.47/82.53 v -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 82.47/82.53 v -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 82.47/82.53 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 82.47/82.53 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 82.47/82.53 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 82.47/82.53 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 82.47/82.53 v -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 82.47/82.53 v -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 82.47/82.53 v -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 82.47/82.53 v -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 82.47/82.53 v -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 82.47/82.53 v -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 82.47/82.53 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 82.47/82.53 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 82.47/82.53 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 82.47/82.53 v -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 82.47/82.53 v -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 82.47/82.53 v -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 82.47/82.53 v -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x59 -x590 -x591 -x592 -x593 -x594 -x595 82.47/82.53 v -x596 -x597 -x598 -x599 -x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 82.47/82.53 v -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 82.47/82.53 v -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 82.47/82.53 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 82.47/82.53 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 82.47/82.53 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 82.47/82.53 v -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 82.47/82.53 v -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 82.47/82.53 v -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 82.47/82.53 v -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 -x781 -x782 -x783 -x784 -x785 82.47/82.53 v -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 82.47/82.53 v -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 82.47/82.53 v -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 82.47/82.53 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 82.47/82.53 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 82.47/82.53 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 82.47/82.53 v -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 82.47/82.53 v -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 82.47/82.53 v -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 82.47/82.53 v -x957 -x958 -x959 x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 82.47/82.53 v -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x99 -x990 -x991 -x992 -x993 -x994 82.47/82.53 v -x995 -x996 -x997 -x998 -x999
OK -15
Linearizing /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-459720-1178658771 -o ROOT/results/node44/solver-459720-1178658771 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22288 /proc/meminfo: memFree=1859336/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=1612 CPUtime=0 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 196 0 0 0 0 0 0 0 18 0 1 0 313788783 1650688 178 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 403 178 86 219 0 180 0 [startup+0.0826831 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22288 /proc/meminfo: memFree=1859336/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=2404 CPUtime=0.08 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 420 0 0 0 8 0 0 0 18 0 1 0 313788783 2461696 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 601 402 102 219 0 378 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2404 [startup+0.101685 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22288 /proc/meminfo: memFree=1859336/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=2544 CPUtime=0.09 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 465 0 0 0 9 0 0 0 18 0 1 0 313788783 2605056 447 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 636 447 102 219 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.301704 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22288 /proc/meminfo: memFree=1859336/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=4080 CPUtime=0.29 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 759 0 0 0 29 0 0 0 19 0 1 0 313788783 4177920 741 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 1020 741 102 219 0 797 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4080 [startup+0.701747 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22288 /proc/meminfo: memFree=1859336/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=6736 CPUtime=0.69 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 1201 0 0 0 69 0 0 0 23 0 1 0 313788783 6897664 1183 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 1684 1183 102 219 0 1461 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6736 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1853312/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=12056 CPUtime=1.49 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 2110 0 0 0 148 1 0 0 25 0 1 0 313788783 12345344 2043 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 3014 2043 102 219 0 2791 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12056 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1849728/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=12972 CPUtime=3.09 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 2962 0 0 0 306 3 0 0 25 0 1 0 313788783 13283328 2895 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 3243 2895 102 219 0 3020 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12972 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1845248/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=22756 CPUtime=6.29 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 3899 0 0 0 624 5 0 0 25 0 1 0 313788783 23302144 3735 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 5689 3735 102 219 0 5466 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22756 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1840648/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=25156 CPUtime=12.69 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 5074 0 0 0 1261 8 0 0 25 0 1 0 313788783 25759744 4717 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 6289 4717 102 219 0 6066 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25156 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1836616/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=26152 CPUtime=25.48 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 6037 0 0 0 2537 11 0 0 25 0 1 0 313788783 26779648 5680 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 6538 5680 102 219 0 6315 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26152 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1830024/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=45808 CPUtime=51.08 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 8075 0 0 0 5091 17 0 0 25 0 1 0 313788783 46907392 7333 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 11452 7333 102 219 0 11229 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45808 Solver just ended. Dumping a history of the last processes samples [startup+63.9012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1828680/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=46668 CPUtime=63.87 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 8409 0 0 0 6367 20 0 0 25 0 1 0 313788783 47788032 7667 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 11667 7667 102 219 0 11444 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 46668 [startup+70.3019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1828296/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=46848 CPUtime=70.27 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 8516 0 0 0 7006 21 0 0 25 0 1 0 313788783 47972352 7774 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544719 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 11712 7774 102 219 0 11489 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 46848 [startup+76.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1826824/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=50108 CPUtime=76.67 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 9660 0 0 0 7644 23 0 0 25 0 1 0 313788783 51310592 8149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 12527 8149 102 219 0 12304 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 50108 [startup+79.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1826568/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=50300 CPUtime=79.87 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 9720 0 0 0 7963 24 0 0 25 0 1 0 313788783 51507200 8209 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 12575 8209 102 219 0 12352 0 Current children cumulated CPU time (s) 79.87 Current children cumulated vsize (KiB) 50300 [startup+81.5021 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1826120/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=50696 CPUtime=81.47 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 9824 0 0 0 8123 24 0 0 25 0 1 0 313788783 51912704 8313 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 12674 8313 102 219 0 12451 0 Current children cumulated CPU time (s) 81.47 Current children cumulated vsize (KiB) 50696 [startup+82.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1826120/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=50696 CPUtime=82.27 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 9943 0 0 0 8203 24 0 0 25 0 1 0 313788783 51912704 8432 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 12674 8432 102 219 0 12451 0 Current children cumulated CPU time (s) 82.27 Current children cumulated vsize (KiB) 50696 [startup+82.5052 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22289 /proc/meminfo: memFree=1825480/2055920 swapFree=4155964/4192956 [pid=22288] ppid=22286 vsize=50696 CPUtime=82.47 /proc/22288/stat : 22288 (PBS4_SAT07v2) R 22286 22288 21545 0 -1 4194304 9967 0 0 0 8223 24 0 0 25 0 1 0 313788783 51912704 8456 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134532355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22288/statm: 12674 8456 102 219 0 12451 0 Current children cumulated CPU time (s) 82.47 Current children cumulated vsize (KiB) 50696 Child status: 0 Real time (s): 82.5378 CPU time (s): 82.5155 CPU user time (s): 82.2655 CPU system time (s): 0.249962 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 50696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 82.2655 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9978 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= 9 involuntary context switches= 1744 runsolver used 0.071989 second user time and 0.19397 second system time The end
Begin job on node44 on Tue May 8 21:12:51 UTC 2007 IDJOB= 459720 IDBENCH= 48181 IDSOLVER= 200 FILE ID= node44/459720-1178658771 PBS_JOBID= 5218420 Free space on /tmp= 66558 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-459720-1178658771 -o ROOT/results/node44/conversion-459720-1178658771 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-459720-1178658771 -o ROOT/results/node44/solver-459720-1178658771 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459720-1178658771/instance-459720-1178658771.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= fdcfb05eaa099feeb8cfb1f8f1c05926 RANDOM SEED= 29061103 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1859744 kB Buffers: 23320 kB Cached: 77252 kB SwapCached: 12512 kB Active: 66268 kB Inactive: 57172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859744 kB SwapTotal: 4192956 kB SwapFree: 4155964 kB Dirty: 2396 kB Writeback: 0 kB Mapped: 31384 kB Slab: 58208 kB Committed_AS: 4600868 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node44 on Tue May 8 21:14:14 UTC 2007