Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | -15 | 73.0529 | 73.0927 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_4.opb |
MD5SUM | e7bb8414272ccdbf28db7bd22cc751df |
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 | -15 |
Best CPU time to get the best result obtained on this benchmark | 4.27435 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
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 | 40 |
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) | 3070 |
Sum of products size (including duplicates) | 6140 |
Number of different products | 1535 |
Sum of products size | 3070 |
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: Cardinality Constraint 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-1876757-1245198636.opb 0.00/0.00 c File size is 121640 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.016 s 0.00/0.01 c Var: 1635 Constr: 3270 1635/100/1535 Lit: 15350 Watch. Lit: 10745 0.00/0.01 c Obj. Vars: 100 (6.11621 % 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 1535 4605 3 3070 511 0 0 0.03 0.00/0.03 c Switching off lower bounding mode. 0.00/0.03 o -11 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 100 1536 4705 3 3083 911 1 0 0.03 0.00/0.03 o -12 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1 100 1538 4891 3 3099 944 3 29 0.03 0.09/0.15 c 102 100 1639 13357 8 3301 1039 104 2000 0.05 0.09/0.15 c 352 100 1890 34397 18 3803 1143 355 3628 0.10 0.09/0.15 o -13 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 639 100 2178 58531 26 4392 978 643 4149 0.15 0.39/0.40 c 739 100 2278 66784 29 4592 1076 743 4247 0.17 0.39/0.40 c 989 100 2528 87416 34 5092 1184 993 4262 0.23 0.39/0.40 c 1464 100 3003 126606 42 6042 1303 1468 4231 0.35 0.39/0.40 o -14 47.57/47.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.57/47.67 c 1702 100 3242 146307 45 6534 1011 1707 4223 0.40 47.57/47.67 c 1802 100 3342 154456 46 6734 1113 1807 4180 0.43 47.57/47.67 c 2052 100 3592 174851 48 7234 1225 2057 4170 0.49 47.57/47.67 c 2527 100 4067 213420 52 8184 1348 2532 4088 0.62 47.57/47.67 c 3341 100 2598 91129 35 5210 1483 1063 3880 0.86 47.57/47.67 c 4662 100 3920 198802 50 7854 1632 2385 3872 1.20 47.57/47.67 c 6743 100 3577 170506 47 7168 1796 2042 3729 1.81 47.57/47.67 c 9967 100 4295 227640 53 8604 1976 2760 3251 3.06 47.57/47.67 c 14903 100 4036 207461 51 8086 2174 2501 3121 4.78 47.57/47.67 c 22409 100 3466 159788 46 6946 2392 1931 2885 7.77 47.57/47.67 c 33770 100 3631 172960 47 7276 2632 2096 2719 12.42 47.57/47.67 c 50914 99 3274 143338 43 6561 2896 1739 2567 19.83 47.57/47.67 c 76733 97 4715 252883 53 9441 3186 3180 2472 31.03 47.57/47.67 o -15 72.95/73.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.95/73.09 c 112284 91 5185 269243 51 10390 996 3650 2356 47.65 72.95/73.09 c 112384 91 2144 47487 22 4294 1096 609 2356 47.69 72.95/73.09 c 112634 91 2394 65456 27 4794 1206 859 2359 47.73 72.95/73.09 c 113109 91 2869 99315 34 5744 1327 1334 2364 47.83 72.95/73.09 c 113922 91 3683 157374 42 7372 1460 2148 2370 48.06 72.95/73.09 c 115242 91 2691 85763 31 5388 1607 1156 2377 48.47 72.95/73.09 c 117323 91 2368 62606 26 4742 1768 833 2387 49.15 72.95/73.09 c 120546 91 3104 115161 37 6214 1945 1569 2404 50.13 72.95/73.09 c 125483 91 2943 103423 35 5892 2140 1408 2419 51.87 72.95/73.09 c 132989 90 5143 255644 49 10291 2355 3608 2436 54.59 72.95/73.09 c 144350 86 5401 264195 48 10803 2591 3866 2461 58.65 72.95/73.09 c 161494 79 5214 224599 43 10422 2851 3679 2493 64.76 72.95/73.09 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 72.95/73.09 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 72.95/73.09 c 33 185436 2765 188469 5136 131028 3601 2538 73.05 72.95/73.09 c Objective: -15 72.95/73.09 s OPTIMUM FOUND 72.95/73.09 c Total time: 73.05 s
OK -15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876757-1245198636/watcher-1876757-1245198636 -o /tmp/evaluation-result-1876757-1245198636/solver-1876757-1245198636 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876757-1245198636.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: 1.00 1.00 1.00 3/64 726 /proc/meminfo: memFree=1597008/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=10832 CPUtime=0 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 187457805 11091968 250 1992294400 134512640 137136520 4294956256 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 2708 250 175 640 0 2034 0 [startup+0.0446651 s] /proc/loadavg: 1.00 1.00 1.00 3/64 726 /proc/meminfo: memFree=1597008/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=11536 CPUtime=0.04 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 520 0 0 0 4 0 0 0 18 0 1 0 187457805 11812864 474 1992294400 134512640 137136520 4294956256 18446744073709551615 136503190 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 2884 474 197 640 0 2240 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11536 [startup+0.101671 s] /proc/loadavg: 1.00 1.00 1.00 3/64 726 /proc/meminfo: memFree=1597008/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=11768 CPUtime=0.09 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 578 0 0 0 9 0 0 0 18 0 1 0 187457805 12050432 532 1992294400 134512640 137136520 4294956256 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 2942 532 197 640 0 2298 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11768 [startup+0.301693 s] /proc/loadavg: 1.00 1.00 1.00 3/64 726 /proc/meminfo: memFree=1597008/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=12696 CPUtime=0.29 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 797 0 0 0 29 0 0 0 19 0 1 0 187457805 13000704 751 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3174 751 198 640 0 2530 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12696 [startup+0.701738 s] /proc/loadavg: 1.00 1.00 1.00 3/64 726 /proc/meminfo: memFree=1597008/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=14356 CPUtime=0.69 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1231 0 0 0 68 1 0 0 23 0 1 0 187457805 14700544 1185 1992294400 134512640 137136520 4294956256 18446744073709551615 136499623 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3589 1185 198 640 0 2945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14356 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1592840/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=14836 CPUtime=1.49 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1346 0 0 0 148 1 0 0 25 0 1 0 187457805 15192064 1300 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3709 1300 198 640 0 3065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14836 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1592392/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=15060 CPUtime=3.09 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1388 0 0 0 308 1 0 0 25 0 1 0 187457805 15421440 1342 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3765 1342 198 640 0 3121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15060 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1591752/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=15432 CPUtime=6.29 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1497 0 0 0 627 2 0 0 25 0 1 0 187457805 15802368 1451 1992294400 134512640 137136520 4294956256 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3858 1451 198 640 0 3214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15432 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1591504/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=15656 CPUtime=12.69 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1557 0 0 0 1265 4 0 0 25 0 1 0 187457805 16031744 1511 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 3914 1511 198 640 0 3270 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15656 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1591184/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16264 CPUtime=25.49 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1687 0 0 0 2542 7 0 0 25 0 1 0 187457805 16654336 1641 1992294400 134512640 137136520 4294956256 18446744073709551615 134574353 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4066 1641 198 640 0 3422 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16264 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16376 CPUtime=51.07 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 5095 12 0 0 25 0 1 0 187457805 16769024 1692 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4094 1692 198 640 0 3450 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16376 Solver just ended. Dumping a history of the last processes samples [startup+63.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16304 CPUtime=63.85 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 6371 14 0 0 25 0 1 0 187457805 16695296 1674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4076 1674 198 640 0 3432 0 Current children cumulated CPU time (s) 63.85 Current children cumulated vsize (KiB) 16304 [startup+67.1052 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16296 CPUtime=67.05 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 6691 14 0 0 25 0 1 0 187457805 16687104 1672 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4074 1672 198 640 0 3430 0 Current children cumulated CPU time (s) 67.05 Current children cumulated vsize (KiB) 16296 [startup+70.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16296 CPUtime=70.26 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 7011 15 0 0 25 0 1 0 187457805 16687104 1672 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4074 1672 198 640 0 3430 0 Current children cumulated CPU time (s) 70.26 Current children cumulated vsize (KiB) 16296 [startup+71.9018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16292 CPUtime=71.85 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 7169 16 0 0 25 0 1 0 187457805 16683008 1671 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4073 1671 198 640 0 3429 0 Current children cumulated CPU time (s) 71.85 Current children cumulated vsize (KiB) 16292 [startup+72.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16292 CPUtime=72.65 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 7249 16 0 0 25 0 1 0 187457805 16683008 1671 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4073 1671 198 640 0 3429 0 Current children cumulated CPU time (s) 72.65 Current children cumulated vsize (KiB) 16292 [startup+72.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16292 CPUtime=72.85 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 7269 16 0 0 25 0 1 0 187457805 16683008 1671 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4073 1671 198 640 0 3429 0 Current children cumulated CPU time (s) 72.85 Current children cumulated vsize (KiB) 16292 [startup+73.0019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 727 /proc/meminfo: memFree=1590992/2055920 swapFree=4181640/4192956 [pid=726] ppid=724 vsize=16292 CPUtime=72.95 /proc/726/stat : 726 (bsolo) R 724 726 342 0 -1 4194304 1739 0 0 0 7279 16 0 0 25 0 1 0 187457805 16683008 1671 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/726/statm: 4073 1671 198 640 0 3429 0 Current children cumulated CPU time (s) 72.95 Current children cumulated vsize (KiB) 16292 Child status: 0 Real time (s): 73.0927 CPU time (s): 73.0529 CPU user time (s): 72.8869 CPU system time (s): 0.165974 CPU usage (%): 99.9455 Max. virtual memory (cumulated for all children) (KiB): 16396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.8869 system time used= 0.165974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1741 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= 278 runsolver used 0.052991 second user time and 0.174973 second system time The end
Begin job on node63 at 2009-06-17 02:30:36 IDJOB=1876757 IDBENCH=48167 IDSOLVER=699 FILE ID=node63/1876757-1245198636 PBS_JOBID= 9368324 Free space on /tmp= 66468 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876757-1245198636/watcher-1876757-1245198636 -o /tmp/evaluation-result-1876757-1245198636/solver-1876757-1245198636 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876757-1245198636.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e7bb8414272ccdbf28db7bd22cc751df RANDOM SEED=615961089 node63.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.240 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1597560 kB Buffers: 56168 kB Cached: 320708 kB SwapCached: 5692 kB Active: 76328 kB Inactive: 309592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597560 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 4192 kB Writeback: 0 kB Mapped: 13708 kB Slab: 58228 kB Committed_AS: 90620 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876757-1245198636.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-17 02:31:49