Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topDown (fixed) | OPT | 45008 | 36.4215 | 36.4541 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb |
MD5SUM | 3c0b9d73d67a301539707b5cf6d0db6d |
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 | 45008 |
Best CPU time to get the best result obtained on this benchmark | 1.00385 |
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 | 1648 |
Total number of constraints | 150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 102 |
Number of constraints which are nor clauses,nor cardinality constraints | 48 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 145 |
Number of terms in the objective function | 1600 |
Biggest coefficient in the objective function | 126454 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 53704560 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 126454 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 53704560 |
Number of bits of the biggest sum of numbers | 26 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.03 c run inc solver 0.00/0.03 c [INC SYSTEM] run initial solver 0.00/0.03 c [INC SYSTEM] preprocess with white file 0.00/0.21 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.21 c [INC SYSTEM] execute solver 0.00/0.23 c [INC SEARCH] formula is SAT 0.00/0.23 c [INC SYSTEM] solved the initial formula 0.00/0.23 c model valid 0.00/0.23 c current solution ok 0.00/0.28 o 86358 0.00/0.28 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.28 c write failed with 2 0.00/0.28 c [INC SEARCH] iteration: 0 0.00/0.28 c [INC BOUNDS] best value:86358 search for 86357 0.00/0.28 c [INC SYSTEM] create new solver instance 0.00/0.28 c [INC] encode full formula 0.00/0.28 c fallback to adder encoding 0.00/0.42 c set iterative enc to: adder 0.00/0.42 c set iterative enc to: none 0.00/0.44 c [INC SEARCH] isOptimum variable: 0 13.96/14.05 c formula is SAT 13.96/14.06 c [INC SEARCH] copied best model 13.96/14.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 13.96/14.06 c model valid 13.96/14.06 c current solution ok 13.96/14.06 o 83769 13.96/14.06 c [INC SEARCH] iteration: 1 13.96/14.06 c [INC BOUNDS] best value:83769 search for 83768 13.96/14.06 c [INC SYSTEM] there exists a inc, kill it! 13.96/14.06 c write failed with 2 13.96/14.06 c [INC SYSTEM] create new solver instance 13.96/14.06 c [INC] encode full formula 13.96/14.06 c fallback to adder encoding 14.07/14.20 c set iterative enc to: adder 14.07/14.20 c set iterative enc to: none 14.17/14.23 c [INC SEARCH] isOptimum variable: 0 23.74/23.80 c formula is SAT 23.74/23.80 c [INC SEARCH] copied best model 23.74/23.80 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 23.74/23.81 c model valid 23.74/23.81 c current solution ok 23.74/23.81 o 72813 23.74/23.81 c [INC SEARCH] iteration: 2 23.74/23.81 c [INC BOUNDS] best value:72813 search for 72812 23.74/23.81 c [INC SYSTEM] there exists a inc, kill it! 23.74/23.81 c write failed with 2 23.74/23.81 c [INC SYSTEM] create new solver instance 23.74/23.81 c [INC] encode full formula 23.74/23.81 c fallback to adder encoding 23.86/23.94 c set iterative enc to: adder 23.86/23.94 c set iterative enc to: none 23.86/23.97 c [INC SEARCH] isOptimum variable: 0 35.24/35.30 c formula is SAT 35.24/35.30 c [INC SEARCH] copied best model 35.24/35.31 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 35.24/35.31 c model valid 35.24/35.31 c current solution ok 35.24/35.31 o 45008 35.24/35.31 c [INC SEARCH] iteration: 3 35.24/35.31 c [INC BOUNDS] best value:45008 search for 45007 35.24/35.31 c [INC SYSTEM] there exists a inc, kill it! 35.24/35.31 c write failed with 2 35.24/35.31 c [INC SYSTEM] create new solver instance 35.24/35.31 c [INC] encode full formula 35.24/35.31 c fallback to adder encoding 35.35/35.41 c set iterative enc to: adder 35.35/35.41 c set iterative enc to: none 35.35/35.42 c [INC SEARCH] isOptimum variable: 0 36.33/36.45 c [INC SEARCH] formula is UNSAT 36.33/36.45 c [INC SYSTEM] there exists a inc, kill it! 36.33/36.45 c write failed with 2 36.33/36.45 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1 36.33/36.45 c [INC SEARCH] found optimum 36.33/36.45 c display solution 36.33/36.45 s OPTIMUM FOUND 36.33/36.45 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
OK 45008
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-3746730-1339103851/watcher-3746730-1339103851 -o /tmp/evaluation-result-3746730-1339103851/solver-3746730-1339103851 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746730-1339103851.opb 987153711 HOME HOME running on 4 cores: 1,3,5,7 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.98 2.00 1.95 3/178 5445 /proc/meminfo: memFree=31177944/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [startup+0.029322 s] /proc/loadavg: 1.98 2.00 1.95 3/178 5445 /proc/meminfo: memFree=31177944/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100297 s] /proc/loadavg: 1.98 2.00 1.95 3/178 5445 /proc/meminfo: memFree=31177944/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300201 s] /proc/loadavg: 1.98 2.00 1.95 3/178 5445 /proc/meminfo: memFree=31177944/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700181 s] /proc/loadavg: 1.98 2.00 1.95 3/178 5445 /proc/meminfo: memFree=31177944/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 1.98 2.00 1.95 3/181 5454 /proc/meminfo: memFree=31119796/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20504 CPUtime=0.42 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 6439 6477 0 0 16 7 18 1 20 0 1 0 376511108 20996096 4791 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/5446/statm: 5126 4791 178 442 0 4680 0 [pid=5454] ppid=5446 vsize=34096 CPUtime=1.04 cores=1,3,5,7 /proc/5454/stat : 5454 (glucosInc) R 5446 5445 4113 0 -1 4202496 7353 0 0 0 103 1 0 0 20 0 1 0 376511152 34914304 7472 33554432000 4194304 5654031 140736474068336 140736474066104 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/5454/statm: 8524 7472 141 357 0 8164 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 63748 [startup+3.10027 s] /proc/loadavg: 1.98 2.00 1.95 4/181 5454 /proc/meminfo: memFree=31119424/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20504 CPUtime=0.42 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 6439 6477 0 0 16 7 18 1 20 0 1 0 376511108 20996096 4791 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/5446/statm: 5126 4791 178 442 0 4680 0 [pid=5454] ppid=5446 vsize=34492 CPUtime=2.64 cores=1,3,5,7 /proc/5454/stat : 5454 (glucosInc) R 5446 5445 4113 0 -1 4202496 7665 0 0 0 263 1 0 0 20 0 1 0 376511152 35319808 7777 33554432000 4194304 5654031 140736474068336 140736474056152 4232794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/5454/statm: 8623 7777 141 357 0 8263 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 64144 [startup+6.30032 s] /proc/loadavg: 1.98 2.00 1.95 4/181 5454 /proc/meminfo: memFree=31079092/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20504 CPUtime=0.42 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 6439 6477 0 0 16 7 18 1 20 0 1 0 376511108 20996096 4791 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/5446/statm: 5126 4791 178 442 0 4680 0 [pid=5454] ppid=5446 vsize=40180 CPUtime=5.84 cores=1,3,5,7 /proc/5454/stat : 5454 (glucosInc) R 5446 5445 4113 0 -1 4202496 8105 0 0 0 583 1 0 0 20 0 1 0 376511152 41144320 8724 33554432000 4194304 5654031 140736474068336 140736474056152 4233299 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/5454/statm: 10045 8724 141 357 0 9685 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 69832 [startup+12.7004 s] /proc/loadavg: 1.98 2.00 1.95 4/181 5454 /proc/meminfo: memFree=31057988/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20504 CPUtime=0.42 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 6439 6477 0 0 16 7 18 1 20 0 1 0 376511108 20996096 4791 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/5446/statm: 5126 4791 178 442 0 4680 0 [pid=5454] ppid=5446 vsize=40604 CPUtime=12.24 cores=1,3,5,7 /proc/5454/stat : 5454 (glucosInc) R 5446 5445 4113 0 -1 4202496 9265 0 0 0 1222 2 0 0 20 0 1 0 376511152 41578496 8543 33554432000 4194304 5654031 140736474068336 140736474056152 4215200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/5454/statm: 10151 8543 141 357 0 9791 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 70256 [startup+25.5003 s] /proc/loadavg: 1.99 2.00 1.95 4/181 5458 /proc/meminfo: memFree=31094060/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=4556 CPUtime=23.93 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 15102 25228 0 0 45 10 2331 7 20 0 1 0 376511108 4665344 836 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 1139 836 178 442 0 693 0 [pid=5458] ppid=5446 vsize=34256 CPUtime=1.52 cores=1,3,5,7 /proc/5458/stat : 5458 (glucosInc) R 5446 5445 4113 0 -1 4202496 7276 0 0 0 151 1 0 0 20 0 1 0 376513505 35078144 7476 33554432000 4194304 5654031 140735414455232 140735414453000 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5458/statm: 8564 7476 141 357 0 8204 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 47960 Solver just ended. Dumping a history of the last processes samples [startup+31.9066 s] /proc/loadavg: 1.99 2.00 1.95 4/181 5458 /proc/meminfo: memFree=31060912/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=4556 CPUtime=23.93 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 15102 25228 0 0 45 10 2331 7 20 0 1 0 376511108 4665344 836 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 1139 836 178 442 0 693 0 [pid=5458] ppid=5446 vsize=46396 CPUtime=7.92 cores=1,3,5,7 /proc/5458/stat : 5458 (glucosInc) R 5446 5445 4113 0 -1 4202496 8690 0 0 0 791 1 0 0 20 0 1 0 376513505 47509504 9968 33554432000 4194304 5654031 140735414455232 140735414443048 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5458/statm: 11599 9968 141 357 0 11239 0 Current children cumulated CPU time (s) 31.85 Current children cumulated vsize (KiB) 60100 [startup+33.5003 s] /proc/loadavg: 2.07 2.01 1.96 4/181 5458 /proc/meminfo: memFree=31056940/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=4556 CPUtime=23.93 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 15102 25228 0 0 45 10 2331 7 20 0 1 0 376511108 4665344 836 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 1139 836 178 442 0 693 0 [pid=5458] ppid=5446 vsize=46396 CPUtime=9.51 cores=1,3,5,7 /proc/5458/stat : 5458 (glucosInc) R 5446 5445 4113 0 -1 4202496 8690 0 0 0 950 1 0 0 20 0 1 0 376513505 47509504 9968 33554432000 4194304 5654031 140735414455232 140735414443048 4215372 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5458/statm: 11599 9968 141 357 0 11239 0 Current children cumulated CPU time (s) 33.44 Current children cumulated vsize (KiB) 60100 [startup+35.1004 s] /proc/loadavg: 2.07 2.01 1.96 4/181 5458 /proc/meminfo: memFree=31048632/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=4556 CPUtime=23.93 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 15102 25228 0 0 45 10 2331 7 20 0 1 0 376511108 4665344 836 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 1139 836 178 442 0 693 0 [pid=5458] ppid=5446 vsize=46396 CPUtime=11.12 cores=1,3,5,7 /proc/5458/stat : 5458 (glucosInc) R 5446 5445 4113 0 -1 4202496 8691 0 0 0 1111 1 0 0 20 0 1 0 376513505 47509504 10480 33554432000 4194304 5654031 140735414455232 140735414443048 4232791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5458/statm: 11599 10480 141 357 0 11239 0 Current children cumulated CPU time (s) 35.05 Current children cumulated vsize (KiB) 60100 [startup+35.9002 s] /proc/loadavg: 2.07 2.01 1.96 4/181 5458 /proc/meminfo: memFree=31048632/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20812 CPUtime=35.37 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 18525 35140 0 0 55 11 3462 9 20 0 1 0 376511108 21311488 4590 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 5203 4590 178 442 0 4757 0 Current children cumulated CPU time (s) 35.37 Current children cumulated vsize (KiB) 29960 [startup+36.3067 s] /proc/loadavg: 2.07 2.01 1.96 3/181 5460 /proc/meminfo: memFree=31053160/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20812 CPUtime=35.37 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 18525 35140 0 0 55 11 3462 9 20 0 1 0 376511108 21311488 4590 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 5203 4590 178 442 0 4757 0 [pid=5460] ppid=5446 vsize=25728 CPUtime=0.87 cores=1,3,5,7 /proc/5460/stat : 5460 (glucosInc) R 5446 5445 4113 0 -1 4202496 7191 0 0 0 86 1 0 0 20 0 1 0 376514651 26345472 5755 33554432000 4194304 5654031 140736057055760 140736057053768 4217334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/5460/statm: 6432 5755 141 357 0 6072 0 Current children cumulated CPU time (s) 36.24 Current children cumulated vsize (KiB) 55688 [startup+36.4003 s] /proc/loadavg: 2.07 2.01 1.96 3/181 5460 /proc/meminfo: memFree=31053160/32873648 swapFree=7628/7628 [pid=5445] ppid=5443 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5445/stat : 5445 (npSolver-pbo-It) S 5443 5445 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376511108 9367552 275 33554432000 4194304 5064252 140733435422608 140733435421520 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/5445/statm: 2287 275 233 213 0 72 0 [pid=5446] ppid=5445 vsize=20812 CPUtime=35.37 cores=1,3,5,7 /proc/5446/stat : 5446 (npSolver-pbo) S 5445 5445 4113 0 -1 4202496 18525 35140 0 0 55 11 3462 9 20 0 1 0 376511108 21311488 4590 33554432000 4194304 6004724 140735076938864 140735076924712 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/5446/statm: 5203 4590 178 442 0 4757 0 [pid=5460] ppid=5446 vsize=25728 CPUtime=0.96 cores=1,3,5,7 /proc/5460/stat : 5460 (glucosInc) R 5446 5445 4113 0 -1 4202496 7192 0 0 0 95 1 0 0 20 0 1 0 376514651 26345472 5756 33554432000 4194304 5654031 140736057055760 140736057053768 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/5460/statm: 6432 5756 142 357 0 6072 0 Current children cumulated CPU time (s) 36.33 Current children cumulated vsize (KiB) 55688 Child status: 0 Real time (s): 36.4541 CPU time (s): 36.4215 CPU user time (s): 36.1865 CPU system time (s): 0.234964 CPU usage (%): 99.9105 Max. virtual memory (cumulated for all children) (KiB): 70628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.1865 system time used= 0.234964 maximum resident set size= 48456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61293 page faults= 0 swaps= 0 block input operations= 8 block output operations= 70608 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 406 involuntary context switches= 143 runsolver used 0.106983 second user time and 0.38894 second system time The end
Begin job on node122 at 2012-06-07 23:17:31 IDJOB=3746730 IDBENCH=71859 IDSOLVER=2332 FILE ID=node122/3746730-1339103851 RUNJOBID= node122-1339098177-4130 PBS_JOBID= 14643731 Free space on /tmp= 71152 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opb COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746730-1339103851/watcher-3746730-1339103851 -o /tmp/evaluation-result-3746730-1339103851/solver-3746730-1339103851 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746730-1339103851.opb 987153711 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c0b9d73d67a301539707b5cf6d0db6d RANDOM SEED=987153711 node122.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.533 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.06 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 5332.04 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.533 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 5438.54 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.533 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31178480 kB Buffers: 54728 kB Cached: 804816 kB SwapCached: 2144 kB Active: 174060 kB Inactive: 756416 kB Active(anon): 71116 kB Inactive(anon): 2216 kB Active(file): 102944 kB Inactive(file): 754200 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67099472 kB Dirty: 8392 kB Writeback: 0 kB AnonPages: 100856 kB Mapped: 10064 kB Shmem: 0 kB Slab: 627412 kB SReclaimable: 70920 kB SUnreclaim: 556492 kB KernelStack: 1504 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 211268 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71136 MiB End job on node122 at 2012-06-07 23:18:08