Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 18 | 184.546 | 184.601 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb |
MD5SUM | 918383404e7b51b9b3205c84ccd5b510 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 0.193969 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 1464 |
Total number of constraints | 2689 |
Number of constraints which are clauses | 2689 |
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 | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 759 |
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 | 759 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 759 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680480-1277460245.opb. 0.00/0.00 c Instance file HOME/instance-2680480-1277460245.opb 0.00/0.00 c File size is 79160 bytes. 0.00/0.01 c Highest Coefficient sum: 32 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1464 | 0.00/0.01 c | Number Clauses: 2689 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1456 2694 6741 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 19 0.00/0.02 o 19 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1456 2695 7500 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 101 | 1456 2695 7500 | 5500 101 35 | 0.547 % | 0.00/0.08 c | 251 | 1456 2695 7500 | 6050 251 28 | 0.546 % | 0.09/0.11 c | 479 | 1456 2695 7500 | 6655 479 28 | 0.546 % | 0.09/0.19 c | 816 | 1456 2695 7500 | 7320 816 34 | 0.546 % | 0.19/0.28 c | 1322 | 1456 2695 7500 | 8052 1322 38 | 0.547 % | 0.39/0.42 c | 2081 | 1456 2695 7500 | 8857 2081 40 | 0.546 % | 0.59/0.62 c | 3221 | 1456 2695 7500 | 9743 3221 37 | 0.547 % | 0.89/0.94 c | 4929 | 1456 2695 7500 | 10717 4929 36 | 0.546 % | 1.39/1.49 c | 7492 | 1456 2695 7500 | 11789 7492 34 | 0.546 % | 2.19/2.28 c | 11336 | 1456 2695 7500 | 12968 11336 35 | 0.546 % | 3.49/3.59 c | 17102 | 1456 2695 7500 | 14265 10356 39 | 0.547 % | 5.50/5.56 c | 25751 | 1456 2695 7500 | 15692 11660 53 | 0.546 % | 8.59/8.65 c | 38727 | 1456 2695 7500 | 17261 8481 37 | 0.547 % | 13.69/13.78 c | 58191 | 1456 2695 7500 | 18987 10362 66 | 0.547 % | 19.80/19.87 c | 87383 | 1456 2695 7500 | 20886 19731 38 | 0.546 % | 31.38/31.40 c | 131173 | 1456 2695 7500 | 22974 21184 46 | 0.549 % | 49.58/49.68 c | 196857 | 1456 2695 7500 | 25272 14417 52 | 0.546 % | 78.67/78.78 c | 295383 | 1456 2695 7500 | 27799 12041 105 | 0.549 % | 118.76/118.88 c | 443173 | 1456 2695 7500 | 30579 27633 37 | 0.546 % | 183.65/183.78 c There are 8 assigned variables. 3 in cost function. 184.44/184.57 c core #1 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 3 Core Weight: 1 Total Weight: 4 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #2 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 66 Core Weight: 1 Total Weight: 5 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #3 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 63 Core Weight: 1 Total Weight: 6 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #4 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 61 Core Weight: 1 Total Weight: 7 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #5 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 29 Core Weight: 1 Total Weight: 8 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #6 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 6 Core Weight: 1 Total Weight: 9 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #7 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 13 Core Weight: 1 Total Weight: 10 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #8 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 12 Core Weight: 1 Total Weight: 11 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #9 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 11 Core Weight: 1 Total Weight: 12 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #10 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 6 Core Weight: 1 Total Weight: 13 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #11 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 479 Core Weight: 1 Total Weight: 14 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #12 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 10 Core Weight: 1 Total Weight: 15 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #13 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 4 Core Weight: 1 Total Weight: 16 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #14 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 5 Core Weight: 1 Total Weight: 17 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c core #15 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c Core size: 9 Core Weight: 1 Total Weight: 18 184.44/184.57 c 184.44/184.57 c 184.44/184.57 c ============================[ Search Statistics ]============================== 184.44/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.57 c =============================================================================== 184.44/184.57 c | 0 | 1031 3456 6892 | 5000 0 nan | 0.000 % | 184.44/184.57 c =============================================================================== 184.44/184.57 c #cores: 15 184.44/184.57 c Final Weight: 18 184.44/184.57 o 18 184.44/184.57 s OPTIMUM FOUND 184.44/184.57 v -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 x132 -x134 -x136 -x138 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x446 -x448 -x450 -x452 -x454 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x523 -x525 -x527 -x529 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x685 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x703 -x705 -x707 -x708 -x710 -x712 -x714 -x715 -x716 -x718 -x720 -x722 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x790 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x839 -x841 -x843 -x845 -x847 -x848 -x850 -x852 -x854 -x855 -x857 -x858 -x860 -x862 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x959 -x961 -x963 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x977 -x979 -x981 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 x1011 -x1013 -x1015 -x1017 -x1019 -x1020 -x1022 -x1024 -x1025 -x1027 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1049 -x1051 -x1053 -x1055 -x1056 -x1058 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1072 -x1074 -x1075 -x1077 -x1079 -x1080 -x1082 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1110 -x1112 -x1114 -x1115 -x1117 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1129 -x1131 -x1132 -x1134 -x1136 -x1137 -x1138 -x1140 -x1142 -x1144 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1202 -x1204 -x1206 -x1208 -x1209 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1257 -x1258 -x1259 -x1261 -x1263 -x1265 -x1266 -x1268 -x1269 -x1271 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1287 -x1289 -x1290 -x1292 -x1293 -x1294 -x1296 -x1298 -x1300 -x1302 x1303 -x1304 -x1306 -x1308 -x1310 -x1311 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 x1325 -x1326 -x1328 -x1330 -x1332 -x1334 -x1335 -x1336 -x1338 -x1339 -x1341 -x1342 -x1344 -x1345 -x1347 -x1349 -x1351 -x1352 -x1353 -x1354 -x1355 -x1357 -x1358 -x1359 -x1361 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1373 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 x1385 -x1386 -x1387 -x1389 -x1390 -x1391 -x1393 -x1394 -x1396 x1397 -x1398 -x1399 -x1401 -x1403 -x1404 -x1406 -x1407 -x1409 -x1411 x1412 -x1413 -x1415 -x1417 -x1418 -x1419 -x1421 -x1423 -x1424 -x1426 -x1427 -x1428 -x1430 -x1431 x1432 -x1433 -x1434 -x1436 -x1437 -x1439 x1440 x1441 -x1443 -x1444 -x1445 -x1447 x1448 -x1449 -x1450 -x1451 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 x1461 -x1462 x1463 x1464 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x130 -x133 -x135 -x137 -x139 -x141 -x143 -x145 -x1 -x147 -x149 -x151 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x2 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x199 -x201 -x203 -x3 -x205 -x207 -x209 -x211 -x213 -x216 -x4 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x5 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x6 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x7 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x373 -x375 -x377 -x379 -x381 -x8 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x9 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x10 -x427 -x429 -x431 -x434 -x436 -x438 -x11 -x440 -x442 -x444 -x447 -x449 -x451 -x12 -x453 -x456 -x458 -x460 -x462 -x464 -x13 -x466 -x469 -x14 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x15 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x16 -x515 -x517 -x519 -x521 -x524 -x526 -x17 -x528 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x18 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x19 -x623 -x625 -x627 -x629 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x20 -x652 -x654 -x656 -x658 -x660 -x663 -x21 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x687 -x689 -x691 -x22 -x693 -x695 -x697 -x699 -x701 -x704 -x23 -x706 -x709 -x711 -x713 -x24 -x717 -x719 -x721 -x25 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x26 -x753 -x755 -x757 -x759 -x761 -x763 -x27 -x765 -x767 -x769 -x771 -x773 -x776 -x28 -x778 -x780 -x29 -x782 -x784 -x786 -x788 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x30 -x810 -x813 -x815 -x817 -x819 -x821 -x31 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x32 -x837 -x840 -x33 -x842 -x844 -x846 -x849 -x851 -x853 -x34 -x856 -x35 -x859 -x861 -x36 -x864 -x37 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x885 -x887 -x889 -x891 -x893 -x38 -x895 -x897 -x900 -x902 -x904 -x906 -x39 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x40 -x938 -x940 -x942 -x944 -x947 -x949 -x41 -x951 -x953 -x955 -x957 -x960 -x962 -x42 -x965 -x967 -x43 -x969 -x971 -x973 -x975 -x978 -x980 -x44 -x983 -x985 x45 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1012 -x1014 -x46 -x1016 -x1018 -x1021 -x1023 -x1026 -x47 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1050 -x1052 -x1054 -x48 -x1057 -x1060 -x1062 -x1064 -x1066 -x49 -x1068 -x1070 -x1073 -x1076 -x1078 -x50 -x1081 -x51 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x52 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x53 -x1111 -x1113 -x54 -x1116 -x1119 -x1121 -x1123 -x1125 -x1127 -x55 -x1130 -x56 -x1133 -x1135 -x57 -x58 -x1139 -x1141 -x1143 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x59 -x1168 -x1171 -x1173 -x1175 -x1177 -x1179 -x60 -x1181 -x1183 -x1185 -x1188 -x1190 -x1192 -x61 -x1194 -x1196 -x1198 -x1200 -x1203 -x1205 -x62 -x1207 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x63 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x64 -x1253 -x1255 -x1260 -x1262 -x65 -x1264 -x1267 -x66 -x1270 -x1273 -x1275 -x1277 -x1279 -x67 -x1281 -x1283 -x1285 -x1288 -x1291 -x68 -x69 -x1295 -x1297 -x1299 -x1301 -x70 -x1305 -x71 -x1307 -x1309 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1327 -x1329 -x72 -x1331 -x1333 -x1337 -x1340 -x73 -x1343 -x74 -x1346 -x1348 -x1350 -x1356 -x1360 -x1363 -x1365 -x1367 -x75 -x1369 -x1371 -x1375 -x1377 -x1379 -x1381 -x1383 -x1388 -x76 -x1392 -x1395 -x1400 -x1402 -x77 -x1405 -x1408 -x1410 -x78 -x1414 -x79 -x1416 -x1420 -x1422 -x1425 -x80 -x1429 -x1435 -x1438 -x1442 -x81 -x1446 -x1452 -x82 -x83 184.44/184.57 c Total CPU time: 180.79 s
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680480-1277460245/watcher-2680480-1277460245 -o /tmp/evaluation-result-2680480-1277460245/solver-2680480-1277460245 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680480-1277460245.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/106 27404 /proc/meminfo: memFree=1854184/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=2796 CPUtime=0 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 327 0 0 0 0 0 0 0 18 0 1 0 87315516 2863104 245 1992294400 134512640 135752675 4286580464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 699 245 141 303 0 374 0 [startup+0.0846841 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27404 /proc/meminfo: memFree=1854184/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=3252 CPUtime=0.08 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 470 0 0 0 8 0 0 0 20 0 1 0 87315516 3330048 368 1992294400 134512640 135752675 4286580464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 813 368 145 303 0 508 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3252 [startup+0.100687 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27404 /proc/meminfo: memFree=1854184/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=3252 CPUtime=0.09 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 470 0 0 0 9 0 0 0 20 0 1 0 87315516 3330048 368 1992294400 134512640 135752675 4286580464 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 813 368 145 303 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3252 [startup+0.300716 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27404 /proc/meminfo: memFree=1854184/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=3380 CPUtime=0.29 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 497 0 0 0 29 0 0 0 20 0 1 0 87315516 3461120 395 1992294400 134512640 135752675 4286580464 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 845 395 145 303 0 540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3380 [startup+0.700774 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27404 /proc/meminfo: memFree=1854184/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=3908 CPUtime=0.69 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 650 0 0 0 68 1 0 0 21 0 1 0 87315516 4001792 548 1992294400 134512640 135752675 4286580464 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 977 548 145 303 0 672 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3908 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27405 /proc/meminfo: memFree=1852068/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=4964 CPUtime=1.49 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 909 0 0 0 146 3 0 0 23 0 1 0 87315516 5083136 807 1992294400 134512640 135752675 4286580464 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 1241 807 145 303 0 936 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4964 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27405 /proc/meminfo: memFree=1850456/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=7076 CPUtime=3.09 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 1439 0 0 0 301 8 0 0 25 0 1 0 87315516 7245824 1337 1992294400 134512640 135752675 4286580464 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 1769 1337 145 303 0 1464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7076 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27405 /proc/meminfo: memFree=1845620/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=11660 CPUtime=6.29 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 2584 0 0 0 613 16 0 0 25 0 1 0 87315516 11939840 2482 1992294400 134512640 135752675 4286580464 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 2915 2482 145 303 0 2610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11660 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27407 /proc/meminfo: memFree=1837064/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=19792 CPUtime=12.68 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 4606 0 0 0 1238 30 0 0 25 0 1 0 87315516 20267008 4504 1992294400 134512640 135752675 4286580464 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 4948 4504 145 303 0 4643 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19792 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27407 /proc/meminfo: memFree=1820944/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=35228 CPUtime=25.49 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 8470 0 0 0 2491 58 0 0 25 0 1 0 87315516 36073472 8368 1992294400 134512640 135752675 4286580464 18446744073709551615 134642665 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 8807 8368 145 303 0 8502 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35228 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27407 /proc/meminfo: memFree=1792176/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=64808 CPUtime=51.07 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 15864 0 0 0 5000 107 0 0 25 0 1 0 87315516 66363392 15762 1992294400 134512640 135752675 4286580464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 16202 15762 145 303 0 15897 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64808 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27409 /proc/meminfo: memFree=1727944/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=127824 CPUtime=102.27 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 31598 0 0 0 10022 205 0 0 25 0 1 0 87315516 130891776 31496 1992294400 134512640 135752675 4286580464 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 31956 31496 145 303 0 31651 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 127824 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1664456/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=191800 CPUtime=162.24 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 47569 0 0 0 15896 328 0 0 25 0 1 0 87315516 196403200 47467 1992294400 134512640 135752675 4286580464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 47950 47467 145 303 0 47645 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 191800 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1659744/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=196264 CPUtime=166.24 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 48684 0 0 0 16287 337 0 0 25 0 1 0 87315516 200974336 48582 1992294400 134512640 135752675 4286580464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 49066 48582 145 303 0 48761 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 196264 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1652304/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=203376 CPUtime=172.65 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 50464 0 0 0 16914 351 0 0 25 0 1 0 87315516 208257024 50362 1992294400 134512640 135752675 4286580464 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 50844 50362 145 303 0 50539 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 203376 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1645732/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=211128 CPUtime=179.04 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 52398 0 0 0 17540 364 0 0 25 0 1 0 87315516 216195072 52296 1992294400 134512640 135752675 4286580464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 52782 52296 145 303 0 52477 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 211128 [startup+182.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1642260/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=214412 CPUtime=182.24 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 53212 0 0 0 17854 370 0 0 25 0 1 0 87315516 219557888 53110 1992294400 134512640 135752675 4286580464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 53603 53110 145 303 0 53298 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 214412 [startup+183.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1639656/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=216540 CPUtime=183.84 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 53752 0 0 0 18011 373 0 0 25 0 1 0 87315516 221736960 53650 1992294400 134512640 135752675 4286580464 18446744073709551615 134713029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 54135 53650 145 303 0 53830 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 216540 [startup+184.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1639656/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=216540 CPUtime=184.24 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 53752 0 0 0 18051 373 0 0 25 0 1 0 87315516 221736960 53650 1992294400 134512640 135752675 4286580464 18446744073709551615 135200859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 54135 53650 145 303 0 53830 0 Current children cumulated CPU time (s) 184.24 Current children cumulated vsize (KiB) 216540 [startup+184.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27411 /proc/meminfo: memFree=1639656/2059040 swapFree=4140520/4192956 [pid=27404] ppid=27402 vsize=216376 CPUtime=184.44 /proc/27404/stat : 27404 (wbo1.4b) R 27402 27404 26951 0 -1 4202496 53761 0 0 0 18071 373 0 0 25 0 1 0 87315516 221569024 53628 1992294400 134512640 135752675 4286580464 18446744073709551615 135206169 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27404/statm: 54094 53628 146 303 0 53789 0 Current children cumulated CPU time (s) 184.44 Current children cumulated vsize (KiB) 216376 Child status: 0 Real time (s): 184.601 CPU time (s): 184.546 CPU user time (s): 180.79 CPU system time (s): 3.75643 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 216540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.79 system time used= 3.75643 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53762 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= 3 involuntary context switches= 2173 runsolver used 0.302953 second user time and 0.879866 second system time The end
Begin job on node052 at 2010-06-25 12:04:05 IDJOB=2680480 IDBENCH=25042 IDSOLVER=1190 FILE ID=node052/2680480-1277460245 PBS_JOBID= 11188116 Free space on /tmp= 62252 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680480-1277460245/watcher-2680480-1277460245 -o /tmp/evaluation-result-2680480-1277460245/solver-2680480-1277460245 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680480-1277460245.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 918383404e7b51b9b3205c84ccd5b510 RANDOM SEED=283579043 node052.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854712 kB Buffers: 16772 kB Cached: 91000 kB SwapCached: 5528 kB Active: 27504 kB Inactive: 93228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854712 kB SwapTotal: 4192956 kB SwapFree: 4140520 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 11712 kB Mapped: 11884 kB Slab: 61576 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181256 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62248 MiB End job on node052 at 2010-06-25 12:07:10