Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | SAT | 231.953 | 232.014 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb |
MD5SUM | 93a881e30e7c33fefd66d9521eb49849 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.980849 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2025 |
Total number of constraints | 410 |
Number of constraints which are clauses | 180 |
Number of constraints which are cardinality constraints (but not clauses) | 230 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 83 |
Number of bits of the biggest sum of numbers | 7 |
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.01 c starting to Solve 232.01 c total time = 231.98 232.01 c quality of integer solution is H 232.01 s SATISFIABLE 232.01 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.01 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.01 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.01 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.01 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 232.01 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 232.01 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 232.01 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 232.01 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 232.01 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 x228 -x229 -x230 232.01 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 232.01 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 232.01 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 232.01 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 232.01 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 232.01 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 232.01 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 232.01 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 232.01 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 232.01 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 232.01 v -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 232.01 v -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 232.01 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 232.01 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 232.01 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 232.01 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 232.01 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 232.01 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 232.01 v -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 232.01 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 232.01 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 232.01 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 232.01 v -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 232.01 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 232.01 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 232.01 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 232.01 v -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 232.01 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 232.01 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 232.01 v x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 232.01 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 232.01 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 232.01 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 232.01 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 232.01 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 232.01 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 232.01 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 232.01 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 232.01 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 232.01 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 232.01 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 232.01 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 232.01 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 232.01 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 232.01 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 232.01 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 232.01 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 232.01 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 232.01 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 232.01 v -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 232.01 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 232.01 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 232.01 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 232.01 v -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 232.01 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 232.01 v -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 232.01 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 232.01 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 232.01 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 232.01 v -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 232.01 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 232.01 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 232.01 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 232.01 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 232.01 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 232.01 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 232.01 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 232.01 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 232.01 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 232.01 v -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 232.01 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 232.01 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 232.01 v -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 232.01 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 232.01 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 232.01 v -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 232.01 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 232.01 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 232.01 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 232.01 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 232.01 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 232.01 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 232.01 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 232.01 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 232.01 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 232.01 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 232.01 v -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 232.01 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 232.01 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 232.01 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 232.01 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 232.01 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 232.01 v -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 232.01 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 232.01 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 232.01 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 232.01 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
OK 0
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/node50/watcher-84496-1154156775 -o ROOT/results/node50/solver-84496-1154156775 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node50/84496-1154156775/instance-84496-1154156775.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.00 0.00 2/64 18272 /proc/meminfo: memFree=1561672/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=1060 CPUtime=0 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 45 0 0 0 0 0 0 0 19 0 1 0 162548281 1085440 28 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7918429 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 265 35 27 40 0 8 0 [startup+10.0019 s] /proc/loadavg: 0.15 0.03 0.01 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=9.99 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 4304 0 0 0 996 3 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582188 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5916 [startup+20.0078 s] /proc/loadavg: 0.28 0.06 0.02 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=19.99 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 8784 0 0 0 1992 7 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590853 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5916 [startup+30.0137 s] /proc/loadavg: 0.39 0.09 0.03 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=29.99 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 13424 0 0 0 2988 11 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5916 [startup+40.0196 s] /proc/loadavg: 0.49 0.12 0.04 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=40 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 17824 0 0 0 3984 16 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134591310 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5916 [startup+50.0255 s] /proc/loadavg: 0.56 0.15 0.05 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=50.01 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 21744 0 0 0 4981 20 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 5916 [startup+60.0314 s] /proc/loadavg: 0.63 0.18 0.06 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=60 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 24864 0 0 0 5977 23 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 5916 [startup+70.0373 s] /proc/loadavg: 0.69 0.21 0.07 2/64 18272 /proc/meminfo: memFree=1558416/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5596 CPUtime=70.01 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 28224 0 0 0 6973 28 0 0 25 0 1 0 162548281 5730304 1025 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1399 1025 227 40 0 816 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5596 [startup+80.0431 s] /proc/loadavg: 0.73 0.23 0.08 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=80.01 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 32064 0 0 0 7969 32 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5916 [startup+90.049 s] /proc/loadavg: 0.77 0.26 0.09 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=90.02 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 35584 0 0 0 8966 36 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 5916 [startup+100.055 s] /proc/loadavg: 0.81 0.28 0.10 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=100.02 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 39264 0 0 0 9963 39 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 5916 [startup+110.061 s] /proc/loadavg: 0.84 0.30 0.11 2/64 18272 /proc/meminfo: memFree=1558416/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=110.02 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 44384 0 0 0 10959 43 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 5916 [startup+120.067 s] /proc/loadavg: 0.86 0.33 0.12 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=120.03 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 49184 0 0 0 11955 48 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585370 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 5916 [startup+130.073 s] /proc/loadavg: 0.88 0.35 0.12 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=130.03 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 53504 0 0 0 12951 52 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 5916 [startup+140.078 s] /proc/loadavg: 0.90 0.37 0.13 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=140.03 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 57504 0 0 0 13947 56 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 5916 [startup+150.084 s] /proc/loadavg: 0.92 0.39 0.14 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=150.04 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 61984 0 0 0 14943 61 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 5916 [startup+160.09 s] /proc/loadavg: 0.93 0.41 0.15 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=160.04 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 66704 0 0 0 15939 65 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 5916 [startup+170.095 s] /proc/loadavg: 0.94 0.43 0.16 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=170.04 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 71424 0 0 0 16934 70 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 5916 [startup+180.101 s] /proc/loadavg: 0.95 0.45 0.17 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=180.04 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 75504 0 0 0 17930 74 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 5916 [startup+190.107 s] /proc/loadavg: 0.95 0.46 0.18 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=190.05 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 81104 0 0 0 18926 79 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 5916 [startup+200.113 s] /proc/loadavg: 0.96 0.48 0.19 2/64 18272 /proc/meminfo: memFree=1558288/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=200.05 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 85584 0 0 0 19922 83 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 5916 [startup+210.119 s] /proc/loadavg: 0.97 0.50 0.19 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=210.06 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 90464 0 0 0 20918 88 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 5916 [startup+220.126 s] /proc/loadavg: 0.97 0.51 0.20 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=220.06 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 94624 0 0 0 21915 91 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 220.06 Current children cumulated vsize (Kb) 5916 [startup+230.131 s] /proc/loadavg: 0.98 0.53 0.21 2/64 18272 /proc/meminfo: memFree=1558224/2055920 swapFree=4182976/4192956 [pid=18272] ppid=18270 vsize=5916 CPUtime=230.06 /proc/18272/stat : 18272 (glpPBv3) R 18270 18272 18223 0 -1 0 99184 0 0 0 22910 96 0 0 25 0 1 0 162548281 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18272/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 230.06 Current children cumulated vsize (Kb) 5916 Child status: 10 Real time (s): 232.014 CPU time (s): 231.953 CPU user time (s): 230.978 CPU system time (s): 0.974851 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 5916 The end
Begin job on node50 on Sat Jul 29 07:06:16 UTC 2006 FILE ID= 84496-1154156775 PBS_JOBID= 892270 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node50/84496-1154156775/instance-84496-1154156775.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-84496-1154156775 -o ROOT/results/node50/solver-84496-1154156775 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node50/84496-1154156775/instance-84496-1154156775.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 93a881e30e7c33fefd66d9521eb49849 RANDOM SEED= 112689990 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.218 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.218 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: 1561944 kB Buffers: 34192 kB Cached: 384056 kB SwapCached: 3624 kB Active: 129096 kB Inactive: 297672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1561944 kB SwapTotal: 4192956 kB SwapFree: 4182976 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14476 kB Slab: 53132 kB Committed_AS: 784832 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Sat Jul 29 07:10:08 UTC 2006