Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | OPT | 46877 | 134.537 | 134.563 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb |
MD5SUM | c60a8914afda75f67db3a97e49d1591e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 46877 |
Best CPU time to get the best result obtained on this benchmark | 2.73358 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5138 |
Total number of constraints | 60 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 42 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 128 |
Maximum length of a constraint | 1025 |
Number of terms in the objective function | 5120 |
Biggest coefficient in the objective function | 94409 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 223303936 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 94409 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 223303936 |
Number of bits of the biggest sum of numbers | 28 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c run inc solver 0.00/0.07 c [INC SYSTEM] run initial solver 0.00/0.07 c [INC SYSTEM] preprocess with white file 0.00/0.51 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.51 c [INC SYSTEM] execute solver 0.00/0.57 c [INC SEARCH] formula is SAT 0.00/0.57 c [INC SYSTEM] solved the initial formula 0.00/0.58 c model valid 0.00/0.58 c current solution ok 0.00/0.75 o 78430 0.00/0.75 c starting approximation 0.00/0.75 c factor = 2010 0.00/0.75 c current bound: 39215 0.00/0.86 c leaving approximation 0.00/0.86 c finished approximation 0.00/0.86 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.86 c write failed with 2 0.00/0.86 c [INC SEARCH] iteration: 0 0.00/0.86 c [INC BOUNDS] best value:78430 search for 78429 0.00/0.86 c [INC SYSTEM] create new solver instance 0.00/0.86 c [INC] encode full formula 0.00/0.86 c fallback to adder encoding 1.18/1.27 c set iterative enc to: adder 1.18/1.27 c set iterative enc to: none 1.28/1.32 c [INC SEARCH] isOptimum variable: 0 104.26/104.31 c formula is SAT 104.26/104.32 c [INC SEARCH] copied best model 104.26/104.32 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 104.26/104.33 c model valid 104.26/104.33 c current solution ok 104.26/104.33 o 46877 104.26/104.33 c [INC SEARCH] iteration: 1 104.26/104.33 c [INC BOUNDS] best value:46877 search for 46876 104.26/104.33 c [INC SYSTEM] there exists a inc, kill it! 104.26/104.33 c write failed with 2 104.26/104.33 c [INC SYSTEM] create new solver instance 104.26/104.33 c [INC] encode full formula 104.26/104.33 c fallback to adder encoding 104.46/104.54 c set iterative enc to: adder 104.46/104.54 c set iterative enc to: none 104.46/104.58 c [INC SEARCH] isOptimum variable: 0 134.44/134.55 c [INC SEARCH] formula is UNSAT 134.44/134.55 c [INC SYSTEM] there exists a inc, kill it! 134.44/134.55 c write failed with 2 134.44/134.55 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1 134.44/134.55 c [INC SEARCH] found optimum 134.44/134.55 c display solution 134.44/134.55 s OPTIMUM FOUND 134.44/134.56 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 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
OK 46877
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3751506-1339154269/watcher-3751506-1339154269 -o /tmp/evaluation-result-3751506-1339154269/solver-3751506-1339154269 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751506-1339154269.opb 893368413 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.20 1.79 3/180 5162 /proc/meminfo: memFree=29114804/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [startup+0.0748939 s] /proc/loadavg: 1.00 1.20 1.79 3/180 5162 /proc/meminfo: memFree=29114804/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100294 s] /proc/loadavg: 1.00 1.20 1.79 3/180 5162 /proc/meminfo: memFree=29114804/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300233 s] /proc/loadavg: 1.00 1.20 1.79 3/180 5162 /proc/meminfo: memFree=29114804/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700255 s] /proc/loadavg: 1.00 1.20 1.79 3/180 5162 /proc/meminfo: memFree=29114804/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 1.16 1.23 1.79 3/182 5176 /proc/meminfo: memFree=29079664/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 34388 [startup+3.10028 s] /proc/loadavg: 1.16 1.23 1.79 3/183 5178 /proc/meminfo: memFree=28977228/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=105768 CPUtime=1.76 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 18270 0 0 0 172 4 0 0 20 0 1 0 25393643 108306432 20705 33554432000 4194304 5654031 140736510155232 140736510143048 4214560 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5178/statm: 26442 20705 141 357 0 26082 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 140156 [startup+6.30032 s] /proc/loadavg: 1.16 1.23 1.79 3/183 5178 /proc/meminfo: memFree=28971460/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=109352 CPUtime=4.96 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 19330 0 0 0 492 4 0 0 20 0 1 0 25393643 111976448 21765 33554432000 4194304 5654031 140736510155232 140736510143048 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5178/statm: 27338 21765 142 357 0 26978 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 143740 [startup+12.7004 s] /proc/loadavg: 1.36 1.27 1.80 3/183 5178 /proc/meminfo: memFree=28968848/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=110748 CPUtime=11.36 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 19562 0 0 0 1132 4 0 0 20 0 1 0 25393643 113405952 22508 33554432000 4194304 5654031 140736510155232 140736510143048 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5178/statm: 27687 22508 142 357 0 27327 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 145136 [startup+25.5004 s] /proc/loadavg: 1.46 1.30 1.80 3/183 5178 /proc/meminfo: memFree=28962656/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=113104 CPUtime=24.15 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 20159 0 0 0 2411 4 0 0 20 0 1 0 25393643 115818496 23616 33554432000 4194304 5654031 140736510155232 140736510143048 4215055 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5178/statm: 28276 23616 142 357 0 27916 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 147492 [startup+51.1003 s] /proc/loadavg: 1.71 1.37 1.81 3/183 5178 /proc/meminfo: memFree=28955476/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=116208 CPUtime=49.75 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 21385 0 0 0 4970 5 0 0 20 0 1 0 25393643 118996992 25144 33554432000 4194304 5654031 140736510155232 140736510143048 4215248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5178/statm: 29052 25144 142 357 0 28692 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 150596 [startup+102.307 s] /proc/loadavg: 1.88 1.47 1.82 3/183 5179 /proc/meminfo: memFree=28881624/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=25240 CPUtime=1.31 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 9523 22219 0 0 52 21 50 8 20 0 1 0 25393511 25845760 5914 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/5163/statm: 6310 5914 195 442 0 5864 0 [pid=5178] ppid=5163 vsize=176348 CPUtime=100.95 cores=0,2,4,6 /proc/5178/stat : 5178 (glucosInc) R 5163 5162 13680 0 -1 4202496 22896 0 0 0 10089 6 0 0 20 0 1 0 25393643 180580352 40245 33554432000 4194304 5654031 140736510155232 140736510143048 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5178/statm: 44087 40245 142 357 0 43727 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 210736 Solver just ended. Dumping a history of the last processes samples [startup+115.1 s] /proc/loadavg: 1.90 1.49 1.82 3/183 5181 /proc/meminfo: memFree=28981612/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=77776 CPUtime=10.51 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 14863 0 0 0 1048 3 0 0 20 0 1 0 25403969 79642624 16561 33554432000 4194304 5654031 140734991566256 140734991554072 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 19444 16561 141 357 0 19084 0 Current children cumulated CPU time (s) 115.05 Current children cumulated vsize (KiB) 129216 [startup+127.9 s] /proc/loadavg: 1.92 1.51 1.82 3/183 5181 /proc/meminfo: memFree=28954464/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=23.31 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15262 0 0 0 2328 3 0 0 20 0 1 0 25403969 91410432 19946 33554432000 4194304 5654031 140734991566256 140734991554072 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 19946 141 357 0 21957 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 140708 [startup+131.1 s] /proc/loadavg: 1.93 1.52 1.82 3/183 5181 /proc/meminfo: memFree=28954588/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=26.51 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15262 0 0 0 2648 3 0 0 20 0 1 0 25403969 91410432 19946 33554432000 4194304 5654031 140734991566256 140734991554072 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 19946 141 357 0 21957 0 Current children cumulated CPU time (s) 131.05 Current children cumulated vsize (KiB) 140708 [startup+132.7 s] /proc/loadavg: 1.93 1.52 1.82 3/183 5181 /proc/meminfo: memFree=28954588/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=28.11 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15262 0 0 0 2808 3 0 0 20 0 1 0 25403969 91410432 19946 33554432000 4194304 5654031 140734991566256 140734991554072 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 19946 141 357 0 21957 0 Current children cumulated CPU time (s) 132.65 Current children cumulated vsize (KiB) 140708 [startup+133.5 s] /proc/loadavg: 1.93 1.52 1.82 3/184 5184 /proc/meminfo: memFree=28954316/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=28.9 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15263 0 0 0 2887 3 0 0 20 0 1 0 25403969 91410432 20458 33554432000 4194304 5654031 140734991566256 140734991554072 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 20458 141 357 0 21957 0 Current children cumulated CPU time (s) 133.44 Current children cumulated vsize (KiB) 140708 [startup+134.3 s] /proc/loadavg: 1.93 1.52 1.82 3/184 5184 /proc/meminfo: memFree=28952516/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=29.7 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15263 0 0 0 2967 3 0 0 20 0 1 0 25403969 91410432 20458 33554432000 4194304 5654031 140734991566256 140734991554072 4243753 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 20458 141 357 0 21957 0 Current children cumulated CPU time (s) 134.24 Current children cumulated vsize (KiB) 140708 [startup+134.5 s] /proc/loadavg: 1.93 1.52 1.82 3/184 5184 /proc/meminfo: memFree=28952516/32873844 swapFree=7632/7632 [pid=5162] ppid=5160 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5162/stat : 5162 (npSolver-pbo-It) S 5160 5162 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25393511 9367552 275 33554432000 4194304 5064252 140733229709440 140733229708352 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5162/statm: 2287 275 233 213 0 72 0 [pid=5163] ppid=5162 vsize=42292 CPUtime=104.54 cores=0,2,4,6 /proc/5163/stat : 5163 (npSolver-pbo) S 5162 5162 13680 0 -1 4202496 14496 45649 0 0 76 23 10339 16 20 0 1 0 25393511 43307008 10189 33554432000 4194304 6004724 140734805492240 140734805478088 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0 /proc/5163/statm: 10573 10189 195 442 0 10127 0 [pid=5181] ppid=5163 vsize=89268 CPUtime=29.9 cores=0,2,4,6 /proc/5181/stat : 5181 (glucosInc) R 5163 5162 13680 0 -1 4202496 15263 0 0 0 2987 3 0 0 20 0 1 0 25403969 91410432 20458 33554432000 4194304 5654031 140734991566256 140734991554072 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5181/statm: 22317 20458 141 357 0 21957 0 Current children cumulated CPU time (s) 134.44 Current children cumulated vsize (KiB) 140708 Child status: 0 Real time (s): 134.563 CPU time (s): 134.537 CPU user time (s): 134.097 CPU system time (s): 0.439933 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 210740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 134.097 system time used= 0.439933 maximum resident set size= 163100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75888 page faults= 0 swaps= 0 block input operations= 0 block output operations= 107960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 505 involuntary context switches= 197 runsolver used 0.199969 second user time and 0.539917 second system time The end
Begin job on node135 at 2012-06-08 13:17:49 IDJOB=3751506 IDBENCH=71887 IDSOLVER=2335 FILE ID=node135/3751506-1339154269 RUNJOBID= node135-1339134279-13696 PBS_JOBID= 14643799 Free space on /tmp= 70080 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751506-1339154269/watcher-3751506-1339154269 -o /tmp/evaluation-result-3751506-1339154269/solver-3751506-1339154269 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751506-1339154269.opb 893368413 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c60a8914afda75f67db3a97e49d1591e RANDOM SEED=893368413 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5274.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29115068 kB Buffers: 131628 kB Cached: 776840 kB SwapCached: 2516 kB Active: 2863024 kB Inactive: 55180 kB Active(anon): 2010628 kB Inactive(anon): 1452 kB Active(file): 852396 kB Inactive(file): 53728 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67098908 kB Dirty: 8404 kB Writeback: 0 kB AnonPages: 2020116 kB Mapped: 10016 kB Shmem: 0 kB Slab: 691716 kB SReclaimable: 131880 kB SUnreclaim: 559836 kB KernelStack: 1488 kB PageTables: 8168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2867724 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 1347584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70052 MiB End job on node135 at 2012-06-08 13:20:03