Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | OPT | 65 | 232.168 | 232.238 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | f97e3571862917880e13c63c8ac169f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 28.7656 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | YES |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
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 | 1 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2459 |
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 | 2459 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2459 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 232.23 c starting to Solve 232.23 c total time = 232.19 232.23 o 65 232.23 c quality of integer solution is H 232.23 s OPTIMUM FOUND 232.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 232.23 v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 232.23 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 232.23 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 232.23 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 232.23 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 232.23 v -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 232.23 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 232.23 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 232.23 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 232.23 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 232.23 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 232.23 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 232.23 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 232.23 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 232.23 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 232.23 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 232.23 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 232.23 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 232.23 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 232.23 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 232.23 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 232.23 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 232.23 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 232.23 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 232.23 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 232.23 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 232.23 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 232.23 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 232.23 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 232.23 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 232.23 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 232.23 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 232.23 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 232.23 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 232.23 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 232.23 v -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 232.23 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 232.23 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 232.23 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 232.23 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 232.23 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 232.23 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 232.23 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 232.23 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 232.23 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 232.23 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 232.23 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 232.23 v x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 232.23 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 232.23 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 232.23 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 232.23 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 232.23 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 232.23 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 232.23 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 232.23 v -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 232.23 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 232.23 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 232.23 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 232.23 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 232.23 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 232.23 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 232.23 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 232.23 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 232.23 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 232.23 v -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 232.23 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 232.23 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 232.23 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 232.23 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 232.23 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 232.23 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 232.23 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 232.23 v -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 232.23 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 232.23 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 232.23 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 232.23 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 232.23 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 232.23 v -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 232.23 v x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 232.23 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 232.23 v -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 232.23 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 232.23 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 232.23 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 232.23 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 232.23 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 232.23 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 232.23 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 232.23 v -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 232.23 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 232.23 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 232.23 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 232.23 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 232.23 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 232.23 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 232.23 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 232.23 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 232.23 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 232.23 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 232.23 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 232.23 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 232.23 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 232.23 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 232.23 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 232.23 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 232.23 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 232.23 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 232.23 v -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 232.23 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 232.23 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 232.23 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 232.23 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 232.23 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 232.23 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 232.23 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 232.23 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 232.23 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 232.23 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 232.23 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 232.23 v x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 232.23 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 232.23 v -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 232.23 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 232.23 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 232.23 v -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 232.23 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 232.23 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 232.23 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 232.23 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
OK 65
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node44/watcher-85256-1154167869 -o ROOT/results/node44/solver-85256-1154167869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.66 0.89 0.88 2/64 12765 /proc/meminfo: memFree=1322104/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=2424 CPUtime=0 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 142 0 0 0 0 0 0 0 18 0 1 0 163657836 2482176 123 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11249334 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 606 127 108 40 0 11 0 [startup+10.0017 s] /proc/loadavg: 0.71 0.89 0.89 2/64 12765 /proc/meminfo: memFree=1316040/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8708 CPUtime=9.99 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 7351 0 0 0 996 3 0 0 25 0 1 0 163657836 8916992 1802 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134640047 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2177 1802 227 40 0 1594 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8708 [startup+20.0078 s] /proc/loadavg: 0.75 0.90 0.89 2/64 12765 /proc/meminfo: memFree=1316680/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=7748 CPUtime=19.99 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 21031 0 0 0 1991 8 0 0 25 0 1 0 163657836 7933952 1562 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 1937 1562 227 40 0 1354 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7748 [startup+30.0138 s] /proc/loadavg: 0.79 0.90 0.89 2/64 12765 /proc/meminfo: memFree=1315912/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8840 CPUtime=30 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 32898 0 0 0 2987 13 0 0 25 0 1 0 163657836 9052160 1822 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2210 1822 227 40 0 1627 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 8840 [startup+40.0198 s] /proc/loadavg: 0.82 0.90 0.89 2/64 12765 /proc/meminfo: memFree=1316744/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=7748 CPUtime=40 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 45067 0 0 0 3981 19 0 0 25 0 1 0 163657836 7933952 1563 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 1937 1563 227 40 0 1354 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7748 [startup+50.0259 s] /proc/loadavg: 0.85 0.91 0.89 2/64 12765 /proc/meminfo: memFree=1316680/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=7800 CPUtime=50 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 56846 0 0 0 4976 24 0 0 25 0 1 0 163657836 7987200 1576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632679 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 1950 1576 227 40 0 1367 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7800 [startup+60.0319 s] /proc/loadavg: 0.87 0.91 0.89 2/64 12765 /proc/meminfo: memFree=1316616/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=7856 CPUtime=60 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 68618 0 0 0 5970 30 0 0 25 0 1 0 163657836 8044544 1590 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 1964 1590 227 40 0 1381 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7856 [startup+70.0379 s] /proc/loadavg: 0.89 0.91 0.89 2/64 12765 /proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8892 CPUtime=70.07 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 80395 0 0 0 6972 35 0 0 25 0 1 0 163657836 9105408 1849 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2223 1849 227 40 0 1640 0 Current children cumulated CPU time (s) 70.07 Current children cumulated vsize (Kb) 8892 [startup+80.108 s] /proc/loadavg: 0.91 0.91 0.89 2/64 12765 /proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9192 CPUtime=80.08 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 94103 0 0 0 7966 42 0 0 25 0 1 0 163657836 9412608 1897 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2298 1897 227 40 0 1715 0 Current children cumulated CPU time (s) 80.08 Current children cumulated vsize (Kb) 9192 [startup+90.114 s] /proc/loadavg: 0.92 0.92 0.89 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9208 CPUtime=90.08 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 107812 0 0 0 8959 49 0 0 25 0 1 0 163657836 9428992 1901 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2302 1901 227 40 0 1719 0 Current children cumulated CPU time (s) 90.08 Current children cumulated vsize (Kb) 9208 [startup+100.12 s] /proc/loadavg: 0.93 0.92 0.89 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=100.08 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 124304 0 0 0 9951 57 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 100.08 Current children cumulated vsize (Kb) 9216 [startup+110.126 s] /proc/loadavg: 0.94 0.92 0.90 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9236 CPUtime=110.08 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 140498 0 0 0 10943 65 0 0 25 0 1 0 163657836 9457664 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11716165 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2309 1903 227 40 0 1726 0 Current children cumulated CPU time (s) 110.08 Current children cumulated vsize (Kb) 9236 [startup+120.132 s] /proc/loadavg: 0.95 0.92 0.90 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=120.09 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 156657 0 0 0 11935 74 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585705 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 120.09 Current children cumulated vsize (Kb) 9216 [startup+130.138 s] /proc/loadavg: 0.96 0.92 0.90 2/64 12765 /proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8004 CPUtime=130.09 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 170061 0 0 0 12930 79 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2001 1627 227 40 0 1418 0 Current children cumulated CPU time (s) 130.09 Current children cumulated vsize (Kb) 8004 [startup+140.144 s] /proc/loadavg: 0.96 0.93 0.90 2/64 12765 /proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8004 CPUtime=140.09 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 185994 0 0 0 13922 87 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2001 1627 227 40 0 1418 0 Current children cumulated CPU time (s) 140.09 Current children cumulated vsize (Kb) 8004 [startup+150.15 s] /proc/loadavg: 0.97 0.93 0.90 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=150.09 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 201947 0 0 0 14914 95 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 150.09 Current children cumulated vsize (Kb) 9216 [startup+160.156 s] /proc/loadavg: 0.97 0.93 0.90 2/64 12765 /proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=160.1 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 219506 0 0 0 15905 105 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586458 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 160.1 Current children cumulated vsize (Kb) 9216 [startup+170.162 s] /proc/loadavg: 0.98 0.93 0.90 2/64 12765 /proc/meminfo: memFree=1316488/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8004 CPUtime=170.11 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 235715 0 0 0 16899 112 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2001 1627 227 40 0 1418 0 Current children cumulated CPU time (s) 170.11 Current children cumulated vsize (Kb) 8004 [startup+180.168 s] /proc/loadavg: 0.98 0.93 0.90 2/64 12765 /proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=180.11 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 249435 0 0 0 17892 119 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643620 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 180.11 Current children cumulated vsize (Kb) 9216 [startup+190.174 s] /proc/loadavg: 0.98 0.94 0.90 2/64 12765 /proc/meminfo: memFree=1315592/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9104 CPUtime=190.11 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 265092 0 0 0 18885 126 0 0 25 0 1 0 163657836 9322496 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2276 1900 227 40 0 1693 0 Current children cumulated CPU time (s) 190.11 Current children cumulated vsize (Kb) 9104 [startup+200.18 s] /proc/loadavg: 0.98 0.94 0.90 2/64 12765 /proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9104 CPUtime=200.11 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 280187 0 0 0 19876 135 0 0 25 0 1 0 163657836 9322496 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2276 1898 227 40 0 1693 0 Current children cumulated CPU time (s) 200.11 Current children cumulated vsize (Kb) 9104 [startup+210.186 s] /proc/loadavg: 0.99 0.94 0.91 2/64 12765 /proc/meminfo: memFree=1316424/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8004 CPUtime=210.12 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 295287 0 0 0 20869 143 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2001 1627 227 40 0 1418 0 Current children cumulated CPU time (s) 210.12 Current children cumulated vsize (Kb) 8004 [startup+220.192 s] /proc/loadavg: 0.99 0.94 0.91 2/64 12765 /proc/meminfo: memFree=1315528/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=9216 CPUtime=220.12 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 310357 0 0 0 21862 150 0 0 25 0 1 0 163657836 9437184 1903 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2304 1903 227 40 0 1721 0 Current children cumulated CPU time (s) 220.12 Current children cumulated vsize (Kb) 9216 [startup+230.199 s] /proc/loadavg: 0.99 0.94 0.91 2/64 12765 /proc/meminfo: memFree=1316424/2055920 swapFree=4183124/4192956 [pid=12765] ppid=12763 vsize=8004 CPUtime=230.12 /proc/12765/stat : 12765 (glpPBv3) R 12763 12765 12716 0 -1 0 327108 0 0 0 22854 158 0 0 25 0 1 0 163657836 8196096 1627 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/12765/statm: 2001 1627 227 40 0 1418 0 Current children cumulated CPU time (s) 230.12 Current children cumulated vsize (Kb) 8004 Child status: 30 Real time (s): 232.238 CPU time (s): 232.168 CPU user time (s): 230.567 CPU system time (s): 1.60076 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 9236 The end
Begin job on node44 on Sat Jul 29 10:11:09 UTC 2006 FILE ID= 85256-1154167869 PBS_JOBID= 893030 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-85256-1154167869 -o ROOT/results/node44/solver-85256-1154167869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node44/85256-1154167869/instance-85256-1154167869.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED= 318351395 TIMEOUT= 1800 seconds /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.238 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.238 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: 1322504 kB Buffers: 38016 kB Cached: 619564 kB SwapCached: 3516 kB Active: 230832 kB Inactive: 435152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1322504 kB SwapTotal: 4192956 kB SwapFree: 4183124 kB Dirty: 312 kB Writeback: 0 kB Mapped: 14476 kB Slab: 53456 kB Committed_AS: 709452 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Sat Jul 29 10:15:02 UTC 2006