Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 1231190 | 1800.07 | 1800.52 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__32.opb |
MD5SUM | a9de06eb109955ed8ed5086d04c7f5e9 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45008 |
Best CPU time to get the best result obtained on this benchmark | 5.16621 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3248 |
Total number of constraints | 150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 102 |
Number of constraints which are nor clauses,nor cardinality constraints | 48 |
Minimum length of a constraint | 32 |
Maximum length of a constraint | 289 |
Number of terms in the objective function | 3200 |
Biggest coefficient in the objective function | 126454 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 107409120 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 126454 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 107409120 |
Number of bits of the biggest sum of numbers | 27 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.03 c constraints 150/0 clauses 0/0 units 0 0.00/0.03 c vars 3248 0.00/0.03 c objective 3200 + 0 194.14/194.28 c 168.893 71.4492 34236 13323504 194.14/194.28 o 1231190 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 x3201 x3202 x3203 x3204 x3205 x3206 x3207 x3208 x3209 x3210 x3211 x3212 -x3213 x3214 x3215 x3216 x3217 x3218 x3219 x3220 x3221 x3222 x3223 x3224 x3225 x3226 x3227 x3228 x3229 x3230 -x3231 -x3232 x3233 x3234 -x3235 -x3236 -x3237 x3238 -x3239 x3240 x3241 x3242 -x3243 x3244 -x3245 x3246 -x3247 -x3248
OK 1231190
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683128-1277507139/watcher-2683128-1277507139 -o /tmp/evaluation-result-2683128-1277507139/solver-2683128-1277507139 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683128-1277507139.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29702 /proc/meminfo: memFree=1816888/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=2416 CPUtime=0 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 92005765 2473984 213 1992294400 134512640 136421960 4292779968 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29702/statm: 604 214 135 467 0 135 0 [startup+0.044043 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29702 /proc/meminfo: memFree=1816888/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=4516 CPUtime=0.04 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 829 0 0 0 4 0 0 0 20 0 1 0 92005765 4624384 748 1992294400 134512640 136421960 4292779968 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 1129 751 193 467 0 660 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4516 [startup+0.101003 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29702 /proc/meminfo: memFree=1816888/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=9416 CPUtime=0.09 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 2059 0 0 0 8 1 0 0 20 0 1 0 92005765 9641984 1978 1992294400 134512640 136421960 4292779968 18446744073709551615 134757554 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 2354 1979 193 467 0 1885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9416 [startup+0.301022 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29702 /proc/meminfo: memFree=1816888/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=23176 CPUtime=0.29 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 5528 0 0 0 27 2 0 0 20 0 1 0 92005765 23732224 5381 1992294400 134512640 136421960 4292779968 18446744073709551615 134723285 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 5794 5383 193 467 0 5325 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23176 [startup+0.701059 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29702 /proc/meminfo: memFree=1816888/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=62004 CPUtime=0.69 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 15737 0 0 0 63 6 0 0 21 0 1 0 92005765 63492096 14825 1992294400 134512640 136421960 4292779968 18446744073709551615 134910603 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 15501 14825 203 467 0 15032 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62004 [startup+1.50113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29703 /proc/meminfo: memFree=1753764/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=66780 CPUtime=1.49 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 16884 0 0 0 133 16 0 0 23 0 1 0 92005765 68382720 15972 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 16695 15972 215 467 0 16226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66780 [startup+3.10128 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29703 /proc/meminfo: memFree=1753392/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=66912 CPUtime=3.09 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 16929 0 0 0 265 44 0 0 25 0 1 0 92005765 68517888 16017 1992294400 134512640 136421960 4292779968 18446744073709551615 134597637 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 16728 16017 215 467 0 16259 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66912 [startup+6.30058 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29703 /proc/meminfo: memFree=1753020/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=67044 CPUtime=6.29 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 16974 0 0 0 540 89 0 0 25 0 1 0 92005765 68653056 16062 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 16761 16062 215 467 0 16292 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67044 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29703 /proc/meminfo: memFree=1752276/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=67704 CPUtime=12.69 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 17129 0 0 0 1089 180 0 0 25 0 1 0 92005765 69328896 16217 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 16926 16217 215 467 0 16457 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67704 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29705 /proc/meminfo: memFree=1751284/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=68788 CPUtime=25.49 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 17395 0 0 0 2189 360 0 0 25 0 1 0 92005765 70438912 16483 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 17197 16483 215 467 0 16728 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68788 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29705 /proc/meminfo: memFree=1749672/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=70272 CPUtime=51.08 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 17769 0 0 0 4419 689 0 0 25 0 1 0 92005765 71958528 16857 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 17568 16857 215 467 0 17099 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70272 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29707 /proc/meminfo: memFree=1748556/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=71312 CPUtime=102.27 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18039 0 0 0 8867 1360 0 0 25 0 1 0 92005765 73023488 17127 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 17828 17127 215 467 0 17359 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71312 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29707 /proc/meminfo: memFree=1747440/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=72368 CPUtime=162.25 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18295 0 0 0 14094 2131 0 0 25 0 1 0 92005765 74104832 17383 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18092 17383 215 467 0 17623 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72368 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29709 /proc/meminfo: memFree=1745952/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=222.24 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 19576 2648 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 74436 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29711 /proc/meminfo: memFree=1745828/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=282.22 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 25431 2791 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902515 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 74436 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29713 /proc/meminfo: memFree=1745704/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=342.21 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 31323 2898 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 74436 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29715 /proc/meminfo: memFree=1745704/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=402.19 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 37244 2975 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134857655 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 74436 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29715 /proc/meminfo: memFree=1745580/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=462.18 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 42999 3219 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 74436 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29717 /proc/meminfo: memFree=1745456/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=522.16 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 48509 3707 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 74436 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29719 /proc/meminfo: memFree=1745456/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=582.15 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 54278 3937 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134857489 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 74436 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29721 /proc/meminfo: memFree=1745332/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=642.14 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 60009 4205 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 74436 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29727 /proc/meminfo: memFree=1744960/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=882.07 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 83453 4754 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 74436 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29729 /proc/meminfo: memFree=1744960/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=942.05 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 89388 4817 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 74436 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29731 /proc/meminfo: memFree=1744836/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1002.05 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 95353 4852 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 74436 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29731 /proc/meminfo: memFree=1744712/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1062.03 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 101326 4877 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 74436 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29733 /proc/meminfo: memFree=1744712/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1122.01 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 107295 4906 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902411 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 74436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29735 /proc/meminfo: memFree=1744588/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1182 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 113202 4998 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902278 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 74436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29737 /proc/meminfo: memFree=1744588/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1241.98 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 119172 5026 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902515 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 74436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29739 /proc/meminfo: memFree=1744464/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1301.97 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 125065 5132 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 74436 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29739 /proc/meminfo: memFree=1744464/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1361.95 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 131021 5174 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902388 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 74436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29741 /proc/meminfo: memFree=1744464/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1421.95 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 136999 5196 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902251 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 74436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=1744464/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1481.92 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 142972 5220 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 74436 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29745 /proc/meminfo: memFree=1744340/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1541.91 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 148906 5285 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 74436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29750 /proc/meminfo: memFree=1743968/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1601.89 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 154808 5381 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 74436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29750 /proc/meminfo: memFree=1744092/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1661.88 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 160735 5453 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902417 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 74436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29752 /proc/meminfo: memFree=1744216/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1721.87 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 166681 5506 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 74436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29754 /proc/meminfo: memFree=1744092/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1781.85 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 172645 5540 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902403 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 74436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29754 /proc/meminfo: memFree=1744092/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1800.06 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 174461 5545 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902403 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 74436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29754 /proc/meminfo: memFree=1744092/2059040 swapFree=4139968/4192956 [pid=29702] ppid=29700 vsize=74436 CPUtime=1800.06 /proc/29702/stat : 29702 (pbct) R 29700 29702 29565 0 -1 4202496 18788 0 0 0 174461 5545 0 0 25 0 1 0 92005765 76222464 17760 1992294400 134512640 136421960 4292779968 18446744073709551615 134902403 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29702/statm: 18609 17760 238 467 0 18140 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 74436 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1744.61 CPU system time (s): 55.4596 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 74436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.61 system time used= 55.4596 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3044 runsolver used 3.04354 second user time and 8.43472 second system time The end
Begin job on node048 at 2010-06-26 01:05:39 IDJOB=2683128 IDBENCH=71902 IDSOLVER=1192 FILE ID=node048/2683128-1277507139 PBS_JOBID= 11190610 Free space on /tmp= 62496 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683128-1277507139/watcher-2683128-1277507139 -o /tmp/evaluation-result-2683128-1277507139/solver-2683128-1277507139 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683128-1277507139.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9de06eb109955ed8ed5086d04c7f5e9 RANDOM SEED=1542074196 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1817416 kB Buffers: 39676 kB Cached: 102976 kB SwapCached: 5820 kB Active: 69172 kB Inactive: 86296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1817416 kB SwapTotal: 4192956 kB SwapFree: 4139968 kB Dirty: 2016 kB Writeback: 0 kB AnonPages: 11496 kB Mapped: 12044 kB Slab: 63924 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183100 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62492 MiB End job on node048 at 2010-06-26 01:35:41