Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 72735 | 1800.04 | 1802.02 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__16.opb |
MD5SUM | dd2523e10c08c9cb3b30bc694276e5a5 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 70998 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4898 |
Total number of constraints | 400 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 302 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 273 |
Number of terms in the objective function | 4800 |
Biggest coefficient in the objective function | 94834 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 173230512 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 94834 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 173230512 |
Number of bits of the biggest sum of numbers | 28 |
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.02 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.09/0.15 o 172320 845.99/846.09 o 165315 986.70/986.72 o 117923 1002.10/1002.18 o 88403 1349.90/1349.96 o 76318 1787.91/1787.93 o 72735 1800.01/1800.01 >>> Terminate signal received 1800.01/1800.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -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 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
OK 72735
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3467471-1307424174/watcher-3467471-1307424174 -o /tmp/evaluation-result-3467471-1307424174/solver-3467471-1307424174 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467471-1307424174.opb --verbosity=0 --format=opb 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 Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.99 1.99 3/509 7126 /proc/meminfo: memFree=19391888/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=7464 CPUtime=0 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 377 0 0 0 0 0 0 0 25 0 1 0 932648157 7643136 324 33554432000 4194304 6736272 140733575216128 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 1866 325 221 621 0 1236 0 [startup+0.084692 s] /proc/loadavg: 1.84 1.99 1.99 3/509 7126 /proc/meminfo: memFree=19391888/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=13980 CPUtime=0.07 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 2531 0 0 0 7 0 0 0 25 0 1 0 932648157 14315520 1970 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 3495 1970 266 621 0 2865 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13980 [startup+0.100627 s] /proc/loadavg: 1.84 1.99 1.99 3/509 7126 /proc/meminfo: memFree=19391888/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=15168 CPUtime=0.09 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 2851 0 0 0 9 0 0 0 25 0 1 0 932648157 15532032 2290 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803333 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 3792 2290 266 621 0 3162 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15168 [startup+0.300682 s] /proc/loadavg: 1.84 1.99 1.99 3/509 7126 /proc/meminfo: memFree=19391888/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=15180 CPUtime=0.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 3929 0 0 0 29 0 0 0 25 0 1 0 932648157 15544320 3367 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803347 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 3795 3367 277 621 0 3165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15180 [startup+0.700611 s] /proc/loadavg: 1.84 1.99 1.99 3/509 7126 /proc/meminfo: memFree=19391888/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=15400 CPUtime=0.69 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 3963 0 0 0 69 0 0 0 25 0 1 0 932648157 15769600 3401 33554432000 4194304 6736272 140733575216128 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 3850 3401 286 621 0 3220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15400 [startup+1.50047 s] /proc/loadavg: 1.84 1.99 1.99 3/515 7132 /proc/meminfo: memFree=19352548/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=15692 CPUtime=1.49 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4028 0 0 0 149 0 0 0 25 0 1 0 932648157 16068608 3464 33554432000 4194304 6736272 140733575216128 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 3923 3464 286 621 0 3293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15692 [startup+3.10017 s] /proc/loadavg: 1.84 1.99 1.99 3/515 7132 /proc/meminfo: memFree=19350096/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=16168 CPUtime=3.09 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4108 0 0 0 309 0 0 0 25 0 1 0 932648157 16556032 3541 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4042 3541 286 621 0 3412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16168 [startup+6.30054 s] /proc/loadavg: 1.85 1.99 1.99 3/515 7132 /proc/meminfo: memFree=19349372/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=16168 CPUtime=6.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4128 0 0 0 629 0 0 0 25 0 1 0 932648157 16556032 3561 33554432000 4194304 6736272 140733575216128 18446744073709551615 4510523 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4042 3561 286 621 0 3412 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16168 [startup+12.7004 s] /proc/loadavg: 1.86 1.99 1.99 3/515 7133 /proc/meminfo: memFree=19343104/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=16168 CPUtime=12.69 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4159 0 0 0 1269 0 0 0 25 0 1 0 932648157 16556032 3592 33554432000 4194304 6736272 140733575216128 18446744073709551615 5151402 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4042 3592 287 621 0 3412 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16168 [startup+25.5001 s] /proc/loadavg: 1.89 1.99 1.99 3/515 7133 /proc/meminfo: memFree=19341032/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=17580 CPUtime=25.49 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4458 0 0 0 2549 0 0 0 25 0 1 0 932648157 18001920 3886 33554432000 4194304 6736272 140733575216128 18446744073709551615 5148023 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4395 3886 287 621 0 3765 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17580 [startup+51.1007 s] /proc/loadavg: 2.01 2.01 1.99 3/515 7134 /proc/meminfo: memFree=19332544/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=18620 CPUtime=51.09 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4734 0 0 0 5109 0 0 0 25 0 1 0 932648157 19066880 4150 33554432000 4194304 6736272 140733575216128 18446744073709551615 5148000 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4655 4150 287 621 0 4025 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 18620 [startup+102.32 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7135 /proc/meminfo: memFree=19326820/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=18620 CPUtime=102.31 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 4745 0 0 0 10231 0 0 0 25 0 1 0 932648157 19066880 4161 33554432000 4194304 6736272 140733575216128 18446744073709551615 4745113 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 4655 4161 287 621 0 4025 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 18620 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7137 /proc/meminfo: memFree=19320344/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=22972 CPUtime=162.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 5900 0 0 0 16228 1 0 0 25 0 1 0 932648157 23523328 5296 33554432000 4194304 6736272 140733575216128 18446744073709551615 4750634 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 5743 5296 287 621 0 5113 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 22972 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7138 /proc/meminfo: memFree=19312256/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=28412 CPUtime=222.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 7820 0 0 0 22228 1 0 0 25 0 1 0 932648157 29093888 6110 33554432000 4194304 6736272 140733575216128 18446744073709551615 5818610 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7103 6110 287 621 0 6473 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 28412 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7140 /proc/meminfo: memFree=19310724/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=28412 CPUtime=282.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8248 0 0 0 28228 1 0 0 25 0 1 0 932648157 29093888 6525 33554432000 4194304 6736272 140733575216128 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7103 6525 287 621 0 6473 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 28412 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7141 /proc/meminfo: memFree=19310328/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=28412 CPUtime=342.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8248 0 0 0 34228 1 0 0 25 0 1 0 932648157 29093888 6525 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7103 6525 287 621 0 6473 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 28412 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7143 /proc/meminfo: memFree=19300008/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=28412 CPUtime=402.28 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8248 0 0 0 40226 2 0 0 25 0 1 0 932648157 29093888 6525 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803203 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7103 6525 287 621 0 6473 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 28412 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7145 /proc/meminfo: memFree=19224204/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=28412 CPUtime=462.28 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8248 0 0 0 46226 2 0 0 25 0 1 0 932648157 29093888 6525 33554432000 4194304 6736272 140733575216128 18446744073709551615 5806460 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7103 6525 287 621 0 6473 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 28412 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.99 3/515 7146 /proc/meminfo: memFree=19282320/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=30060 CPUtime=522.28 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8664 0 0 0 52226 2 0 0 25 0 1 0 932648157 30781440 6937 33554432000 4194304 6736272 140733575216128 18446744073709551615 5812150 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7515 6937 287 621 0 6885 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 30060 [startup+582.301 s] /proc/loadavg: 2.16 2.04 2.01 3/515 7148 /proc/meminfo: memFree=19282524/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=30060 CPUtime=582.28 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 8664 0 0 0 58226 2 0 0 25 0 1 0 932648157 30781440 6937 33554432000 4194304 6736272 140733575216128 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7515 6937 287 621 0 6885 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 30060 ################ # More data... # ################ /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 9065 0 0 0 100226 2 0 0 25 0 1 0 932648157 31834112 7325 33554432000 4194304 6736272 140733575216128 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7772 7325 287 621 0 7142 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 31088 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/515 7164 /proc/meminfo: memFree=19239632/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=31088 CPUtime=1062.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 9065 0 0 0 106227 2 0 0 25 0 1 0 932648157 31834112 7325 33554432000 4194304 6736272 140733575216128 18446744073709551615 5146938 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7772 7325 287 621 0 7142 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 31088 [startup+1122.3 s] /proc/loadavg: 2.15 2.03 2.01 3/515 7165 /proc/meminfo: memFree=19269856/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=31088 CPUtime=1122.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 9065 0 0 0 112227 2 0 0 25 0 1 0 932648157 31834112 7325 33554432000 4194304 6736272 140733575216128 18446744073709551615 4756007 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7772 7325 287 621 0 7142 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 31088 [startup+1182.3 s] /proc/loadavg: 2.25 2.07 2.02 3/515 7167 /proc/meminfo: memFree=19268820/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=31088 CPUtime=1182.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 9065 0 0 0 118227 2 0 0 25 0 1 0 932648157 31834112 7325 33554432000 4194304 6736272 140733575216128 18446744073709551615 5219598 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7772 7325 287 621 0 7142 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 31088 [startup+1242.3 s] /proc/loadavg: 2.09 2.06 2.01 3/515 7168 /proc/meminfo: memFree=19268784/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=31088 CPUtime=1242.29 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 9065 0 0 0 124227 2 0 0 25 0 1 0 932648157 31834112 7325 33554432000 4194304 6736272 140733575216128 18446744073709551615 5803305 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7772 7325 287 621 0 7142 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 31088 [startup+1302.3 s] /proc/loadavg: 2.03 2.04 2.01 3/515 7170 /proc/meminfo: memFree=19273948/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=25664 CPUtime=1302.3 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12594 0 0 0 130227 3 0 0 25 0 1 0 932648157 26279936 5680 33554432000 4194304 6736272 140733575216128 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 6416 5680 287 621 0 5786 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 25664 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/515 7172 /proc/meminfo: memFree=19275160/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=25664 CPUtime=1362.3 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12619 0 0 0 136227 3 0 0 25 0 1 0 932648157 26279936 5705 33554432000 4194304 6736272 140733575216128 18446744073709551615 5818041 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 6416 5705 287 621 0 5786 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 25664 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/515 7173 /proc/meminfo: memFree=19275984/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=25664 CPUtime=1422.32 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12619 0 0 0 142229 3 0 0 25 0 1 0 932648157 26279936 5705 33554432000 4194304 6736272 140733575216128 18446744073709551615 5806877 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 6416 5705 287 621 0 5786 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 25664 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 7175 /proc/meminfo: memFree=19275816/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=25664 CPUtime=1482.3 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12619 0 0 0 148227 3 0 0 25 0 1 0 932648157 26279936 5705 33554432000 4194304 6736272 140733575216128 18446744073709551615 4745067 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 6416 5705 287 621 0 5786 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 25664 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 7176 /proc/meminfo: memFree=19276160/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=25664 CPUtime=1542.3 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12619 0 0 0 154227 3 0 0 25 0 1 0 932648157 26279936 5705 33554432000 4194304 6736272 140733575216128 18446744073709551615 5221920 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 6416 5705 287 621 0 5786 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 25664 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 7178 /proc/meminfo: memFree=19275144/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=30016 CPUtime=1602.31 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 12900 0 0 0 160227 4 0 0 25 0 1 0 932648157 30736384 5984 33554432000 4194304 6736272 140733575216128 18446744073709551615 5148075 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 7504 5984 287 621 0 6874 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 30016 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/515 7180 /proc/meminfo: memFree=19272388/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1662.3 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 13626 0 0 0 166226 4 0 0 25 0 1 0 932648157 36302848 6689 33554432000 4194304 6736272 140733575216128 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6689 287 621 0 8233 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 35452 [startup+1722.3 s] /proc/loadavg: 2.11 2.04 2.01 3/515 7181 /proc/meminfo: memFree=19272220/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1722.31 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 13626 0 0 0 172227 4 0 0 25 0 1 0 932648157 36302848 6689 33554432000 4194304 6736272 140733575216128 18446744073709551615 4745032 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6689 287 621 0 8233 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 35452 [startup+1782.3 s] /proc/loadavg: 2.14 2.07 2.02 3/515 7183 /proc/meminfo: memFree=19270088/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1782.31 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 13626 0 0 0 178227 4 0 0 25 0 1 0 932648157 36302848 6689 33554432000 4194304 6736272 140733575216128 18446744073709551615 4734908 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6689 287 621 0 8233 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 35452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.10 2.07 2.02 3/515 7183 /proc/meminfo: memFree=19221592/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1800.01 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) R 7124 7126 5752 0 -1 4202496 13626 0 0 0 179997 4 0 0 25 0 1 0 932648157 36302848 6689 33554432000 4194304 6736272 140733575216128 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6689 287 621 0 8233 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -7126 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.10 2.07 2.02 1/514 7185 /proc/meminfo: memFree=19357256/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1800.03 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) S 7124 7126 5752 0 -1 4202496 13627 0 0 0 179999 4 0 0 25 0 1 0 932648157 36302848 6690 33554432000 4194304 6736272 140733575216128 18446744073709551615 5924238 0 16384 4096 17571 18446604449545594816 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6690 288 621 0 8233 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 35452 [startup+1801.82 s] /proc/loadavg: 2.10 2.07 2.02 1/514 7185 /proc/meminfo: memFree=19357256/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1800.03 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) S 7124 7126 5752 0 -1 4202496 13627 0 0 0 179999 4 0 0 25 0 1 0 932648157 36302848 6690 33554432000 4194304 6736272 140733575216128 18446744073709551615 5924238 0 16384 4096 17571 18446604449545594816 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6690 288 621 0 8233 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 35452 [startup+1802 s] /proc/loadavg: 2.10 2.07 2.02 1/514 7185 /proc/meminfo: memFree=19357256/32950940 swapFree=67111364/67111528 [pid=7126] ppid=7124 vsize=35452 CPUtime=1800.03 cores=0,2,4,6 /proc/7126/stat : 7126 (minisatid-gmp) S 7124 7126 5752 0 -1 4202496 13627 0 0 0 179999 4 0 0 25 0 1 0 932648157 36302848 6690 33554432000 4194304 6736272 140733575216128 18446744073709551615 5924238 0 16384 4096 17571 18446604449545594816 0 0 17 0 0 0 0 /proc/7126/statm: 8863 6690 288 621 0 8233 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 35452 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.02 CPU time (s): 1800.04 CPU user time (s): 1799.99 CPU system time (s): 0.045993 CPU usage (%): 99.8899 Max. virtual memory (cumulated for all children) (KiB): 37116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13627 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 3782 runsolver used 9.45556 second user time and 21.4607 second system time The end
Begin job on node117 at 2011-06-07 07:22:54 IDJOB=3467471 IDBENCH=71852 IDSOLVER=1957 FILE ID=node117/3467471-1307424174 RUNJOBID= node117-1307416965-6671 PBS_JOBID= 13514208 Free space on /tmp= 73964 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467471-1307424174/watcher-3467471-1307424174 -o /tmp/evaluation-result-3467471-1307424174/solver-3467471-1307424174 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467471-1307424174.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dd2523e10c08c9cb3b30bc694276e5a5 RANDOM SEED=1595042164 node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 19391928 kB Buffers: 384860 kB Cached: 2990952 kB SwapCached: 0 kB Active: 10350268 kB Inactive: 2811448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 19391928 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 6244 kB Writeback: 0 kB AnonPages: 9784908 kB Mapped: 41612 kB Slab: 270248 kB PageTables: 57956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 149472248 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73956 MiB End job on node117 at 2011-06-07 07:52:56