Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | -14 | 81.8036 | 81.833 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_3.opb |
MD5SUM | 7197f7f0f9b455050f9ff30066ca0a9a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 4.71128 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 1545 |
Sum of products size | 3090 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879642-1245246331.opb 0.00/0.00 c File size is 122444 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 1645 Constr: 3290 1645/100/1545 Lit: 15450 Watch. Lit: 10815 0.00/0.02 c Obj. Vars: 100 (6.07903 % of total variables) 0.00/0.03 c Pre-processing Time: 0.033 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 100 1545 4635 3 3090 514 0 0 0.03 0.00/0.03 c Switching off lower bounding mode. 0.00/0.03 o -10 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 100 1546 4735 3 3102 881 1 0 0.03 0.00/0.03 o -11 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 12 100 1566 6566 4 3199 914 21 333 0.04 0.03/0.05 o -12 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 82 100 1697 18561 10 3888 948 152 1547 0.05 0.03/0.06 o -13 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 100 100 1731 21661 12 4038 981 186 1694 0.06 0.29/0.30 c 200 100 1926 39368 20 5080 1080 381 2061 0.10 0.29/0.30 c 451 100 2417 85843 35 7474 1189 872 1582 0.28 0.29/0.30 o -14 81.77/81.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.77/81.83 c 472 100 2456 89444 36 7609 1014 911 1562 0.30 81.77/81.83 c 573 100 2655 107705 40 8839 1116 1110 1421 0.40 81.77/81.83 c 823 100 3148 154546 49 11513 1228 1603 1127 0.73 81.77/81.83 c 1298 100 4077 248655 60 15855 1351 2532 755 1.72 81.77/81.83 c 2111 100 3382 189418 56 13587 1487 1837 616 3.42 81.77/81.83 c 3431 100 3611 217987 60 14345 1636 2066 530 6.46 81.77/81.83 c 5513 100 2761 129606 46 10492 1800 1216 454 12.13 81.77/81.83 c 8736 99 3776 264608 70 14635 1981 2231 443 19.70 81.77/81.83 c 13672 96 2604 105422 40 10105 2180 1059 429 31.85 81.77/81.83 c 21178 91 2781 123647 44 11373 2399 1236 434 48.78 81.77/81.83 c 32539 74 3121 148192 47 11717 2639 1576 437 74.30 81.77/81.83 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 81.77/81.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 81.77/81.83 c 17 36225 332 36655 3476 161132 1931 442 81.80 81.77/81.83 c Objective: -14 81.77/81.83 s OPTIMUM FOUND 81.77/81.83 c Total time: 81.801 s
OK -14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879642-1245246331/watcher-1879642-1245246331 -o /tmp/evaluation-result-1879642-1245246331/solver-1879642-1245246331 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879642-1245246331.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 3/64 2674 /proc/meminfo: memFree=1948696/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=10828 CPUtime=0 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 108424 11087872 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 2707 250 175 640 0 2033 0 [startup+0.0386111 s] /proc/loadavg: 0.00 0.00 0.00 3/64 2674 /proc/meminfo: memFree=1948696/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=11528 CPUtime=0.03 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 525 0 0 0 3 0 0 0 18 0 1 0 108424 11804672 479 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 2882 479 197 640 0 2238 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11528 [startup+0.101613 s] /proc/loadavg: 0.00 0.00 0.00 3/64 2674 /proc/meminfo: memFree=1948696/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=11892 CPUtime=0.09 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 594 0 0 0 9 0 0 0 18 0 1 0 108424 12177408 548 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 2973 548 197 640 0 2329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11892 [startup+0.301621 s] /proc/loadavg: 0.00 0.00 0.00 3/64 2674 /proc/meminfo: memFree=1948696/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=12380 CPUtime=0.29 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 108424 12677120 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136502191 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 3095 689 197 640 0 2451 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12380 [startup+0.701638 s] /proc/loadavg: 0.00 0.00 0.00 3/64 2674 /proc/meminfo: memFree=1948696/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=13344 CPUtime=0.69 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 951 0 0 0 69 0 0 0 23 0 1 0 108424 13664256 905 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 3336 905 197 640 0 2692 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13344 [startup+1.50167 s] /proc/loadavg: 0.08 0.02 0.01 2/65 2675 /proc/meminfo: memFree=1945360/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=14432 CPUtime=1.49 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 1242 0 0 0 149 0 0 0 25 0 1 0 108424 14778368 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 3608 1196 198 640 0 2964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14432 [startup+3.10174 s] /proc/loadavg: 0.08 0.02 0.01 2/65 2675 /proc/meminfo: memFree=1943888/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=15412 CPUtime=3.09 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 1472 0 0 0 309 0 0 0 25 0 1 0 108424 15781888 1426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 3853 1426 198 640 0 3209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15412 [startup+6.30188 s] /proc/loadavg: 0.08 0.02 0.01 2/65 2675 /proc/meminfo: memFree=1943120/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=15800 CPUtime=6.29 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 1578 0 0 0 628 1 0 0 25 0 1 0 108424 16179200 1532 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 3950 1532 198 640 0 3306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15800 [startup+12.7011 s] /proc/loadavg: 0.22 0.05 0.02 2/65 2675 /proc/meminfo: memFree=1942488/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=16444 CPUtime=12.69 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 1752 0 0 0 1268 1 0 0 25 0 1 0 108424 16838656 1706 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4111 1706 198 640 0 3467 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16444 [startup+25.5016 s] /proc/loadavg: 0.34 0.08 0.02 2/65 2675 /proc/meminfo: memFree=1941592/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=17444 CPUtime=25.48 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 1993 0 0 0 2546 2 0 0 25 0 1 0 108424 17862656 1947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4361 1947 198 640 0 3717 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17444 [startup+51.1016 s] /proc/loadavg: 0.56 0.15 0.05 2/65 2675 /proc/meminfo: memFree=1941208/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=17820 CPUtime=51.07 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2099 0 0 0 5104 3 0 0 25 0 1 0 108424 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 134573890 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4455 2053 198 640 0 3811 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17820 Solver just ended. Dumping a history of the last processes samples [startup+63.902 s] /proc/loadavg: 0.66 0.19 0.06 2/65 2675 /proc/meminfo: memFree=1940952/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=63.87 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 6383 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 18176 [startup+70.3012 s] /proc/loadavg: 0.69 0.21 0.07 2/65 2675 /proc/meminfo: memFree=1940952/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=70.27 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 7023 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 18176 [startup+76.7014 s] /proc/loadavg: 0.73 0.23 0.08 2/65 2675 /proc/meminfo: memFree=1940952/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=76.66 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 7662 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 18176 [startup+79.9015 s] /proc/loadavg: 0.73 0.23 0.08 2/65 2675 /proc/meminfo: memFree=1940952/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=79.86 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 7982 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 79.86 Current children cumulated vsize (KiB) 18176 [startup+80.7015 s] /proc/loadavg: 0.73 0.23 0.08 2/65 2675 /proc/meminfo: memFree=1940952/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=80.66 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 8062 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 80.66 Current children cumulated vsize (KiB) 18176 [startup+81.5015 s] /proc/loadavg: 0.76 0.24 0.08 2/65 2675 /proc/meminfo: memFree=1940824/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=81.46 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 8142 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 81.46 Current children cumulated vsize (KiB) 18176 [startup+81.7015 s] /proc/loadavg: 0.76 0.24 0.08 2/65 2675 /proc/meminfo: memFree=1940824/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=81.66 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 8162 4 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 81.66 Current children cumulated vsize (KiB) 18176 [startup+81.8015 s] /proc/loadavg: 0.76 0.24 0.08 2/65 2675 /proc/meminfo: memFree=1940824/2055920 swapFree=4192956/4192956 [pid=2674] ppid=2672 vsize=18176 CPUtime=81.77 /proc/2674/stat : 2674 (bsolo) R 2672 2674 2629 0 -1 4194304 2172 0 0 0 8172 5 0 0 25 0 1 0 108424 18612224 2126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2674/statm: 4544 2126 198 640 0 3900 0 Current children cumulated CPU time (s) 81.77 Current children cumulated vsize (KiB) 18176 Child status: 0 Real time (s): 81.833 CPU time (s): 81.8036 CPU user time (s): 81.7516 CPU system time (s): 0.051992 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 18176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 81.7516 system time used= 0.051992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2174 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= 5 involuntary context switches= 233 runsolver used 0.092985 second user time and 0.211967 second system time The end
Begin job on node55 at 2009-06-17 15:45:31 IDJOB=1879642 IDBENCH=48192 IDSOLVER=701 FILE ID=node55/1879642-1245246331 PBS_JOBID= 9372345 Free space on /tmp= 66460 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879642-1245246331/watcher-1879642-1245246331 -o /tmp/evaluation-result-1879642-1245246331/solver-1879642-1245246331 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879642-1245246331.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7197f7f0f9b455050f9ff30066ca0a9a RANDOM SEED=873465366 node55.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.213 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.213 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: 1951688 kB Buffers: 21712 kB Cached: 41460 kB SwapCached: 0 kB Active: 51472 kB Inactive: 24404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1951688 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4068 kB Writeback: 0 kB Mapped: 22436 kB Slab: 14436 kB Committed_AS: 50180 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879642-1245246331.opb Free space on /tmp at the end= 66456 MiB End job on node55 at 2009-06-17 15:46:53