Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -43 | 989.421 | 989.802 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433097-1177954346/instance-433097-1177954346.opb 0.00/0.00 c File size is 2689847 bytes. 0.39/0.46 c Highest Coefficient sum: 1400 0.39/0.46 c Parsing was ok!! 0.39/0.46 c Total parsing time: 0.457 s 0.49/0.50 c Var: 1400 Constr: 109676 109676/0/0 Lit: 219352 Watch. Lit: 219352 0.49/0.50 c Obj. Vars: 1400 (100 % of total variables) 3.89/3.95 c Pre-processing Time: 3.945 s 3.89/3.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.95 c 0 1400 109676 219352 2 219352 36558 0 0 3.94 3.89/3.95 c Switching off LPR mode. 3.89/3.96 o -39 3.965 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 0 1400 109677 220752 2 219393 37558 1 0 3.97 3.89/3.97 o -40 3.973 10.19/10.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.27 c 2 1400 109680 224869 2 219439 37558 4 0 3.98 10.19/10.27 c 103 1400 109781 361944 3 219641 41314 105 25 4.05 10.19/10.27 c 354 1400 110032 702337 6 220143 45446 356 82 4.28 10.19/10.27 c 829 1400 110507 1346559 12 221093 49991 831 177 4.67 10.19/10.27 c 1642 1400 111320 2448905 21 222719 54991 1644 302 5.43 10.19/10.27 c 2962 1400 112640 4240589 37 225359 60491 2964 402 7.35 10.19/10.27 o -41 10.265 50.97/51.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.97/51.01 c 4897 1400 114576 6867690 59 229272 37558 4900 476 10.27 50.97/51.01 c 4997 1400 114676 7003252 61 229472 41314 5000 481 10.37 50.97/51.01 c 5247 1400 114926 7342016 63 229972 45446 5250 485 10.81 50.97/51.01 c 5723 1400 115402 7987325 69 230924 49991 5726 510 11.20 50.97/51.01 c 6537 1400 116216 9090611 78 232552 54991 6540 542 12.04 50.97/51.01 c 7858 1400 117537 10881693 92 235194 60491 7861 562 13.96 50.97/51.01 c 9939 1400 119618 13700606 114 239356 66541 9942 555 17.89 50.97/51.01 c 13163 1400 122842 18068495 147 245804 73196 13166 396 33.18 50.97/51.01 c 18099 1400 127778 24757671 193 255676 80516 18102 356 50.76 50.97/51.01 o -42 50.988 236.72/236.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 236.72/236.86 c 18292 1400 127972 25020635 195 256106 37558 18296 358 50.99 236.72/236.86 c 18392 1400 128072 25156117 196 256306 41314 18396 359 51.11 236.72/236.86 c 18643 1400 128323 25496238 198 256808 45446 18647 362 51.43 236.72/236.86 c 19118 1400 128798 26139488 202 257758 49991 19122 367 52.05 236.72/236.86 c 19931 1400 129611 27240834 210 259384 54991 19935 375 53.09 236.72/236.86 c 21253 1400 130933 29030771 221 262028 60491 21257 386 55.03 236.72/236.86 c 23334 1400 133014 31849412 239 266190 66541 23338 397 58.71 236.72/236.86 c 26557 1400 136237 36213117 265 272636 73196 26561 414 64.01 236.72/236.86 c 31493 1400 141173 42898182 303 282508 80516 31497 393 80.09 236.72/236.86 c 38999 1400 148679 53061879 356 297520 88568 39003 355 109.68 236.72/236.86 c 50360 1400 160040 68441065 427 320242 97425 50364 308 163.01 236.72/236.86 o -43 236.784 989.12/989.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 989.12/989.40 c 61183 1400 170864 83097089 486 341933 37558 61188 258 236.79 989.12/989.40 c 61283 1400 121569 16322531 134 243181 41314 11893 193 317.32 989.12/989.40 c 61533 1400 121819 16660911 136 243681 45446 12143 193 317.94 989.12/989.40 c 62008 1400 122294 17303990 141 244631 49991 12618 194 318.71 989.12/989.40 c 62821 1400 123107 18404301 149 246257 54991 13431 196 319.58 989.12/989.40 c 64141 1400 124427 20190767 162 248897 60491 14751 198 322.85 989.12/989.40 c 66223 1400 126509 23008157 181 253061 66541 16833 202 326.69 989.12/989.40 c 69446 1400 129732 27368744 210 259507 73196 20056 206 335.87 989.12/989.40 c 74382 1400 134668 34048412 252 269379 80516 24992 213 348.90 989.12/989.40 c 81889 1400 142175 44206229 310 284393 88568 32499 212 384.67 989.12/989.40 c 93250 1400 153536 59577040 388 307115 97425 43860 200 465.84 989.12/989.40 c 110394 1400 170680 82760354 484 341403 107168 61004 176 624.84 989.12/989.40 c 136213 1400 196499 117697109 598 393041 117885 86823 163 833.21 989.12/989.40 c Caught signal: 15 989.12/989.40 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 989.12/989.40 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 989.12/989.40 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 989.12/989.40 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 989.12/989.40 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 989.12/989.40 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 989.12/989.40 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 989.12/989.40 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 989.12/989.40 v x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 989.12/989.40 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 989.12/989.40 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 989.12/989.40 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 989.12/989.40 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 989.12/989.40 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 989.12/989.40 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 989.12/989.40 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 989.12/989.40 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 989.12/989.40 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 989.12/989.40 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 989.12/989.40 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 989.12/989.40 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 989.12/989.40 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 989.12/989.40 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 989.12/989.40 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 989.12/989.40 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 989.12/989.40 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 989.12/989.40 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 989.12/989.40 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 989.12/989.40 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 989.12/989.40 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 989.12/989.40 v -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 989.12/989.40 v -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 989.12/989.40 v x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 989.12/989.40 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 989.12/989.40 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 989.12/989.40 v -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 989.12/989.40 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 989.12/989.40 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 989.12/989.40 v -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 989.12/989.40 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 989.12/989.40 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 989.12/989.40 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 989.12/989.40 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 989.12/989.40 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 989.12/989.40 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 989.12/989.40 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 989.12/989.40 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 989.12/989.40 v x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 989.12/989.40 v -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 989.12/989.40 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 989.12/989.40 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 989.12/989.40 v -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 989.12/989.40 v -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 989.12/989.40 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 989.12/989.40 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 989.12/989.40 v -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 989.12/989.40 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 989.12/989.40 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 989.12/989.40 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 989.12/989.40 v -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 989.12/989.40 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 989.12/989.40 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 989.12/989.40 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 989.12/989.40 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 989.12/989.40 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 989.12/989.40 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 989.12/989.40 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 989.12/989.40 v -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 989.12/989.40 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 989.12/989.40 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 989.12/989.40 v -x7 -x6 -x5 -x4 -x3 -x2 -x1 989.12/989.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 989.12/989.40 c 40 154829 17499 177882 215115 142891980 105439 156 989.13 989.12/989.40 c Objective: -43 989.12/989.40 s SATISFIABLE 989.12/989.40 c Total time: 989.131 s
OK -43
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-433097-1177954346 -o ROOT/results/node24/solver-433097-1177954346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433097-1177954346/instance-433097-1177954346.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.00 0.99 3/77 21278 /proc/meminfo: memFree=1852504/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=14364 CPUtime=0 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243352670 14708736 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 3591 332 279 324 0 2004 0 [startup+0.00766211 s] /proc/loadavg: 0.93 1.00 0.99 3/77 21278 /proc/meminfo: memFree=1852504/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=6700 CPUtime=0 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 391 0 0 0 0 0 0 0 18 0 1 0 243352670 6860800 361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 1675 362 283 324 0 88 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6700 [startup+0.101672 s] /proc/loadavg: 0.93 1.00 0.99 3/77 21278 /proc/meminfo: memFree=1852504/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=8900 CPUtime=0.09 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 1095 0 0 0 9 0 0 0 18 0 1 0 243352670 9113600 1065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 2225 1065 418 324 0 638 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8900 [startup+0.301694 s] /proc/loadavg: 0.93 1.00 0.99 3/77 21278 /proc/meminfo: memFree=1852504/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=13576 CPUtime=0.29 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 2550 0 0 0 28 1 0 0 19 0 1 0 243352670 13901824 2520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 3394 2520 703 324 0 1807 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13576 [startup+0.701738 s] /proc/loadavg: 0.93 1.00 0.99 3/77 21278 /proc/meminfo: memFree=1852504/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=23600 CPUtime=0.69 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 5945 0 0 0 66 3 0 0 22 0 1 0 243352670 24166400 5258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 5900 5258 305 324 0 4970 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23600 [startup+1.50182 s] /proc/loadavg: 0.93 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1832592/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=23600 CPUtime=1.49 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 5945 0 0 0 145 4 0 0 25 0 1 0 243352670 24166400 5258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 5900 5258 305 324 0 4970 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23600 [startup+3.102 s] /proc/loadavg: 0.93 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1832464/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=23600 CPUtime=3.09 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 5945 0 0 0 302 7 0 0 25 0 1 0 243352670 24166400 5258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 5900 5258 305 324 0 4970 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23600 [startup+6.30135 s] /proc/loadavg: 0.93 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1807824/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=60060 CPUtime=6.29 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 16757 0 0 0 615 14 0 0 25 0 1 0 243352670 61501440 14404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 15015 14404 310 324 0 14085 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60060 [startup+12.7011 s] /proc/loadavg: 0.94 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1722896/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=143552 CPUtime=12.69 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 37608 0 0 0 1247 22 0 0 25 0 1 0 243352670 146997248 35255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3038706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 35888 35255 310 324 0 34958 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143552 [startup+25.5015 s] /proc/loadavg: 0.95 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1635472/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=220764 CPUtime=25.48 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 56929 0 0 0 2517 31 0 0 25 0 1 0 243352670 226062336 54576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 55191 54576 310 324 0 54261 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 220764 [startup+51.1014 s] /proc/loadavg: 0.97 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1522832/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=337996 CPUtime=51.07 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 86241 0 0 0 5063 44 0 0 25 0 1 0 243352670 346107904 83888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 84499 83888 310 324 0 83569 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 337996 [startup+102.304 s] /proc/loadavg: 0.98 1.00 0.99 2/78 21279 /proc/meminfo: memFree=1188496/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=666672 CPUtime=102.26 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 168410 0 0 0 10152 74 0 0 25 0 1 0 243352670 682672128 166057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 166668 166057 310 324 0 165738 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 666672 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=964624/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=890724 CPUtime=162.23 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 224410 0 0 0 16125 98 0 0 25 0 1 0 243352670 912101376 222057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3038964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 222681 222057 310 324 0 221751 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 890724 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=800272/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1054136 CPUtime=222.22 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 265259 0 0 0 22105 117 0 0 25 0 1 0 243352670 1079435264 262906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 263534 262906 310 324 0 262604 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1054136 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=774480/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=282.2 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 28099 121 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1079344 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=774480/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=342.19 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 34097 122 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1079344 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=774480/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=402.17 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 40095 122 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1079344 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21279 /proc/meminfo: memFree=774480/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=462.16 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 46093 123 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1079344 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=774480/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=522.14 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 52091 123 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1079344 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=774544/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1079344 CPUtime=582.12 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 271612 0 0 0 58089 123 0 0 25 0 1 0 243352670 1105248256 269199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 269836 269199 310 324 0 268906 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1079344 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=687696/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1166016 CPUtime=642.12 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 293297 0 0 0 64078 134 0 0 25 0 1 0 243352670 1194000384 290884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 291504 290884 310 324 0 290574 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1166016 [startup+702.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=547600/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1306424 CPUtime=702.1 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 328399 0 0 0 70059 151 0 0 25 0 1 0 243352670 1337778176 325986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 326606 325986 310 324 0 325676 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1306424 [startup+762.305 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=438160/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1415240 CPUtime=762.09 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 355586 0 0 0 76045 164 0 0 25 0 1 0 243352670 1449205760 353173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 353810 353173 310 324 0 352880 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1415240 [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=347280/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1506380 CPUtime=822.07 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 378388 0 0 0 82032 175 0 0 25 0 1 0 243352670 1542533120 375975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 376595 375975 310 324 0 375665 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1506380 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=184144/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1669092 CPUtime=882.05 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 419058 0 0 0 88014 191 0 0 25 0 1 0 243352670 1709150208 416645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 417273 416645 310 324 0 416343 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1669092 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=65168/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1788580 CPUtime=942.03 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 448924 0 0 0 93997 206 0 0 25 0 1 0 243352670 1831505920 446511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 447145 446511 310 324 0 446215 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1788580 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+989.401 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=15248/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=1843292 CPUtime=989.12 /proc/21278/stat : 21278 (bsolo3.0.17) R 21276 21278 20225 0 -1 4194304 462607 0 0 0 98698 214 0 0 25 0 1 0 243352670 1887531008 460194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21278/statm: 460823 460194 310 324 0 459893 0 Current children cumulated CPU time (s) 989.12 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+989.802 s] /proc/loadavg: 0.99 1.00 0.99 2/78 21281 /proc/meminfo: memFree=15248/2055920 swapFree=4143580/4192956 [pid=21278] ppid=21276 vsize=0 CPUtime=989.41 /proc/21278/stat : 21278 (bsolo3.0.17) D 21276 21278 20225 0 -1 4194308 462611 0 0 0 98699 242 0 0 23 0 1 0 243352670 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099855350 0 0 17 0 0 0 /proc/21278/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 989.41 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 989.802 CPU time (s): 989.421 CPU user time (s): 986.991 CPU system time (s): 2.42963 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 986.991 system time used= 2.42963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462611 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 1326 runsolver used 0.741887 second user time and 2.21566 second system time The end
Begin job on node24 on Mon Apr 30 17:32:26 UTC 2007 IDJOB= 433097 IDBENCH= 2249 IDSOLVER= 199 FILE ID= node24/433097-1177954346 PBS_JOBID= 4727670 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433097-1177954346/instance-433097-1177954346.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-433097-1177954346 -o ROOT/results/node24/solver-433097-1177954346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433097-1177954346/instance-433097-1177954346.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED= 331551230 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1852912 kB Buffers: 31712 kB Cached: 85864 kB SwapCached: 17132 kB Active: 55216 kB Inactive: 86412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852912 kB SwapTotal: 4192956 kB SwapFree: 4143580 kB Dirty: 9316 kB Writeback: 0 kB Mapped: 30956 kB Slab: 46824 kB Committed_AS: 3883908 kB PageTables: 1812 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node24 on Mon Apr 30 17:48:58 UTC 2007