Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.06 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo |
MD5SUM | 6ce7da05711cce00ec3b2d5a1c7699c2 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.213966 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4970 |
Total number of constraints | 141 |
Number of soft constraints | 43 |
Number of constraints which are clauses | 71 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 70 |
Maximum length of a constraint | 71 |
Top cost | 2285 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 2284 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 72 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 52/18 clauses 46/25 units 0 0.00/0.01 c vars 4970 0.09/0.18 c 0.165974 38.5742 32 6560 0.09/0.18 o 163 0.09/0.19 c 0.173973 39.4258 34 7028 0.09/0.19 o 100 0.19/0.20 c 0.180972 39.4258 34 7359 0.19/0.20 o 66 0.19/0.21 c 0.187971 39.4258 34 7632 0.19/0.21 o 13 0.19/0.22 c 0.19497 39.4258 34 7879 0.19/0.22 o 8 0.19/0.23 c 0.201969 39.4258 34 8060 0.19/0.23 o 4 0.59/0.60 c 0.513921 42.6523 2534 27468 0.59/0.60 o 3 0.89/0.94 c 0.779881 44.0703 3031 59424 0.89/0.94 o 1 1800.03/1800.00 s SATISFIABLE 1800.03/1800.00 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 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699022-1278459254/watcher-2699022-1278459254 -o /tmp/evaluation-result-2699022-1278459254/solver-2699022-1278459254 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699022-1278459254.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.77 1.92 1.66 4/178 11973 /proc/meminfo: memFree=29888708/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=2136 CPUtime=0 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 246 0 0 0 0 0 0 0 24 0 1 0 14138533 2187264 166 4089446400 134512640 136422188 4286904496 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11973/statm: 534 166 144 467 0 65 0 [startup+0.0517709 s] /proc/loadavg: 1.77 1.92 1.66 4/178 11973 /proc/meminfo: memFree=29888708/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=15140 CPUtime=0.04 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 3454 0 0 0 4 0 0 0 24 0 1 0 14138533 15503360 3374 4089446400 134512640 136422188 4286904496 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 3785 3381 193 467 0 3316 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15140 [startup+0.100762 s] /proc/loadavg: 1.77 1.92 1.66 4/178 11973 /proc/meminfo: memFree=29888708/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=26720 CPUtime=0.09 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 6419 0 0 0 9 0 0 0 24 0 1 0 14138533 27361280 6231 4089446400 134512640 136422188 4286904496 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 6680 6233 193 467 0 6211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26720 [startup+0.30073 s] /proc/loadavg: 1.77 1.92 1.66 4/178 11973 /proc/meminfo: memFree=29888708/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=40632 CPUtime=0.29 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 10023 0 0 0 25 4 0 0 25 0 1 0 14138533 41607168 9345 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 10158 9345 237 467 0 9689 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40632 [startup+0.700667 s] /proc/loadavg: 1.77 1.92 1.66 4/178 11973 /proc/meminfo: memFree=29888708/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=44332 CPUtime=0.69 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 10957 0 0 0 57 12 0 0 25 0 1 0 14138533 45395968 10278 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 11083 10278 237 467 0 10614 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44332 [startup+1.50053 s] /proc/loadavg: 1.77 1.92 1.66 3/179 11974 /proc/meminfo: memFree=29848108/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=45256 CPUtime=1.49 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 11191 0 0 0 123 26 0 0 25 0 1 0 14138533 46342144 10511 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 11314 10511 237 467 0 10845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45256 [startup+3.10023 s] /proc/loadavg: 1.77 1.92 1.66 3/179 11974 /proc/meminfo: memFree=29846124/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=51460 CPUtime=3.09 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 12723 0 0 0 263 46 0 0 25 0 1 0 14138533 52695040 12043 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 12865 12043 237 467 0 12396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51460 [startup+6.30067 s] /proc/loadavg: 1.79 1.92 1.66 3/179 11974 /proc/meminfo: memFree=29825392/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=57400 CPUtime=6.29 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 14228 0 0 0 547 82 0 0 25 0 1 0 14138533 58777600 13548 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 14350 13548 237 467 0 13881 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57400 [startup+12.7005 s] /proc/loadavg: 1.81 1.92 1.66 3/179 11974 /proc/meminfo: memFree=29818828/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=59512 CPUtime=12.7 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 14736 0 0 0 1105 165 0 0 25 0 1 0 14138533 60940288 14056 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 14878 14056 237 467 0 14409 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 59512 [startup+25.5003 s] /proc/loadavg: 1.85 1.93 1.67 3/179 11974 /proc/meminfo: memFree=29767996/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=74496 CPUtime=25.49 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 18485 0 0 0 2256 293 0 0 25 0 1 0 14138533 76283904 17805 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 18624 17805 237 467 0 18155 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74496 [startup+51.1007 s] /proc/loadavg: 1.90 1.93 1.67 3/179 11974 /proc/meminfo: memFree=29746392/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=86452 CPUtime=51.1 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 21494 0 0 0 4608 502 0 0 25 0 1 0 14138533 88526848 20814 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 21613 20814 237 467 0 21144 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 86452 [startup+102.307 s] /proc/loadavg: 1.95 1.94 1.69 3/179 11976 /proc/meminfo: memFree=29690412/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=97600 CPUtime=102.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 24269 0 0 0 9326 904 0 0 25 0 1 0 14138533 99942400 23589 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 24400 23589 237 467 0 23931 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 97600 [startup+162.301 s] /proc/loadavg: 1.98 1.95 1.71 3/179 11978 /proc/meminfo: memFree=29651296/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=103284 CPUtime=162.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 25684 0 0 0 14812 1418 0 0 25 0 1 0 14138533 105762816 25004 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 25821 25004 237 467 0 25352 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 103284 [startup+222.3 s] /proc/loadavg: 1.99 1.95 1.72 4/179 11979 /proc/meminfo: memFree=29631028/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=113456 CPUtime=222.29 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 28348 0 0 0 20357 1872 0 0 25 0 1 0 14138533 116178944 27548 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 28364 27548 237 467 0 27895 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 113456 [startup+282.301 s] /proc/loadavg: 2.07 1.97 1.74 3/179 11980 /proc/meminfo: memFree=29581492/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=163692 CPUtime=282.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40885 0 0 0 26086 2144 0 0 25 0 1 0 14138533 167620608 40085 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40923 40085 237 467 0 40454 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 163692 [startup+342.3 s] /proc/loadavg: 2.02 1.97 1.75 3/179 11982 /proc/meminfo: memFree=29582284/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=342.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 31617 2613 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 162088 [startup+402.301 s] /proc/loadavg: 2.01 1.97 1.77 3/179 11984 /proc/meminfo: memFree=29550452/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=402.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 37110 3120 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 134860222 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 162088 [startup+462.301 s] /proc/loadavg: 2.00 1.97 1.78 3/179 11986 /proc/meminfo: memFree=29529064/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=462.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 42613 3617 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 162088 [startup+522.3 s] /proc/loadavg: 2.00 1.97 1.79 3/179 11987 /proc/meminfo: memFree=29527120/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=522.3 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 48152 4078 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 162088 [startup+582.301 s] /proc/loadavg: 2.00 1.97 1.80 3/179 11988 /proc/meminfo: memFree=29527192/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=582.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 53860 4371 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 162088 [startup+642.3 s] /proc/loadavg: 2.00 1.97 1.81 3/179 11990 /proc/meminfo: memFree=29527116/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=642.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 59594 4637 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 162088 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.97 1.83 3/179 11995 /proc/meminfo: memFree=29527324/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=822.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 76431 5800 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 134862323 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 162088 [startup+882.301 s] /proc/loadavg: 2.04 1.99 1.84 3/179 11996 /proc/meminfo: memFree=29527284/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=882.32 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 81913 6319 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 162088 [startup+942.3 s] /proc/loadavg: 2.01 1.99 1.85 3/179 11998 /proc/meminfo: memFree=29514960/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=942.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 87479 6752 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 162088 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.86 3/179 12000 /proc/meminfo: memFree=29502624/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=1002.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 93168 7063 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 162088 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.86 3/179 12002 /proc/meminfo: memFree=29480624/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=1062.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40889 0 0 0 98666 7565 0 0 25 0 1 0 14138533 165978112 39691 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39691 237 467 0 40053 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 162088 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.87 3/179 12003 /proc/meminfo: memFree=29468792/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=162088 CPUtime=1122.31 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 40890 0 0 0 104223 8008 0 0 25 0 1 0 14138533 165978112 39692 4089446400 134512640 136422188 4286904496 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 40522 39692 237 467 0 40053 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 162088 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.87 3/179 12004 /proc/meminfo: memFree=29448388/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=172256 CPUtime=1182.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 43425 0 0 0 109756 8477 0 0 25 0 1 0 14138533 176390144 42227 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 43064 42227 237 467 0 42595 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 172256 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.88 3/179 12006 /proc/meminfo: memFree=29447848/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=172256 CPUtime=1242.32 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 43425 0 0 0 115274 8958 0 0 25 0 1 0 14138533 176390144 42227 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 43064 42227 237 467 0 42595 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 172256 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.89 3/179 12008 /proc/meminfo: memFree=29446412/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=173840 CPUtime=1302.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 43800 0 0 0 120957 9276 0 0 25 0 1 0 14138533 178012160 42602 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 43460 42602 237 467 0 42991 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 173840 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.89 3/179 12010 /proc/meminfo: memFree=29443136/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=177060 CPUtime=1362.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 44579 0 0 0 126583 9650 0 0 25 0 1 0 14138533 181309440 43381 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 44265 43381 237 467 0 43796 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 177060 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 1.90 3/179 12011 /proc/meminfo: memFree=29443184/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=177060 CPUtime=1422.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 44579 0 0 0 132229 10004 0 0 25 0 1 0 14138533 181309440 43381 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 44265 43381 237 467 0 43796 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 177060 [startup+1482.3 s] /proc/loadavg: 2.02 2.00 1.91 3/179 12012 /proc/meminfo: memFree=29433100/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=187032 CPUtime=1482.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 47087 0 0 0 137988 10245 0 0 25 0 1 0 14138533 191520768 45889 4089446400 134512640 136422188 4286904496 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 46758 45889 237 467 0 46289 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 187032 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12014 /proc/meminfo: memFree=29432388/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=187956 CPUtime=1542.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 47312 0 0 0 143758 10475 0 0 25 0 1 0 14138533 192466944 46114 4089446400 134512640 136422188 4286904496 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 46989 46114 237 467 0 46520 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 187956 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12016 /proc/meminfo: memFree=29405904/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=213624 CPUtime=1602.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 53986 0 0 0 149476 10757 0 0 25 0 1 0 14138533 218750976 52531 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11973/statm: 53406 52531 237 467 0 52937 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 213624 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12027 /proc/meminfo: memFree=29403112/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=215828 CPUtime=1662.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 54649 0 0 0 155156 11077 0 0 25 0 1 0 14138533 221007872 53083 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11973/statm: 53957 53083 237 467 0 53488 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 215828 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12028 /proc/meminfo: memFree=29374024/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=215828 CPUtime=1722.33 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 54649 0 0 0 160668 11565 0 0 25 0 1 0 14138533 221007872 53083 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11973/statm: 53957 53083 237 467 0 53488 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 215828 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12029 /proc/meminfo: memFree=29373860/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=215828 CPUtime=1782.34 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 54649 0 0 0 166298 11936 0 0 25 0 1 0 14138533 221007872 53083 4089446400 134512640 136422188 4286904496 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11973/statm: 53957 53083 237 467 0 53488 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 215828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12059 /proc/meminfo: memFree=29756408/32951124 swapFree=67111528/67111528 [pid=11973] ppid=11971 vsize=215828 CPUtime=1800.03 /proc/11973/stat : 11973 (pbct) R 11971 11973 11812 0 -1 4202496 54649 0 0 0 167893 12110 0 0 25 0 1 0 14138533 221007872 53083 4089446400 134512640 136422188 4286904496 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11973/statm: 53957 53083 237 467 0 53488 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 215828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.06 CPU user time (s): 1678.94 CPU system time (s): 121.117 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 216396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1678.94 system time used= 121.117 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54650 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= 2 involuntary context switches= 2759 runsolver used 2.33364 second user time and 5.86011 second system time The end
Begin job on node136 at 2010-07-07 01:34:14 IDJOB=2699022 IDBENCH=78727 IDSOLVER=1212 FILE ID=node136/2699022-1278459254 PBS_JOBID= 11233720 Free space on /tmp= 73820 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699022-1278459254/watcher-2699022-1278459254 -o /tmp/evaluation-result-2699022-1278459254/solver-2699022-1278459254 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699022-1278459254.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2 RANDOM SEED=879848500 node136.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.834 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.66 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.834 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.82 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.834 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.834 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.82 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.834 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 : 5426.48 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.834 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.83 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.834 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.67 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.834 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 : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29889228 kB Buffers: 104500 kB Cached: 2659796 kB SwapCached: 0 kB Active: 614084 kB Inactive: 2309480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29889228 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4272 kB Writeback: 0 kB AnonPages: 159356 kB Mapped: 15448 kB Slab: 73760 kB PageTables: 4844 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304528 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= 73816 MiB End job on node136 at 2010-07-07 02:04:16