Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown (fixed) | SAT | 46.7459 | 46.7577 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb |
MD5SUM | 506a6fce450974b6f48fc0e3b77d8777 |
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 | 15.9726 |
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 | 3740 |
Total number of constraints | 3878 |
Number of constraints which are clauses | 3810 |
Number of constraints which are cardinality constraints (but not clauses) | 68 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
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 | 69 |
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 46.66/46.74 c [INC SEARCH] formula is SAT 46.66/46.74 c [INC SYSTEM] solved the initial formula 46.66/46.75 c model valid 46.66/46.75 s SATISFIABLE 46.66/46.75 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 46.66/46.75 c [INC SYSTEM] there exists a inc, kill it! 46.66/46.75 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-3746503-1339107237/watcher-3746503-1339107237 -o /tmp/evaluation-result-3746503-1339107237/solver-3746503-1339107237 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746503-1339107237.opb 1371951694 HOME HOME running on 4 cores: 0,2,4,6 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.00 2.00 2/178 13454 /proc/meminfo: memFree=31592372/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [startup+0.0243391 s] /proc/loadavg: 2.00 2.00 2.00 2/178 13454 /proc/meminfo: memFree=31592372/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100227 s] /proc/loadavg: 2.00 2.00 2.00 2/178 13454 /proc/meminfo: memFree=31592372/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300232 s] /proc/loadavg: 2.00 2.00 2.00 2/178 13454 /proc/meminfo: memFree=31592372/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700178 s] /proc/loadavg: 2.00 2.00 2.00 2/178 13454 /proc/meminfo: memFree=31592372/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50028 s] /proc/loadavg: 2.08 2.02 2.01 3/181 13460 /proc/meminfo: memFree=31583380/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=13864 CPUtime=1.34 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 2990 0 0 0 134 0 0 0 20 0 1 0 376848842 14196736 2387 33554432000 4194304 5654031 140733313536832 140733313524648 4216632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/13460/statm: 3466 2387 142 357 0 3106 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 27348 [startup+3.10027 s] /proc/loadavg: 2.08 2.02 2.01 3/181 13460 /proc/meminfo: memFree=31577852/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=15552 CPUtime=2.93 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 3633 0 0 0 293 0 0 0 20 0 1 0 376848842 15925248 3015 33554432000 4194304 5654031 140733313536832 140733313524648 4208604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/13460/statm: 3888 3015 142 357 0 3528 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 29036 [startup+6.30033 s] /proc/loadavg: 2.08 2.02 2.00 3/181 13460 /proc/meminfo: memFree=31579588/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=21020 CPUtime=6.13 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 5613 0 0 0 612 1 0 0 20 0 1 0 376848842 21524480 4095 33554432000 4194304 5654031 140733313536832 140733313534712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 5255 4095 142 357 0 4895 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 34504 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.00 3/181 13460 /proc/meminfo: memFree=31567764/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=31088 CPUtime=12.54 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 6677 0 0 0 1252 2 0 0 20 0 1 0 376848842 31834112 6143 33554432000 4194304 5654031 140733313536832 140733313524648 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 7772 6143 142 357 0 7412 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 44572 [startup+25.5003 s] /proc/loadavg: 2.06 2.01 2.00 3/181 13460 /proc/meminfo: memFree=31554804/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=35552 CPUtime=25.33 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 7295 0 0 0 2531 2 0 0 20 0 1 0 376848842 36405248 8269 33554432000 4194304 5654031 140733313536832 140733313524648 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 8888 8269 142 357 0 8528 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 49036 Solver just ended. Dumping a history of the last processes samples [startup+38.3003 s] /proc/loadavg: 2.12 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31533208/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=38.12 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 7846 0 0 0 3810 2 0 0 20 0 1 0 376848842 63021056 13559 33554432000 4194304 5654031 140733313536832 140733313524648 4215372 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 13559 142 357 0 15026 0 Current children cumulated CPU time (s) 38.25 Current children cumulated vsize (KiB) 75028 [startup+41.5003 s] /proc/loadavg: 2.11 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31533208/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=41.32 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 7846 0 0 0 4130 2 0 0 20 0 1 0 376848842 63021056 13559 33554432000 4194304 5654031 140733313536832 140733313524648 4232963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 13559 142 357 0 15026 0 Current children cumulated CPU time (s) 41.45 Current children cumulated vsize (KiB) 75028 [startup+44.7003 s] /proc/loadavg: 2.11 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31532464/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=44.53 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 8145 0 0 0 4450 3 0 0 20 0 1 0 376848842 63021056 14367 33554432000 4194304 5654031 140733313536832 140733313524648 4214996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 14367 142 357 0 15026 0 Current children cumulated CPU time (s) 44.66 Current children cumulated vsize (KiB) 75028 [startup+45.5003 s] /proc/loadavg: 2.11 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31528368/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=45.33 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 8146 0 0 0 4530 3 0 0 20 0 1 0 376848842 63021056 14879 33554432000 4194304 5654031 140733313536832 140733313524648 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 14879 142 357 0 15026 0 Current children cumulated CPU time (s) 45.46 Current children cumulated vsize (KiB) 75028 [startup+46.3003 s] /proc/loadavg: 2.10 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31528368/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=46.13 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 8146 0 0 0 4610 3 0 0 20 0 1 0 376848842 63021056 14879 33554432000 4194304 5654031 140733313536832 140733313524648 4233440 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 14879 142 357 0 15026 0 Current children cumulated CPU time (s) 46.26 Current children cumulated vsize (KiB) 75028 [startup+46.7003 s] /proc/loadavg: 2.10 2.03 2.01 3/181 13460 /proc/meminfo: memFree=31528368/32873844 swapFree=7124/7124 [pid=13454] ppid=13452 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13454/stat : 13454 (npSolver-pbo-It) S 13452 13454 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376848827 9367552 274 33554432000 4194304 5064252 140736420229344 140736420228256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13454/statm: 2287 274 233 213 0 72 0 [pid=13455] ppid=13454 vsize=4336 CPUtime=0.13 cores=0,2,4,6 /proc/13455/stat : 13455 (npSolver-pbo) S 13454 13454 12469 0 -1 4202496 2518 2387 0 0 2 1 10 0 20 0 1 0 376848827 4440064 729 33554432000 4194304 6004724 140734411621120 140734411607400 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/13455/statm: 1084 729 152 442 0 638 0 [pid=13460] ppid=13455 vsize=61544 CPUtime=46.53 cores=0,2,4,6 /proc/13460/stat : 13460 (glucosInc) R 13455 13454 12469 0 -1 4202496 8146 0 0 0 4650 3 0 0 20 0 1 0 376848842 63021056 14879 33554432000 4194304 5654031 140733313536832 140733313524648 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13460/statm: 15386 14879 142 357 0 15026 0 Current children cumulated CPU time (s) 46.66 Current children cumulated vsize (KiB) 75028 Child status: 0 Real time (s): 46.7577 CPU time (s): 46.7459 CPU user time (s): 46.6929 CPU system time (s): 0.052991 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 79388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.6929 system time used= 0.052991 maximum resident set size= 59572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13837 page faults= 0 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22 involuntary context switches= 67 runsolver used 0.082987 second user time and 0.185971 second system time The end
Begin job on node138 at 2012-06-08 00:13:58 IDJOB=3746503 IDBENCH=90229 IDSOLVER=2332 FILE ID=node138/3746503-1339107237 RUNJOBID= node138-1339098175-12485 PBS_JOBID= 14643715 Free space on /tmp= 70640 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746503-1339107237/watcher-3746503-1339107237 -o /tmp/evaluation-result-3746503-1339107237/solver-3746503-1339107237 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746503-1339107237.opb 1371951694 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777 RANDOM SEED=1371951694 node138.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 : 2667.347 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 : 5334.69 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 : 2667.347 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 : 2667.347 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 : 5331.91 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 : 2667.347 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 : 2667.347 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.91 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 : 2667.347 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.91 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 : 2667.347 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.92 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 : 2667.347 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: 32873844 kB MemFree: 31593016 kB Buffers: 82164 kB Cached: 183676 kB SwapCached: 19640 kB Active: 391992 kB Inactive: 122852 kB Active(anon): 230812 kB Inactive(anon): 20452 kB Active(file): 161180 kB Inactive(file): 102400 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67082136 kB Dirty: 8196 kB Writeback: 0 kB AnonPages: 240588 kB Mapped: 10400 kB Shmem: 0 kB Slab: 624436 kB SReclaimable: 65612 kB SUnreclaim: 558824 kB KernelStack: 1504 kB PageTables: 4296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 412728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70632 MiB End job on node138 at 2012-06-08 00:14:44