Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc (fixed) | SAT | 61.9846 | 62.0004 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb |
MD5SUM | e0aeeb707b4fd8297140a3f70373c556 |
Bench Category | DEC-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 | 5.15721 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3905 |
Total number of constraints | 4049 |
Number of constraints which are clauses | 3978 |
Number of constraints which are cardinality constraints (but not clauses) | 71 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 71 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 72 |
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/0.03 c run inc solver 0.00/0.03 c [INC SYSTEM] run initial solver 0.00/0.03 c [INC SYSTEM] preprocess with white file 0.00/0.15 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.15 c [INC SYSTEM] execute solver 61.85/61.98 c [INC SEARCH] formula is SAT 61.85/61.98 c [INC SYSTEM] solved the initial formula 61.85/61.99 c model valid 61.85/61.99 s SATISFIABLE 61.85/61.99 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 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905 61.85/61.99 c [INC SYSTEM] there exists a inc, kill it! 61.85/61.99 c write failed with 2
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3748102-1339169645/watcher-3748102-1339169645 -o /tmp/evaluation-result-3748102-1339169645/solver-3748102-1339169645 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748102-1339169645.opb 135704167 HOME HOME running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 1.95 3/178 3225 /proc/meminfo: memFree=28957312/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [startup+0.0974861 s] /proc/loadavg: 2.00 2.01 1.95 3/178 3225 /proc/meminfo: memFree=28957312/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100182 s] /proc/loadavg: 2.00 2.01 1.95 3/178 3225 /proc/meminfo: memFree=28957312/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300128 s] /proc/loadavg: 2.00 2.01 1.95 3/178 3225 /proc/meminfo: memFree=28957312/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700096 s] /proc/loadavg: 2.00 2.01 1.95 3/178 3225 /proc/meminfo: memFree=28957312/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50017 s] /proc/loadavg: 2.00 2.01 1.95 3/181 3231 /proc/meminfo: memFree=28946420/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=10436 CPUtime=1.33 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 2702 0 0 0 133 0 0 0 20 0 1 0 383090564 10686464 2096 33554432000 4194304 5654031 140735833006848 140735833004728 4232700 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/3231/statm: 2609 2096 142 357 0 2249 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 23944 [startup+3.10017 s] /proc/loadavg: 2.00 2.01 1.95 3/181 3231 /proc/meminfo: memFree=28941804/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=17532 CPUtime=2.93 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 3275 0 0 0 293 0 0 0 20 0 1 0 383090564 17952768 3079 33554432000 4194304 5654031 140735833006848 140735832994664 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/3231/statm: 4383 3079 142 357 0 4023 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 31040 [startup+6.3002 s] /proc/loadavg: 2.00 2.01 1.95 3/181 3231 /proc/meminfo: memFree=28927752/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=32064 CPUtime=6.13 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 4013 0 0 0 613 0 0 0 20 0 1 0 383090564 32833536 5167 33554432000 4194304 5654031 140735833006848 140735832994664 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 8016 5167 142 357 0 7656 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 45572 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 1.95 3/181 3231 /proc/meminfo: memFree=28902784/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=34852 CPUtime=12.53 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 4513 0 0 0 1252 1 0 0 20 0 1 0 383090564 35688448 8212 33554432000 4194304 5654031 140735833006848 140735832994664 4216579 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 8713 8212 142 357 0 8353 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 48360 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28926152/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=62520 CPUtime=25.33 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 6507 0 0 0 2531 2 0 0 20 0 1 0 383090564 64020480 8241 33554432000 4194304 5654031 140735833006848 140735833004728 4233353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 15630 8241 142 357 0 15270 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 76028 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28903332/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=62520 CPUtime=50.92 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 7106 0 0 0 5090 2 0 0 20 0 1 0 383090564 64020480 14962 33554432000 4194304 5654031 140735833006848 140735832994664 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 15630 14962 142 357 0 15270 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 76028 Solver just ended. Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28903332/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=62520 CPUtime=51.02 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 7106 0 0 0 5100 2 0 0 20 0 1 0 383090564 64020480 14962 33554432000 4194304 5654031 140735833006848 140735832994664 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 15630 14962 142 357 0 15270 0 Current children cumulated CPU time (s) 51.14 Current children cumulated vsize (KiB) 76028 [startup+57.6003 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28887260/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=74500 CPUtime=57.42 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 7985 0 0 0 5739 3 0 0 20 0 1 0 383090564 76288000 16432 33554432000 4194304 5654031 140735833006848 140735832994664 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 18625 16432 142 357 0 18265 0 Current children cumulated CPU time (s) 57.54 Current children cumulated vsize (KiB) 88008 [startup+59.2003 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28880992/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=74500 CPUtime=59.02 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 7987 0 0 0 5899 3 0 0 20 0 1 0 383090564 76288000 17456 33554432000 4194304 5654031 140735833006848 140735832994664 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 18625 17456 142 357 0 18265 0 Current children cumulated CPU time (s) 59.14 Current children cumulated vsize (KiB) 88008 [startup+60.8003 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28839168/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=123820 CPUtime=60.63 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 8579 0 0 0 6059 4 0 0 20 0 1 0 383090564 126791680 26735 33554432000 4194304 5654031 140735833006848 140735833004776 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 30955 26735 142 357 0 30595 0 Current children cumulated CPU time (s) 60.75 Current children cumulated vsize (KiB) 137328 [startup+61.6003 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28871128/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/3225/stat : 3225 (npSolver-pbo-I.) S 3223 3225 23454 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383090548 9367552 275 33554432000 4194304 5064252 140733365201408 140733365200320 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/3225/statm: 2287 275 233 213 0 72 0 [pid=3226] ppid=3225 vsize=4360 CPUtime=0.12 cores=1,3,5,7 /proc/3226/stat : 3226 (npSolver-pbo) S 3225 3225 23454 0 -1 4202496 2037 2428 0 0 2 0 10 0 20 0 1 0 383090549 4464640 752 33554432000 4194304 6004724 140735659820224 140735659806504 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/3226/statm: 1090 752 152 442 0 644 0 [pid=3231] ppid=3226 vsize=74500 CPUtime=61.43 cores=1,3,5,7 /proc/3231/stat : 3231 (glucosInc) R 3226 3225 23454 0 -1 4202496 8579 0 0 0 6139 4 0 0 20 0 1 0 383090564 76288000 18127 33554432000 4194304 5654031 140735833006848 140735832994664 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/3231/statm: 18625 18127 142 357 0 18265 0 Current children cumulated CPU time (s) 61.55 Current children cumulated vsize (KiB) 88008 [startup+62.0003 s] /proc/loadavg: 2.00 2.00 1.95 3/181 3231 /proc/meminfo: memFree=28871128/32873648 swapFree=6860/6860 [pid=3225] ppid=3223 vsize=0 CPUtime=61.98 cores=4,8-10,16-17,23-24,64-65,67,70,72-73,76-78,80,83,86,128,199,203,256-260,263,266-267,324,326,329-332,334-335,337-338,340-342,344,388,391,393-395,397,401,407-408,448-452,455,458-459,513,515-516,519,522-523,578-579,581,583,586-587,589,591,598,643-649,651,653-657,663-664,709-710,713-715,718-719,722-723,726,728,734,773,775,777,779-780,783,785-790,792,835-836,840-842,848-849,855-856,899-905,907,909-913,919-920,960,962-964,971-974,982 /proc/3225/stat : 3225 (npSolver-pbo-I.) R 3223 3225 23454 0 -1 4202500 371 13467 0 0 0 0 6192 6 20 0 1 0 383090548 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3225/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 61.98 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 62.0004 CPU time (s): 61.9846 CPU user time (s): 61.9216 CPU system time (s): 0.06299 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 137328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.9216 system time used= 0.06299 maximum resident set size= 106940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13838 page faults= 0 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23 involuntary context switches= 89 runsolver used 0.104984 second user time and 0.332949 second system time The end
Begin job on node116 at 2012-06-08 17:34:05 IDJOB=3748102 IDBENCH=90227 IDSOLVER=2333 FILE ID=node116/3748102-1339169645 RUNJOBID= node116-1339166031-2784 PBS_JOBID= 14643781 Free space on /tmp= 70948 MiB SOLVER NAME= npSolver inc BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3748102-1339169645/watcher-3748102-1339169645 -o /tmp/evaluation-result-3748102-1339169645/solver-3748102-1339169645 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748102-1339169645.opb 135704167 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0aeeb707b4fd8297140a3f70373c556 RANDOM SEED=135704167 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28957468 kB Buffers: 444956 kB Cached: 2414164 kB SwapCached: 3172 kB Active: 1203052 kB Inactive: 1804360 kB Active(anon): 144764 kB Inactive(anon): 3396 kB Active(file): 1058288 kB Inactive(file): 1800964 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67100548 kB Dirty: 8352 kB Writeback: 0 kB AnonPages: 152092 kB Mapped: 11968 kB Shmem: 0 kB Slab: 766592 kB SReclaimable: 210284 kB SUnreclaim: 556308 kB KernelStack: 1504 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 276844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70940 MiB End job on node116 at 2012-06-08 17:35:07