Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg pb-dec-11.04.03 | SAT | 302.751 | 302.455 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb |
MD5SUM | 8bb4ff591e2fd696de21761de4abecdf |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 6.78697 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 466 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.35/0.56 c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle 0.35/0.56 c INFO: solving HOME/instance-3482667-1307576499.opb 17.34/17.61 c INFO: parsing took 16.71 s 48.94/49.11 c INFO: features took 31.42 CPU seconds 205.55/205.76 c INFO: wrote minion input file to HOME/tmpYCBQjz.minion 205.55/205.76 c INFO: running minion-0.12@0 for 45 with 1751 remaining (b = 0.67) 248.30/248.34 c INFO: running clasp-1.3.7@0 for 45 with 1559 remaining (b = 0.61) 295.84/295.62 c INFO: running wbo1.4a@0 for 45 with 1512 remaining (b = 0.18) 302.56/302.30 s SATISFIABLE 302.56/302.30 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
OK 0
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-3482667-1307576499/watcher-3482667-1307576499 -o /tmp/evaluation-result-3482667-1307576499/solver-3482667-1307576499 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482667-1307576499.opb -seed 1067838095 -budget 1800 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.69 0.68 0.25 2/530 18071 /proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=16240 CPUtime=0 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 1041 0 0 0 0 0 0 0 20 0 1 0 947880854 16629760 912 33554432000 4194304 5683644 140736726891808 18446744073709551615 4867346 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/18071/statm: 4060 912 380 364 0 547 0 [startup+0.117294 s] /proc/loadavg: 1.69 0.68 0.25 2/530 18071 /proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=96128 CPUtime=0.08 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 3245 930 1 0 7 1 0 0 18 0 1 0 947880854 98435072 2484 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/18071/statm: 24032 2484 792 364 0 1627 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 96128 [startup+0.200502 s] /proc/loadavg: 1.69 0.68 0.25 2/530 18071 /proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=123744 CPUtime=0.14 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 5357 930 1 0 11 3 0 0 17 0 1 0 947880854 126713856 3744 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735174661 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/18071/statm: 30936 3744 987 364 0 2768 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 123744 [startup+0.300536 s] /proc/loadavg: 1.69 0.68 0.25 2/530 18071 /proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=123884 CPUtime=0.19 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 5378 930 1 0 13 6 0 0 17 0 1 0 947880854 126857216 3756 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/18071/statm: 30971 3756 987 364 0 2803 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 123884 [startup+0.700499 s] /proc/loadavg: 1.69 0.68 0.25 2/530 18071 /proc/meminfo: memFree=31481152/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=373480 CPUtime=0.53 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 31825 930 1 0 38 15 0 0 17 0 1 0 947880854 382443520 29687 33554432000 4194304 5683644 140736726891808 18446744073709551615 47101574084443 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18071/statm: 93370 29687 1781 364 0 28263 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 373480 [startup+1.50031 s] /proc/loadavg: 1.69 0.68 0.25 3/531 18076 /proc/meminfo: memFree=31354044/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=396300 CPUtime=1.34 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 37323 930 1 0 118 16 0 0 18 0 1 0 947880854 405811200 35185 33554432000 4194304 5683644 140736726891808 18446744073709551615 4602408 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18071/statm: 99075 35185 1781 364 0 33968 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 396300 [startup+3.10102 s] /proc/loadavg: 1.69 0.68 0.25 2/524 18078 /proc/meminfo: memFree=31352324/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=446196 CPUtime=2.94 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 49437 930 1 0 275 19 0 0 20 0 1 0 947880854 456904704 47299 33554432000 4194304 5683644 140736726891808 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18071/statm: 111549 47299 1781 364 0 46442 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 446196 [startup+6.30046 s] /proc/loadavg: 1.80 0.72 0.26 2/528 18108 /proc/meminfo: memFree=31240484/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=546628 CPUtime=6.13 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 73810 930 1 0 589 24 0 0 25 0 1 0 947880854 559747072 71672 33554432000 4194304 5683644 140736726891808 18446744073709551615 4444983 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18071/statm: 136657 71672 1781 364 0 71550 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 546628 [startup+12.7003 s] /proc/loadavg: 1.81 0.74 0.27 2/526 18197 /proc/meminfo: memFree=31044320/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=747952 CPUtime=12.54 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 122875 930 1 0 1221 33 0 0 25 0 1 0 947880854 765902848 120737 33554432000 4194304 5683644 140736726891808 18446744073709551615 216734839493 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18071/statm: 186988 120737 1781 364 0 121881 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 747952 [startup+25.5011 s] /proc/loadavg: 1.85 0.80 0.30 3/531 18459 /proc/meminfo: memFree=30847460/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=869168 CPUtime=25.34 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 260950 930 1 0 2484 50 0 0 25 0 1 0 947880854 890028032 153639 33554432000 4194304 5683644 140736726891808 18446744073709551615 47101407675344 0 0 16781312 33554434 0 0 0 17 0 0 0 0 /proc/18071/statm: 217292 153639 1815 364 0 152185 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 869168 [startup+51.1006 s] /proc/loadavg: 2.04 0.93 0.35 3/531 18497 /proc/meminfo: memFree=30897940/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=791656 CPUtime=50.94 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 5041 53 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4510807 0 0 16781312 33554434 0 0 0 17 0 0 0 0 /proc/18071/statm: 197914 134308 1865 364 0 132804 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 791656 [startup+102.301 s] /proc/loadavg: 2.02 1.09 0.44 3/535 18504 /proc/meminfo: memFree=30746684/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=791656 CPUtime=102.15 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 10151 64 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4868212 0 0 16781312 33554434 0 0 0 17 0 0 0 0 /proc/18071/statm: 197914 134308 1865 364 0 132804 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 791656 [startup+162.301 s] /proc/loadavg: 2.00 1.25 0.53 3/539 18509 /proc/meminfo: memFree=30553524/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=791656 CPUtime=162.14 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 281014 930 1 0 16136 78 0 0 25 0 1 0 947880854 810655744 134308 33554432000 4194304 5683644 140736726891808 18446744073709551615 4602358 0 0 16781312 33554434 0 0 0 17 0 0 0 0 /proc/18071/statm: 197914 134308 1865 364 0 132804 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 791656 [startup+222.321 s] /proc/loadavg: 2.07 1.40 0.63 3/546 18518 /proc/meminfo: memFree=29982708/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=801908 CPUtime=205.62 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 281232 930 1 0 20473 89 0 0 25 0 2 0 947880854 821153792 134318 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 200477 134318 1872 364 0 135364 0 [pid=18516] ppid=18071 vsize=791664 CPUtime=0.07 cores=0,2,4,6 /proc/18516/stat : 18516 (python) S 18071 18071 17508 0 -1 4202560 876 0 0 0 3 4 0 0 18 0 1 0 947901431 810663936 132813 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198735 0 0 16781312 33554946 72114768642583254 0 0 17 0 0 0 0 /proc/18516/statm: 197916 132813 371 364 0 132803 0 [pid=18518] ppid=18516 vsize=453432 CPUtime=16.51 cores=0,2,4,6 /proc/18518/stat : 18518 (minion) R 18516 18518 18518 0 -1 4202496 207241 0 0 0 1621 30 0 0 25 0 1 0 947901432 464314368 106007 33554432000 134512640 165565024 4290416944 18446744073709551615 159718384 0 0 16781312 0 0 0 0 17 2 0 0 0 /proc/18518/statm: 113358 106007 263 7582 0 105773 0 [pid=18071/tid=18517] ppid=18069 vsize=801908 CPUtime=0 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 947901432 821153792 134318 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 2047004 [startup+282.301 s] /proc/loadavg: 3.43 1.86 0.83 3/551 18528 /proc/meminfo: memFree=25688296/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=812164 CPUtime=248.4 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282123 1185032 1 0 20475 91 3609 665 20 0 3 0 947880854 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 203041 134325 1875 364 0 137925 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.16 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 937 0 0 0 7 9 0 0 18 0 1 0 947905689 821166080 132818 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 72556772316949206 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132818 372 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=33.92 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) R 18522 18524 18524 0 -1 4202496 53304 0 0 0 3381 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18071/tid=18517] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 3 0 947901432 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 3 0 947905690 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.48 Current children cumulated vsize (KiB) 1780836 Solver just ended. Dumping a history of the last processes samples [startup+294.401 s] /proc/loadavg: 3.81 1.99 0.88 3/551 18528 /proc/meminfo: memFree=25683080/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=812164 CPUtime=248.4 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282123 1185032 1 0 20475 91 3609 665 20 0 3 0 947880854 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 203041 134325 1875 364 0 137925 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.2 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 947 0 0 0 9 11 0 0 18 0 1 0 947905689 821166080 132818 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 72556772316949206 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132818 372 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=46.02 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) R 18522 18524 18524 0 -1 4202496 53304 0 0 0 4591 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18071/tid=18517] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 3 0 947901432 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=812164 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 3 0 947905690 831655936 134325 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 294.62 Current children cumulated vsize (KiB) 1780836 [startup+297.601 s] /proc/loadavg: 3.91 2.04 0.90 4/555 18532 /proc/meminfo: memFree=25649320/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 205605 134331 1877 364 0 140486 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132843 396 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6 /proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0 [pid=18530] ppid=18071 vsize=812176 CPUtime=0.01 cores=0,2,4,6 /proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 777 0 0 0 0 1 0 0 18 0 1 0 947910417 831668224 132798 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054783307760763138 0 0 17 0 0 0 0 /proc/18530/statm: 203044 132798 348 364 0 137925 0 [pid=18532] ppid=18530 vsize=135996 CPUtime=1.94 cores=0,2,4,6 /proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 18165 0 0 0 190 4 0 0 25 0 1 0 947910418 139259904 17902 33554432000 134512640 135751879 4293333584 18446744073709551615 134560803 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/18532/statm: 33999 17902 6883 303 0 11526 0 [pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 297.82 Current children cumulated vsize (KiB) 2739264 [startup+300.801 s] /proc/loadavg: 4.08 2.11 0.93 3/555 18532 /proc/meminfo: memFree=25576532/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 205605 134331 1877 364 0 140486 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132843 396 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6 /proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0 [pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6 /proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0 /proc/18530/statm: 203044 132822 372 364 0 137925 0 [pid=18532] ppid=18530 vsize=208760 CPUtime=5.13 cores=0,2,4,6 /proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 47512 0 0 0 506 7 0 0 25 0 1 0 947910418 213770240 47249 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/18532/statm: 52190 47249 18046 303 0 29717 0 [pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 301.03 Current children cumulated vsize (KiB) 2812028 [startup+301.601 s] /proc/loadavg: 4.08 2.11 0.93 3/555 18532 /proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 205605 134331 1877 364 0 140486 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132843 396 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6 /proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0 [pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6 /proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0 /proc/18530/statm: 203044 132822 372 364 0 137925 0 [pid=18532] ppid=18530 vsize=227004 CPUtime=5.93 cores=0,2,4,6 /proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 53900 0 0 0 585 8 0 0 25 0 1 0 947910418 232452096 53637 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/18532/statm: 56751 53638 20698 303 0 34278 0 [pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 301.83 Current children cumulated vsize (KiB) 2830272 [startup+302.001 s] /proc/loadavg: 4.08 2.11 0.93 3/555 18532 /proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=822420 CPUtime=248.43 cores=0,2,4,6 /proc/18071/stat : 18071 (python) S 18069 18071 17508 0 -1 4202496 282965 1185032 1 0 20477 92 3609 665 20 0 4 0 947880854 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 /proc/18071/statm: 205605 134331 1877 364 0 140486 0 [pid=18522] ppid=18071 vsize=801920 CPUtime=0.22 cores=0,2,4,6 /proc/18522/stat : 18522 (python) S 18071 18071 17508 0 -1 4202560 1110 0 0 0 10 12 0 0 19 0 2 0 947905689 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0 /proc/18522/statm: 200480 132843 396 364 0 135364 0 [pid=18524] ppid=18522 vsize=166752 CPUtime=47.22 cores=0,2,4,6 /proc/18524/stat : 18524 (clasp-1.3.7-x86) T 18522 18524 18524 0 -1 4202496 53304 0 0 0 4711 11 0 0 25 0 1 0 947905690 170754048 39504 33554432000 134512640 136139019 4294295232 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0 /proc/18524/statm: 41688 39504 172 398 0 41288 0 [pid=18522/tid=18529] ppid=18071 vsize=801920 CPUtime=0 cores=0,2,4,6 /proc/18522/task/18529/stat : 18529 (python) S 18071 18071 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947910414 821166080 132843 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554946 18446604444761800960 0 0 -1 6 0 0 0 [pid=18530] ppid=18071 vsize=812176 CPUtime=0.03 cores=0,2,4,6 /proc/18530/stat : 18530 (python) S 18071 18071 17508 0 -1 4202560 924 0 0 0 1 2 0 0 18 0 1 0 947910417 831668224 132822 33554432000 4194304 5683644 140736726891808 18446744073709551615 216735198790 0 0 16781312 33554946 11054785575503495426 0 0 17 0 0 0 0 /proc/18530/statm: 203044 132822 372 364 0 137925 0 [pid=18532] ppid=18530 vsize=234132 CPUtime=6.33 cores=0,2,4,6 /proc/18532/stat : 18532 (wbo1.4a) R 18530 18532 18532 0 -1 4202496 56927 0 0 0 625 8 0 0 25 0 1 0 947910418 239751168 56664 33554432000 134512640 135751879 4293333584 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/18532/statm: 58533 56664 21856 303 0 36060 0 [pid=18071/tid=18517] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18517/stat : 18517 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 25 0 4 0 947901432 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18523] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18523/stat : 18523 (python) S 18069 18071 17508 0 -1 4202560 26 1185032 0 0 0 0 3609 665 20 0 4 0 947905690 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 0 0 0 0 [pid=18071/tid=18531] ppid=18069 vsize=822420 CPUtime=42.74 cores=0,2,4,6 /proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1185032 0 0 0 0 3609 665 20 0 4 0 947910418 842158080 134331 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 33554434 18446604452895229824 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 302.23 Current children cumulated vsize (KiB) 2837400 [startup+302.4 s] /proc/loadavg: 4.08 2.11 0.93 3/555 18532 /proc/meminfo: memFree=25550244/32951124 swapFree=49879164/67111528 [pid=18071] ppid=18069 vsize=637884 CPUtime=302.68 cores=0,2,4,6 /proc/18071/stat : 18071 (python) R 18069 18071 17508 0 -1 4202496 327689 1306748 1 0 20481 98 8983 706 17 0 2 0 947880854 653193216 88234 33554432000 4194304 5683644 140736726891808 18446744073709551615 216734834107 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0 /proc/18071/statm: 159471 88234 1871 364 0 94363 0 [pid=18071/tid=18531] ppid=18069 vsize=637884 CPUtime=96.89 cores=0,2,4,6 /proc/18071/task/18531/stat : 18531 (python) S 18069 18071 17508 0 -1 4202560 32 1306748 0 0 0 0 8983 706 18 0 2 0 947910418 653193216 88234 33554432000 4194304 5683644 140736726891808 18446744073709551615 216747002289 0 0 16781312 0 18446604452895229824 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 302.68 Current children cumulated vsize (KiB) 637884 Child status: 0 Real time (s): 302.455 CPU time (s): 302.751 CPU user time (s): 294.677 CPU system time (s): 8.07377 CPU usage (%): 100.098 Max. virtual memory (cumulated for all children) (KiB): 5718824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 294.677 system time used= 8.07377 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1655475 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1951 involuntary context switches= 533 runsolver used 1.70974 second user time and 3.53246 second system time The end
Begin job on node119 at 2011-06-09 01:41:41 IDJOB=3482667 IDBENCH=1385 IDSOLVER=1971 FILE ID=node119/3482667-1307576499 RUNJOBID= node119-1307576359-17526 PBS_JOBID= 13547680 Free space on /tmp= 73612 MiB SOLVER NAME= borg pb-dec-11.04.03 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482667-1307576499/watcher-3482667-1307576499 -o /tmp/evaluation-result-3482667-1307576499/solver-3482667-1307576499 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482667-1307576499.opb -seed 1067838095 -budget 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8bb4ff591e2fd696de21761de4abecdf RANDOM SEED=1067838095 node119.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.815 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.63 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.815 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.83 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.815 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.815 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.83 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.815 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.67 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.815 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.815 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.74 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.815 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31481556 kB Buffers: 143468 kB Cached: 518736 kB SwapCached: 11168 kB Active: 1029952 kB Inactive: 144264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31481556 kB SwapTotal: 67111528 kB SwapFree: 49879164 kB Dirty: 239008 kB Writeback: 0 kB AnonPages: 509428 kB Mapped: 21728 kB Slab: 144944 kB PageTables: 80416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 163940304 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= 69512 MiB End job on node119 at 2011-06-09 01:46:45