Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -9 | 182.042 | 182.086 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1789.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
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) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702616-1278572900.opb. 0.00/0.00 c Instance file HOME/instance-2702616-1278572900.opb 0.00/0.00 c File size is 254876 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3238 | 0.00/0.04 c | Number Clauses: 3138 | 0.00/0.04 c | Number Cardinality: 202 | 0.00/0.04 c | Number PB Constraints: 3038 | 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 3238 6378 24904 | 5000 0 nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 100 0.06/0.08 o 100 0.06/0.08 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 3238 6379 25004 | 5000 0 nan | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 99 0.06/0.09 o 99 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 1 | 3238 6380 25104 | 5000 1 101 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 98 0.06/0.09 o 98 0.06/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 3238 6381 25204 | 5000 4 173 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 97 0.06/0.09 o 97 0.06/0.09 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 3238 6382 25304 | 5000 4 173 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: 96 0.10/0.10 o 96 0.10/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 7 | 3238 6383 25404 | 5000 7 114 | 0.000 % | 0.10/0.14 c | 117 | 3238 6383 25404 | 5500 117 175 | 0.000 % | 0.10/0.15 c | 269 | 3238 6383 25404 | 6050 269 185 | 0.000 % | 0.10/0.18 c | 498 | 3238 6383 25404 | 6655 498 188 | 0.000 % | 0.19/0.24 c | 835 | 3238 6383 25404 | 7320 835 189 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 95 0.19/0.25 o 95 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 846 | 3238 6384 25504 | 5000 846 187 | 0.000 % | 0.19/0.27 c | 946 | 3238 6384 25504 | 5500 946 188 | 0.000 % | 0.19/0.29 c | 1096 | 3238 6384 25504 | 6050 1096 187 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 94 0.29/0.33 o 94 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 1282 | 3238 6385 25604 | 5000 1282 184 | 0.000 % | 0.29/0.35 c | 1382 | 3238 6385 25604 | 5500 1382 183 | 0.000 % | 0.29/0.37 c | 1532 | 3238 6385 25604 | 6050 1532 182 | 0.000 % | 0.39/0.41 c | 1757 | 3238 6385 25604 | 6655 1757 181 | 0.000 % | 0.39/0.47 c | 2094 | 3238 6385 25604 | 7320 2094 180 | 0.000 % | 0.50/0.56 c | 2601 | 3238 6385 25604 | 8052 2601 181 | 0.000 % | 0.69/0.71 c | 3360 | 3238 6385 25604 | 8857 3360 183 | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 93 0.69/0.73 o 93 0.69/0.73 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 3386 | 3238 6386 25704 | 5000 3386 182 | 0.000 % | 0.69/0.79 c | 3491 | 3238 6386 25704 | 5500 3491 182 | 0.000 % | 0.79/0.83 c | 3641 | 3238 6386 25704 | 6050 3641 182 | 0.000 % | 0.79/0.87 c | 3866 | 3238 6386 25704 | 6655 3866 182 | 0.000 % | 0.89/0.96 c | 4203 | 3238 6386 25704 | 7320 4203 182 | 0.000 % | 0.99/1.06 c | 4710 | 3238 6386 25704 | 8052 4710 183 | 0.000 % | 1.19/1.21 c | 5469 | 3238 6386 25704 | 8857 5469 184 | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 92 1.19/1.23 o 92 1.19/1.23 c Elapsed CPU time: 1.20882 s Remaining CPU time: 178.791 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 5531 | 3238 6387 25804 | 5000 5531 182 | 0.000 % | 1.30/1.37 c | 5631 | 3238 6387 25804 | 5500 2866 181 | 0.000 % | 1.30/1.39 c | 5781 | 3238 6387 25804 | 6050 3016 181 | 0.000 % | 1.39/1.43 c | 6006 | 3238 6387 25804 | 6655 3241 170 | 0.000 % | 1.60/1.63 c | 6359 | 3238 6387 25804 | 7320 3594 170 | 0.000 % | 1.89/1.91 c | 6870 | 3238 6387 25804 | 8052 4105 171 | 0.000 % | 1.99/2.04 c | 7629 | 3238 6387 25804 | 8857 4864 173 | 0.000 % | 2.20/2.21 c | 8769 | 3238 6387 25804 | 9743 6004 175 | 0.000 % | 2.49/2.53 c | 10479 | 3238 6387 25804 | 10717 7714 178 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 91 2.49/2.58 o 91 2.49/2.58 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 10696 | 3238 6388 25904 | 5000 7931 173 | 0.000 % | 2.59/2.66 c | 10809 | 3238 6388 25904 | 5500 4079 175 | 0.000 % | 2.69/2.71 c | 10966 | 3238 6388 25904 | 6050 4236 176 | 0.000 % | 2.69/2.75 c | 11193 | 3238 6388 25904 | 6655 4463 176 | 0.000 % | 2.79/2.81 c | 11530 | 3238 6388 25904 | 7320 4800 177 | 0.000 % | 2.89/2.91 c | 12036 | 3238 6388 25904 | 8052 5306 178 | 0.000 % | 2.99/3.08 c | 12796 | 3238 6388 25904 | 8857 6066 179 | 0.000 % | 3.19/3.28 c | 13935 | 3238 6388 25904 | 9743 7205 179 | 0.000 % | 3.59/3.66 c | 15644 | 3238 6388 25904 | 10717 8914 178 | 0.000 % | 4.30/4.36 c | 18206 | 3238 6388 25904 | 11789 11476 180 | 0.000 % | 5.50/5.59 c | 22051 | 3238 6388 25904 | 12968 7833 184 | 0.000 % | 7.39/7.41 c | 27817 | 3238 6388 25904 | 14265 13599 181 | 0.000 % | 9.69/9.73 c | 36467 | 3238 6388 25904 | 15692 13524 176 | 0.000 % | 14.19/14.29 c | 49443 | 3238 6388 25904 | 17261 17058 181 | 0.000 % | 20.79/20.90 c | 68907 | 3238 6388 25904 | 18987 16083 181 | 0.000 % | 33.48/33.55 c | 98099 | 3238 6388 25904 | 20886 10904 181 | 0.000 % | 52.48/52.58 c | 141888 | 3238 6388 25904 | 22974 14842 182 | 0.000 % | 84.37/84.49 c | 207576 | 3238 6388 25904 | 25272 19525 178 | 0.000 % | 142.97/143.08 c | 306107 | 3238 6388 25904 | 27799 13984 164 | 0.000 % | 181.55/181.66 c There are 0 assigned variables. 0 in cost function. 181.95/182.05 c core #1 181.95/182.05 c #cores: 1 181.95/182.05 c Final Weight: 91 181.95/182.05 o 91 181.95/182.05 s OPTIMUM FOUND 181.95/182.05 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 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -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 181.95/182.05 c Total CPU time: 180.39 s
OK -9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702616-1278572900/watcher-2702616-1278572900 -o /tmp/evaluation-result-2702616-1278572900/solver-2702616-1278572900 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702616-1278572900.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.06 0.40 3/106 29846 /proc/meminfo: memFree=1824008/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=3236 CPUtime=0 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 388 0 0 0 0 0 0 0 18 0 1 0 25496865 3313664 306 1992294400 134512640 135751879 4289194784 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 809 306 142 303 0 441 0 [startup+0.064331 s] /proc/loadavg: 0.00 0.06 0.40 3/106 29846 /proc/meminfo: memFree=1824008/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=4632 CPUtime=0.06 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 846 0 0 0 6 0 0 0 20 0 1 0 25496865 4743168 701 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 1158 701 145 303 0 853 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4632 [startup+0.101334 s] /proc/loadavg: 0.00 0.06 0.40 3/106 29846 /proc/meminfo: memFree=1824008/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=4752 CPUtime=0.1 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 875 0 0 0 10 0 0 0 20 0 1 0 25496865 4866048 730 1992294400 134512640 135751879 4289194784 18446744073709551615 134601206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 1188 730 146 303 0 883 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4752 [startup+0.301351 s] /proc/loadavg: 0.00 0.06 0.40 3/106 29846 /proc/meminfo: memFree=1824008/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=4884 CPUtime=0.29 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 927 0 0 0 29 0 0 0 20 0 1 0 25496865 5001216 782 1992294400 134512640 135751879 4289194784 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 1221 782 147 303 0 916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4884 [startup+0.701385 s] /proc/loadavg: 0.00 0.06 0.40 3/106 29846 /proc/meminfo: memFree=1824008/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=6704 CPUtime=0.69 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 1393 0 0 0 68 1 0 0 21 0 1 0 25496865 6864896 1248 1992294400 134512640 135751879 4289194784 18446744073709551615 134611173 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 1676 1248 147 303 0 1371 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6704 [startup+1.50146 s] /proc/loadavg: 0.00 0.06 0.40 2/107 29847 /proc/meminfo: memFree=1818544/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=9052 CPUtime=1.5 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 1963 0 0 0 146 4 0 0 23 0 1 0 25496865 9269248 1818 1992294400 134512640 135751879 4289194784 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 2263 1818 148 303 0 1958 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9052 [startup+3.1016 s] /proc/loadavg: 0.00 0.06 0.40 2/107 29847 /proc/meminfo: memFree=1815444/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=14616 CPUtime=3.09 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 3346 0 0 0 303 6 0 0 25 0 1 0 25496865 14966784 3201 1992294400 134512640 135751879 4289194784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 3654 3201 148 303 0 3349 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14616 [startup+6.30088 s] /proc/loadavg: 0.08 0.07 0.40 2/107 29847 /proc/meminfo: memFree=1804160/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=23880 CPUtime=6.29 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 5676 0 0 0 618 11 0 0 25 0 1 0 25496865 24453120 5531 1992294400 134512640 135751879 4289194784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 5970 5531 148 303 0 5665 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23880 [startup+12.7014 s] /proc/loadavg: 0.15 0.09 0.40 2/107 29847 /proc/meminfo: memFree=1786676/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=41256 CPUtime=12.69 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 10020 0 0 0 1249 20 0 0 25 0 1 0 25496865 42246144 9875 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 10314 9875 148 303 0 10009 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41256 [startup+25.5006 s] /proc/loadavg: 0.34 0.13 0.41 2/107 29847 /proc/meminfo: memFree=1755428/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=70984 CPUtime=25.49 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 17454 0 0 0 2515 34 0 0 25 0 1 0 25496865 72687616 17309 1992294400 134512640 135751879 4289194784 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 17779 17309 148 303 0 17474 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70984 [startup+51.1008 s] /proc/loadavg: 0.56 0.20 0.42 2/107 29847 /proc/meminfo: memFree=1708928/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=117400 CPUtime=51.08 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 29021 0 0 0 5048 60 0 0 25 0 1 0 25496865 120217600 28876 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 29350 28876 148 303 0 29045 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 117400 [startup+102.308 s] /proc/loadavg: 0.90 0.35 0.46 2/107 29849 /proc/meminfo: memFree=1627336/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=198532 CPUtime=102.28 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 49282 0 0 0 10129 99 0 0 25 0 1 0 25496865 203296768 49137 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 49633 49137 148 303 0 49328 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 198532 [startup+162.301 s] /proc/loadavg: 0.96 0.47 0.49 2/107 29851 /proc/meminfo: memFree=1548968/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=277300 CPUtime=162.25 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 68936 0 0 0 16080 145 0 0 25 0 1 0 25496865 283955200 68791 1992294400 134512640 135751879 4289194784 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 69325 68791 148 303 0 69020 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 277300 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.96 0.48 0.50 2/107 29851 /proc/meminfo: memFree=1545496/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=280840 CPUtime=166.25 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 69817 0 0 0 16477 148 0 0 25 0 1 0 25496865 287580160 69672 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 70210 69672 148 303 0 69905 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 280840 [startup+172.708 s] /proc/loadavg: 0.97 0.48 0.50 2/107 29851 /proc/meminfo: memFree=1535452/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=290332 CPUtime=172.66 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 72172 0 0 0 17113 153 0 0 25 0 1 0 25496865 297299968 72027 1992294400 134512640 135751879 4289194784 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 72583 72027 148 303 0 72278 0 Current children cumulated CPU time (s) 172.66 Current children cumulated vsize (KiB) 290332 [startup+175.902 s] /proc/loadavg: 0.97 0.49 0.50 2/107 29851 /proc/meminfo: memFree=1532104/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=293564 CPUtime=175.86 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 72988 0 0 0 17431 155 0 0 25 0 1 0 25496865 300609536 72843 1992294400 134512640 135751879 4289194784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 73391 72843 148 303 0 73086 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 293564 [startup+179.101 s] /proc/loadavg: 0.97 0.49 0.50 2/107 29851 /proc/meminfo: memFree=1529748/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=297436 CPUtime=179.05 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 73970 0 0 0 17747 158 0 0 25 0 1 0 25496865 304574464 73825 1992294400 134512640 135751879 4289194784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 74359 73825 148 303 0 74054 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 297436 [startup+180.701 s] /proc/loadavg: 0.97 0.50 0.50 2/107 29851 /proc/meminfo: memFree=1525780/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=300556 CPUtime=180.64 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 74756 0 0 0 17904 160 0 0 25 0 1 0 25496865 307769344 74611 1992294400 134512640 135751879 4289194784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 75139 74611 148 303 0 74834 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 300556 [startup+181.508 s] /proc/loadavg: 0.97 0.50 0.50 2/107 29851 /proc/meminfo: memFree=1523796/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=301848 CPUtime=181.46 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 75075 0 0 0 17984 162 0 0 25 0 1 0 25496865 309092352 74930 1992294400 134512640 135751879 4289194784 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 75462 74930 148 303 0 75157 0 Current children cumulated CPU time (s) 181.46 Current children cumulated vsize (KiB) 301848 [startup+181.901 s] /proc/loadavg: 0.97 0.50 0.50 2/107 29851 /proc/meminfo: memFree=1523796/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=303024 CPUtime=181.85 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 75347 0 0 0 18023 162 0 0 25 0 1 0 25496865 310296576 75202 1992294400 134512640 135751879 4289194784 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 75756 75202 149 303 0 75451 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 303024 [startup+182.001 s] /proc/loadavg: 0.97 0.50 0.50 2/107 29851 /proc/meminfo: memFree=1523796/2059040 swapFree=4134900/4192956 [pid=29846] ppid=29844 vsize=303024 CPUtime=181.95 /proc/29846/stat : 29846 (wbo1.4b) R 29844 29846 29811 0 -1 4202496 75347 0 0 0 18033 162 0 0 25 0 1 0 25496865 310296576 75202 1992294400 134512640 135751879 4289194784 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29846/statm: 75756 75202 149 303 0 75451 0 Current children cumulated CPU time (s) 181.95 Current children cumulated vsize (KiB) 303024 Child status: 0 Real time (s): 182.086 CPU time (s): 182.042 CPU user time (s): 180.39 CPU system time (s): 1.65275 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 303024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.39 system time used= 1.65275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75360 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2276 runsolver used 0.329949 second user time and 0.841872 second system time The end
Begin job on node050 at 2010-07-08 09:08:20 IDJOB=2702616 IDBENCH=48243 IDSOLVER=1161 FILE ID=node050/2702616-1278572900 PBS_JOBID= 11240076 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.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-2702616-1278572900/watcher-2702616-1278572900 -o /tmp/evaluation-result-2702616-1278572900/solver-2702616-1278572900 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702616-1278572900.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=2017092108 node050.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.248 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.49 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.248 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824784 kB Buffers: 34508 kB Cached: 108896 kB SwapCached: 12904 kB Active: 90004 kB Inactive: 69052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824784 kB SwapTotal: 4192956 kB SwapFree: 4134900 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 12576 kB Mapped: 8368 kB Slab: 53204 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182908 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-2702616-1278572900.opb Free space on /tmp at the end= 62476 MiB End job on node050 at 2010-07-08 09:11:22