Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | Wrong Opt. | -47 | 383.264 | 383.411 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 1264 |
Sum of products size | 2528 |
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-1879661-1245246532.opb 0.00/0.00 c File size is 104187 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 1464 Constr: 2928 1464/200/1264 Lit: 12640 Watch. Lit: 8848 0.00/0.01 c Obj. Vars: 200 (13.6612 % of total variables) 0.00/0.02 c Pre-processing Time: 0.026 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1264 3792 3 2528 421 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o -45 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 200 1265 3992 3 2575 1421 1 0 0.03 0.00/0.03 o -46 198.81/198.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 198.81/198.98 c 24 200 1308 11371 8 3403 1421 44 666 0.04 198.81/198.98 c 125 200 1508 46383 30 7037 1564 244 1213 0.10 198.81/198.98 c 375 200 2004 134640 67 14259 1721 740 874 0.43 198.81/198.98 c 852 200 2952 305682 103 24839 1894 1688 615 1.38 198.81/198.98 c 1667 199 2225 165698 74 18183 2084 961 398 4.19 198.81/198.98 c 2989 199 2413 197848 81 21177 2293 1149 304 9.82 198.81/198.98 c 5071 199 3919 483680 123 43583 2523 2655 258 19.65 198.81/198.98 c 8294 196 5002 664697 132 59397 2776 3738 222 37.21 198.81/198.98 c 13231 194 3700 432614 116 38510 3054 2436 204 64.74 198.81/198.98 c 20737 190 3913 445937 113 41322 3360 2649 183 113.26 198.81/198.98 c 32099 179 4981 610493 122 51900 3697 3717 167 191.21 198.81/198.98 o -47 383.25/383.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 383.25/383.40 c 32858 162 3287 325169 98 29776 1421 2023 165 198.90 383.25/383.40 c 32958 162 3480 352731 101 32047 1564 2216 165 199.35 383.25/383.40 c 33212 161 3984 429367 107 39410 1721 2720 165 200.61 383.25/383.40 c 33687 158 2703 208484 77 26442 1894 1439 166 202.89 383.25/383.40 c 34500 157 4299 465228 108 40653 2084 3035 166 207.69 383.25/383.40 c 35821 152 4581 457624 99 45520 2293 3317 166 214.53 383.25/383.40 c 37902 149 3699 332936 90 36846 2523 2435 168 224.69 383.25/383.40 c 41125 149 4869 516113 105 46859 2776 3605 168 244.06 383.25/383.40 c 46061 147 3697 323843 87 32255 3054 2433 167 274.24 383.25/383.40 c 53567 128 4104 363228 88 35999 3360 2840 167 320.39 383.25/383.40 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 383.25/383.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 383.25/383.40 c 22 62512 5138 69340 3598 233306 2334 163 383.26 383.25/383.40 c Objective: -47 383.25/383.40 s OPTIMUM FOUND 383.25/383.40 c Total time: 383.26 s
OK -47
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879661-1245246532/watcher-1879661-1245246532 -o /tmp/evaluation-result-1879661-1245246532/solver-1879661-1245246532 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879661-1245246532.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 0.98 3/64 13550 /proc/meminfo: memFree=1868608/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=10816 CPUtime=0 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 192254046 11075584 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2704 243 174 640 0 2034 0 [startup+0.102858 s] /proc/loadavg: 1.00 1.00 0.98 3/64 13550 /proc/meminfo: memFree=1868608/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=11916 CPUtime=0.09 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 192254046 12201984 547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2979 547 197 640 0 2335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11916 [startup+0.202876 s] /proc/loadavg: 1.00 1.00 0.98 3/64 13550 /proc/meminfo: memFree=1868608/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=12296 CPUtime=0.19 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 691 0 0 0 19 0 0 0 18 0 1 0 192254046 12591104 649 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 3074 649 197 640 0 2430 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12296 [startup+0.302894 s] /proc/loadavg: 1.00 1.00 0.98 3/64 13550 /proc/meminfo: memFree=1868608/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=12680 CPUtime=0.29 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 779 0 0 0 29 0 0 0 19 0 1 0 192254046 12984320 737 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 3170 737 197 640 0 2526 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12680 [startup+0.701968 s] /proc/loadavg: 1.00 1.00 0.98 3/64 13550 /proc/meminfo: memFree=1868608/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=13924 CPUtime=0.69 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 1112 0 0 0 69 0 0 0 22 0 1 0 192254046 14258176 1070 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 3481 1070 197 640 0 2837 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13924 [startup+1.50112 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1864120/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=15780 CPUtime=1.49 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 1561 0 0 0 149 0 0 0 25 0 1 0 192254046 16158720 1519 1992294400 134512640 137136520 4294956256 18446744073709551615 134544472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 3945 1519 197 640 0 3301 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15780 [startup+3.10141 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1861816/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=18536 CPUtime=3.09 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 2248 0 0 0 308 1 0 0 25 0 1 0 192254046 18980864 2206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4634 2206 197 640 0 3990 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18536 [startup+6.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1859192/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=19644 CPUtime=6.29 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 2524 0 0 0 628 1 0 0 25 0 1 0 192254046 20115456 2482 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4911 2482 197 640 0 4267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19644 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1858552/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=20148 CPUtime=12.68 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 2671 0 0 0 1267 1 0 0 25 0 1 0 192254046 20631552 2629 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5037 2629 198 640 0 4393 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20148 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1856888/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=21788 CPUtime=25.48 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3085 0 0 0 2545 3 0 0 25 0 1 0 192254046 22310912 3043 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5447 3043 198 640 0 4803 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21788 [startup+51.1023 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1856248/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=22544 CPUtime=51.07 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3248 0 0 0 5103 4 0 0 25 0 1 0 192254046 23085056 3206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5636 3206 198 640 0 4992 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22544 [startup+102.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13551 /proc/meminfo: memFree=1855544/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23308 CPUtime=102.26 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3438 0 0 0 10220 6 0 0 25 0 1 0 192254046 23867392 3396 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5827 3396 198 640 0 5183 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23308 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1854968/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23436 CPUtime=162.22 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3478 0 0 0 16214 8 0 0 25 0 1 0 192254046 23998464 3436 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5859 3436 198 640 0 5215 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 23436 [startup+222.306 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855096/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23644 CPUtime=222.21 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 22211 10 0 0 25 0 1 0 192254046 24211456 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5911 3491 198 640 0 5267 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 23644 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855096/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=282.18 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 28204 14 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 23640 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855096/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=342.16 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 34200 16 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 23640 Solver just ended. Dumping a history of the last processes samples [startup+358.401 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855096/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=358.25 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 35808 17 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 358.25 Current children cumulated vsize (KiB) 23640 [startup+371.202 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=371.05 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 37088 17 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 371.05 Current children cumulated vsize (KiB) 23640 [startup+377.602 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=377.44 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 37727 17 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134599091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 377.44 Current children cumulated vsize (KiB) 23640 [startup+380.801 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=380.65 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 38047 18 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 380.65 Current children cumulated vsize (KiB) 23640 [startup+382.401 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=382.25 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 38207 18 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 382.25 Current children cumulated vsize (KiB) 23640 [startup+383.202 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=383.05 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 38287 18 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 383.05 Current children cumulated vsize (KiB) 23640 [startup+383.402 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13553 /proc/meminfo: memFree=1855032/2055920 swapFree=4181928/4192956 [pid=13550] ppid=13548 vsize=23640 CPUtime=383.25 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13202 0 -1 4194304 3533 0 0 0 38307 18 0 0 25 0 1 0 192254046 24207360 3491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 5910 3491 198 640 0 5266 0 Current children cumulated CPU time (s) 383.25 Current children cumulated vsize (KiB) 23640 Child status: 0 Real time (s): 383.411 CPU time (s): 383.264 CPU user time (s): 383.08 CPU system time (s): 0.183972 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 23684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 383.08 system time used= 0.183972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3535 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= 4 involuntary context switches= 594 runsolver used 0.371943 second user time and 0.690894 second system time The end
Begin job on node7 at 2009-06-17 15:48:52 IDJOB=1879661 IDBENCH=48211 IDSOLVER=701 FILE ID=node7/1879661-1245246532 PBS_JOBID= 9372335 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879661-1245246532/watcher-1879661-1245246532 -o /tmp/evaluation-result-1879661-1245246532/solver-1879661-1245246532 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879661-1245246532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=228348146 node7.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.274 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.274 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: 1869088 kB Buffers: 36116 kB Cached: 88692 kB SwapCached: 5072 kB Active: 22232 kB Inactive: 110680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869088 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 14364 kB Slab: 39792 kB Committed_AS: 182584 kB PageTables: 1452 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-1879661-1245246532.opb Free space on /tmp at the end= 66268 MiB End job on node7 at 2009-06-17 15:55:16