Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -11 | 182.23 | 182.273 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
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 | -28 |
Best CPU time to get the best result obtained on this benchmark | 1789.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702678-1278574678.opb. 0.00/0.00 c Instance file HOME/instance-2702678-1278574678.opb 0.00/0.00 c File size is 107458 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1458 | 0.00/0.01 c | Number Clauses: 1358 | 0.00/0.01 c | Number Cardinality: 202 | 0.00/0.01 c | Number PB Constraints: 1258 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1458 2818 10664 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 100 0.00/0.03 o 100 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1458 2819 10764 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 99 0.00/0.03 o 99 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1 | 1458 2820 10864 | 5000 1 101 | 0.000 % | 0.03/0.03 c =============================================================================== 0.03/0.03 c New solution: 98 0.03/0.03 o 98 0.03/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.03/0.03 c =============================================================================== 0.03/0.03 c | 1 | 1458 2821 10964 | 5000 1 101 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: 97 0.03/0.04 o 97 0.03/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 10 | 1458 2822 11064 | 5000 10 185 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: 96 0.03/0.04 o 96 0.03/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 10 | 1458 2823 11164 | 5000 10 185 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: 95 0.03/0.04 o 95 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 12 | 1458 2824 11264 | 5000 12 155 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: 94 0.03/0.04 o 94 0.03/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 14 | 1458 2825 11364 | 5000 14 140 | 0.000 % | 0.03/0.05 c | 119 | 1458 2825 11364 | 5500 119 183 | 0.000 % | 0.03/0.07 c | 269 | 1458 2825 11364 | 6050 269 180 | 0.001 % | 0.03/0.09 c | 494 | 1458 2825 11364 | 6655 494 185 | 0.001 % | 0.10/0.13 c | 831 | 1458 2825 11364 | 7320 831 187 | 0.001 % | 0.10/0.19 c | 1339 | 1458 2825 11364 | 8052 1339 188 | 0.001 % | 0.29/0.30 c | 2098 | 1458 2825 11364 | 8857 2098 189 | 0.001 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 93 0.29/0.31 o 93 0.29/0.31 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 2101 | 1458 2826 11464 | 5000 2101 189 | 0.001 % | 0.29/0.34 c | 2202 | 1458 2826 11464 | 5500 2202 189 | 0.001 % | 0.29/0.36 c | 2352 | 1458 2826 11464 | 6050 2352 187 | 0.001 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 92 0.29/0.36 o 92 0.29/0.36 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 2353 | 1458 2827 11564 | 5000 2353 187 | 0.001 % | 0.29/0.38 c | 2455 | 1458 2827 11564 | 5500 2455 187 | 0.001 % | 0.39/0.41 c | 2605 | 1458 2827 11564 | 6050 2605 187 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 91 0.39/0.45 o 91 0.39/0.45 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 2770 | 1458 2828 11664 | 5000 2770 187 | 0.000 % | 0.39/0.48 c | 2870 | 1458 2828 11664 | 5500 2870 187 | 0.001 % | 0.49/0.50 c | 3020 | 1458 2828 11664 | 6050 3020 187 | 0.001 % | 0.49/0.54 c | 3246 | 1458 2828 11664 | 6655 3246 186 | 0.001 % | 0.59/0.60 c | 3584 | 1458 2828 11664 | 7320 3584 186 | 0.000 % | 0.59/0.69 c | 4090 | 1458 2828 11664 | 8052 4090 185 | 0.001 % | 0.79/0.81 c | 4850 | 1458 2828 11664 | 8857 4850 184 | 0.001 % | 0.99/1.02 c | 5990 | 1458 2828 11664 | 9743 5990 183 | 0.001 % | 1.29/1.33 c | 7698 | 1458 2828 11664 | 10717 7698 181 | 0.001 % | 1.79/1.84 c | 10261 | 1458 2828 11664 | 11789 10261 182 | 0.001 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: 90 1.79/1.86 o 90 1.79/1.86 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 10289 | 1458 2829 11764 | 5000 10289 182 | 0.001 % | 1.89/1.91 c | 10390 | 1458 2829 11764 | 5500 2674 184 | 0.001 % | 1.89/1.93 c | 10541 | 1458 2829 11764 | 6050 2825 184 | 0.001 % | 1.89/1.98 c | 10766 | 1458 2829 11764 | 6655 3050 184 | 0.001 % | 1.99/2.03 c | 11103 | 1458 2829 11764 | 7320 3387 184 | 0.001 % | 2.09/2.10 c | 11610 | 1458 2829 11764 | 8052 3894 184 | 0.001 % | 2.09/2.11 c =============================================================================== 2.09/2.11 c New solution: 89 2.09/2.11 o 89 2.09/2.11 c Elapsed CPU time: 2.06369 s Remaining CPU time: 177.936 s 2.09/2.11 c =============================================================================== 2.09/2.11 c | 11627 | 1458 2830 11864 | 5000 3911 183 | 0.001 % | 2.09/2.12 c | 11727 | 1458 2830 11864 | 5500 4011 183 | 0.001 % | 2.09/2.15 c | 11877 | 1458 2830 11864 | 6050 4161 183 | 0.001 % | 2.09/2.18 c | 12102 | 1458 2830 11864 | 6655 4386 183 | 0.001 % | 2.19/2.23 c | 12439 | 1458 2830 11864 | 7320 4723 182 | 0.001 % | 2.19/2.29 c | 12946 | 1458 2830 11864 | 8052 5230 182 | 0.001 % | 2.39/2.40 c | 13705 | 1458 2830 11864 | 8857 5989 180 | 0.001 % | 2.49/2.57 c | 14845 | 1458 2830 11864 | 9743 7129 179 | 0.001 % | 2.79/2.88 c | 16553 | 1458 2830 11864 | 10717 8837 179 | 0.001 % | 3.30/3.32 c | 19115 | 1458 2830 11864 | 11789 11399 179 | 0.001 % | 3.89/3.99 c | 22959 | 1458 2830 11864 | 12968 8642 179 | 0.001 % | 5.40/5.43 c | 28725 | 1458 2830 11864 | 14265 7212 177 | 0.001 % | 7.39/7.46 c | 37374 | 1458 2830 11864 | 15692 8017 177 | 0.001 % | 11.08/11.16 c | 50349 | 1458 2830 11864 | 17261 12433 179 | 0.001 % | 17.49/17.56 c | 69811 | 1458 2830 11864 | 18987 13212 178 | 0.001 % | 27.08/27.17 c | 99007 | 1458 2830 11864 | 20886 11787 182 | 0.001 % | 44.09/44.19 c | 142797 | 1458 2830 11864 | 22974 20791 182 | 0.001 % | 72.97/73.09 c | 208484 | 1458 2830 11864 | 25272 18795 180 | 0.001 % | 120.76/120.81 c | 307010 | 1458 2830 11864 | 27799 23992 170 | 0.001 % | 181.65/181.79 c There are 0 assigned variables. 0 in cost function. 182.15/182.23 c core #1 182.15/182.23 c #cores: 1 182.15/182.23 c Final Weight: 89 182.15/182.23 o 89 182.15/182.23 s OPTIMUM FOUND 182.15/182.23 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 -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 -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 182.15/182.23 c Total CPU time: 180.445 s
OK -11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702678-1278574678/watcher-2702678-1278574678 -o /tmp/evaluation-result-2702678-1278574678/solver-2702678-1278574678 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702678-1278574678.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.91 0.95 0.83 3/106 32274 /proc/meminfo: memFree=1852776/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=2956 CPUtime=0 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 25674252 3026944 264 1992294400 134512640 135751879 4290551296 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 739 264 145 303 0 407 0 [startup+0.0381489 s] /proc/loadavg: 0.91 0.95 0.83 3/106 32274 /proc/meminfo: memFree=1852776/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=3376 CPUtime=0.03 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 532 0 0 0 3 0 0 0 20 0 1 0 25674252 3457024 423 1992294400 134512640 135751879 4290551296 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 844 423 146 303 0 539 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3376 [startup+0.101135 s] /proc/loadavg: 0.91 0.95 0.83 3/106 32274 /proc/meminfo: memFree=1852776/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=3504 CPUtime=0.1 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 564 0 0 0 9 1 0 0 20 0 1 0 25674252 3588096 455 1992294400 134512640 135751879 4290551296 18446744073709551615 135228439 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 876 455 147 303 0 571 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3504 [startup+0.301151 s] /proc/loadavg: 0.91 0.95 0.83 3/106 32274 /proc/meminfo: memFree=1852776/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=4936 CPUtime=0.29 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 894 0 0 0 28 1 0 0 20 0 1 0 25674252 5054464 785 1992294400 134512640 135751879 4290551296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 1234 785 147 303 0 929 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4936 [startup+0.701186 s] /proc/loadavg: 0.91 0.95 0.83 3/106 32274 /proc/meminfo: memFree=1852776/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=6748 CPUtime=0.69 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 1369 0 0 0 67 2 0 0 20 0 1 0 25674252 6909952 1260 1992294400 134512640 135751879 4290551296 18446744073709551615 134616808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 1687 1260 147 303 0 1382 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6748 [startup+1.50126 s] /proc/loadavg: 0.91 0.95 0.83 2/107 32275 /proc/meminfo: memFree=1847312/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=10384 CPUtime=1.49 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 2280 0 0 0 146 3 0 0 22 0 1 0 25674252 10633216 2171 1992294400 134512640 135751879 4290551296 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 2596 2171 147 303 0 2291 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10384 [startup+3.10039 s] /proc/loadavg: 0.91 0.95 0.83 2/107 32275 /proc/meminfo: memFree=1842228/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=17892 CPUtime=3.09 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 4141 0 0 0 303 6 0 0 25 0 1 0 25674252 18321408 4032 1992294400 134512640 135751879 4290551296 18446744073709551615 134611238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 4473 4033 148 303 0 4168 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17892 [startup+6.30067 s] /proc/loadavg: 0.92 0.95 0.84 2/107 32275 /proc/meminfo: memFree=1828340/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=30484 CPUtime=6.29 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 7286 0 0 0 618 11 0 0 25 0 1 0 25674252 31215616 7177 1992294400 134512640 135751879 4290551296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 7621 7177 148 303 0 7316 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30484 [startup+12.7012 s] /proc/loadavg: 0.93 0.95 0.84 2/107 32275 /proc/meminfo: memFree=1807756/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=48748 CPUtime=12.69 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 11869 0 0 0 1250 19 0 0 25 0 1 0 25674252 49917952 11760 1992294400 134512640 135751879 4290551296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 12187 11760 148 303 0 11882 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48748 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.84 2/107 32277 /proc/meminfo: memFree=1775392/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=80188 CPUtime=25.48 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 19704 0 0 0 2515 33 0 0 25 0 1 0 25674252 82112512 19595 1992294400 134512640 135751879 4290551296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 20047 19595 148 303 0 19742 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80188 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.84 2/107 32277 /proc/meminfo: memFree=1722940/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=132932 CPUtime=51.08 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 32869 0 0 0 5049 59 0 0 25 0 1 0 25674252 136122368 32760 1992294400 134512640 135751879 4290551296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 33233 32760 148 303 0 32928 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 132932 [startup+102.309 s] /proc/loadavg: 0.98 0.96 0.84 2/107 32279 /proc/meminfo: memFree=1633784/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=221060 CPUtime=102.27 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 54883 0 0 0 10120 107 0 0 25 0 1 0 25674252 226365440 54774 1992294400 134512640 135751879 4290551296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 55265 54774 148 303 0 54960 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 221060 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32279 /proc/meminfo: memFree=1536692/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=318708 CPUtime=162.25 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 79291 0 0 0 16068 157 0 0 25 0 1 0 25674252 326356992 79182 1992294400 134512640 135751879 4290551296 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 79677 79182 148 303 0 79372 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 318708 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32279 /proc/meminfo: memFree=1530244/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=324648 CPUtime=166.25 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 80765 0 0 0 16464 161 0 0 25 0 1 0 25674252 332439552 80656 1992294400 134512640 135751879 4290551296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 81162 80656 148 303 0 80857 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 324648 [startup+172.709 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1518340/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=336304 CPUtime=172.66 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 83688 0 0 0 17100 166 0 0 25 0 1 0 25674252 344375296 83579 1992294400 134512640 135751879 4290551296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 84076 83579 148 303 0 83771 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 336304 [startup+179.102 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1510156/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=346884 CPUtime=179.05 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 86306 0 0 0 17733 172 0 0 25 0 1 0 25674252 355209216 86197 1992294400 134512640 135751879 4290551296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 86721 86197 148 303 0 86416 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 346884 [startup+180.702 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1505196/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=349856 CPUtime=180.65 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 87059 0 0 0 17891 174 0 0 25 0 1 0 25674252 358252544 86950 1992294400 134512640 135751879 4290551296 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 87464 86950 148 303 0 87159 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 349856 [startup+181.509 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1503584/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=350892 CPUtime=181.46 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 87329 0 0 0 17972 174 0 0 25 0 1 0 25674252 359313408 87220 1992294400 134512640 135751879 4290551296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 87723 87220 148 303 0 87418 0 Current children cumulated CPU time (s) 181.46 Current children cumulated vsize (KiB) 350892 [startup+181.902 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1503584/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=351684 CPUtime=181.85 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 87510 0 0 0 18011 174 0 0 25 0 1 0 25674252 360124416 87401 1992294400 134512640 135751879 4290551296 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 87921 87401 149 303 0 87616 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 351684 [startup+182.102 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1503584/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=351684 CPUtime=182.05 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 87510 0 0 0 18031 174 0 0 25 0 1 0 25674252 360124416 87401 1992294400 134512640 135751879 4290551296 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 87921 87401 149 303 0 87616 0 Current children cumulated CPU time (s) 182.05 Current children cumulated vsize (KiB) 351684 [startup+182.202 s] /proc/loadavg: 0.99 0.97 0.85 2/107 32281 /proc/meminfo: memFree=1503584/2059040 swapFree=4139820/4192956 [pid=32274] ppid=32272 vsize=351684 CPUtime=182.15 /proc/32274/stat : 32274 (wbo1.4b) R 32272 32274 32113 0 -1 4202496 87510 0 0 0 18041 174 0 0 25 0 1 0 25674252 360124416 87401 1992294400 134512640 135751879 4290551296 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32274/statm: 87921 87401 149 303 0 87616 0 Current children cumulated CPU time (s) 182.15 Current children cumulated vsize (KiB) 351684 Child status: 0 Real time (s): 182.273 CPU time (s): 182.23 CPU user time (s): 180.445 CPU system time (s): 1.78573 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 351684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.445 system time used= 1.78573 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87517 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= 496 runsolver used 0.285956 second user time and 0.881865 second system time The end
Begin job on node055 at 2010-07-08 09:37:58 IDJOB=2702678 IDBENCH=48274 IDSOLVER=1161 FILE ID=node055/2702678-1278574678 PBS_JOBID= 11240072 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702678-1278574678/watcher-2702678-1278574678 -o /tmp/evaluation-result-2702678-1278574678/solver-2702678-1278574678 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702678-1278574678.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED=1670020678 node055.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.224 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.44 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.224 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853924 kB Buffers: 21916 kB Cached: 95956 kB SwapCached: 6292 kB Active: 24528 kB Inactive: 106780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853924 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11864 kB Mapped: 12020 kB Slab: 51904 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178880 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702678-1278574678.opb Free space on /tmp at the end= 62580 MiB End job on node055 at 2010-07-08 09:41:00