Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -20 | 180.772 | 180.834 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -38 |
Best CPU time to get the best result obtained on this benchmark | 1789.9 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655896-1276497581.opb. 0.00/0.00 c Instance file HOME/instance-2655896-1276497581.opb 0.00/0.00 c File size is 1390935 bytes. 0.10/0.18 c Highest Coefficient sum: 3 0.10/0.18 c ============================[ Problem Statistics ]============================= 0.10/0.18 c | | 0.10/0.18 c | Parsing time: 0.18 s | 0.10/0.18 c | Number Variables: 945 | 0.10/0.18 c | Number Clauses: 58245 | 0.10/0.18 c | Number Cardinality: 0 | 0.10/0.18 c | Number PB Constraints: 0 | 0.30/0.32 c ============================[ Search Statistics ]============================== 0.30/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.30/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.30/0.32 c =============================================================================== 0.30/0.32 c | 0 | 945 58245 116490 | 19415 0 nan | 0.000 % | 0.30/0.34 c =============================================================================== 0.30/0.34 c New solution: 945 0.30/0.34 o 945 0.30/0.34 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s 0.30/0.34 c =============================================================================== 0.30/0.34 c | 0 | 945 58246 117435 | 19415 0 nan | 0.000 % | 0.30/0.34 c =============================================================================== 0.30/0.34 c New solution: 944 0.30/0.34 o 944 0.30/0.34 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s 0.30/0.34 c =============================================================================== 0.30/0.34 c | 0 | 945 58247 118380 | 19415 0 nan | 0.000 % | 0.30/0.35 c =============================================================================== 0.30/0.35 c New solution: 943 0.30/0.35 o 943 0.30/0.35 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s 0.30/0.35 c =============================================================================== 0.30/0.35 c | 11 | 945 58248 119325 | 19416 11 938 | 0.000 % | 0.30/0.39 c | 120 | 945 58248 119325 | 21357 120 937 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 942 0.39/0.41 o 942 0.39/0.41 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 130 | 945 58249 120270 | 19416 130 937 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 941 0.39/0.42 o 941 0.39/0.42 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 148 | 945 58250 121215 | 19416 148 937 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 940 0.39/0.44 o 940 0.39/0.44 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 198 | 945 58251 122160 | 19417 198 937 | 0.000 % | 0.39/0.47 c | 299 | 945 58251 122160 | 21358 299 937 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 939 0.39/0.49 o 939 0.39/0.49 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 352 | 945 58252 123105 | 19417 352 936 | 0.000 % | 0.49/0.52 c | 452 | 945 58252 123105 | 21359 452 936 | 0.000 % | 0.49/0.57 c | 605 | 945 58252 123105 | 23494 605 936 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 938 0.59/0.63 o 938 0.59/0.63 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 751 | 945 58253 124050 | 19417 751 936 | 0.000 % | 0.59/0.67 c | 853 | 945 58253 124050 | 21359 853 936 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 937 0.69/0.72 o 937 0.69/0.72 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 956 | 945 58254 124995 | 19418 956 935 | 0.000 % | 0.69/0.76 c | 1057 | 945 58254 124995 | 21359 1057 935 | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c New solution: 936 0.69/0.77 o 936 0.69/0.77 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s 0.69/0.77 c =============================================================================== 0.69/0.77 c | 1070 | 945 58255 125940 | 19418 1070 935 | 0.000 % | 0.79/0.82 c | 1170 | 945 58255 125940 | 21360 1170 935 | 0.000 % | 0.79/0.88 c | 1323 | 945 58255 125940 | 23496 1323 934 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 935 0.89/0.95 o 935 0.89/0.95 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 1518 | 945 58256 126885 | 19418 1518 934 | 0.000 % | 0.89/1.00 c | 1619 | 945 58256 126885 | 21360 1619 934 | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c New solution: 934 0.99/1.04 o 934 0.99/1.04 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s 0.99/1.04 c =============================================================================== 0.99/1.04 c | 1697 | 945 58257 127830 | 19419 1697 934 | 0.000 % | 0.99/1.08 c | 1797 | 945 58257 127830 | 21360 1797 933 | 0.000 % | 1.09/1.17 c | 1947 | 945 58257 127830 | 23496 1947 933 | 0.000 % | 1.29/1.32 c | 2175 | 945 58257 127830 | 25846 2175 933 | 0.000 % | 1.49/1.54 c | 2514 | 945 58257 127830 | 28431 2514 933 | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c New solution: 933 1.89/1.90 o 933 1.89/1.90 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s 1.89/1.90 c =============================================================================== 1.89/1.90 c | 2990 | 945 58258 128775 | 19419 2990 932 | 0.000 % | 1.89/1.97 c | 3090 | 945 58258 128775 | 21361 3090 932 | 0.000 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 932 1.89/1.99 o 932 1.89/1.99 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 3102 | 945 58259 129720 | 19419 3102 932 | 0.000 % | 1.99/2.05 c | 3202 | 945 58259 129720 | 21361 3202 932 | 0.000 % | 2.09/2.16 c | 3353 | 945 58259 129720 | 23497 3353 932 | 0.000 % | 2.30/2.33 c | 3579 | 945 58259 129720 | 25847 3579 932 | 0.000 % | 2.49/2.59 c | 3918 | 945 58259 129720 | 28432 3918 931 | 0.000 % | 3.09/3.10 c | 4424 | 945 58259 129720 | 31275 4424 931 | 0.000 % | 3.69/3.75 c | 5184 | 945 58259 129720 | 34403 5184 931 | 0.000 % | 4.69/4.79 c | 6325 | 945 58259 129720 | 37843 6325 930 | 0.000 % | 6.69/6.79 c | 8033 | 945 58259 129720 | 41627 8033 930 | 0.000 % | 9.19/9.28 c =============================================================================== 9.19/9.28 c New solution: 931 9.19/9.28 o 931 9.19/9.28 c Elapsed CPU time: 9.1806 s Remaining CPU time: 170.819 s 9.19/9.28 c =============================================================================== 9.19/9.28 c | 9696 | 945 58260 130665 | 19420 9696 930 | 0.000 % | 9.39/9.43 c | 9796 | 945 58260 130665 | 21362 9796 930 | 0.000 % | 9.49/9.56 c | 9948 | 945 58260 130665 | 23498 9948 930 | 0.000 % | 9.68/9.73 c | 10174 | 945 58260 130665 | 25848 10174 930 | 0.000 % | 9.68/9.77 c =============================================================================== 9.68/9.77 c New solution: 930 9.68/9.77 o 930 9.68/9.77 c Elapsed CPU time: 9.66953 s Remaining CPU time: 170.33 s 9.68/9.77 c =============================================================================== 9.68/9.77 c | 10221 | 945 58261 131610 | 19420 10221 930 | 0.000 % | 9.79/9.85 c | 10324 | 945 58261 131610 | 21362 10324 930 | 0.000 % | 10.00/10.05 c | 10476 | 945 58261 131610 | 23498 10476 930 | 0.000 % | 10.09/10.15 c =============================================================================== 10.09/10.15 c New solution: 929 10.09/10.15 o 929 10.09/10.15 c Elapsed CPU time: 10.0395 s Remaining CPU time: 169.961 s 10.09/10.15 c =============================================================================== 10.09/10.15 c | 10556 | 945 58262 132555 | 19420 10556 930 | 0.000 % | 10.18/10.24 c | 10656 | 945 58262 132555 | 21362 10656 930 | 0.000 % | 10.39/10.48 c | 10808 | 945 58262 132555 | 23499 10808 930 | 0.000 % | 10.69/10.72 c | 11034 | 945 58262 132555 | 25848 11034 929 | 0.000 % | 10.99/11.07 c | 11374 | 945 58262 132555 | 28433 11374 929 | 0.000 % | 11.98/12.02 c | 11880 | 945 58262 132555 | 31277 11880 929 | 0.000 % | 12.59/12.65 c =============================================================================== 12.59/12.65 c New solution: 928 12.59/12.65 o 928 12.59/12.65 c Elapsed CPU time: 12.5221 s Remaining CPU time: 167.478 s 12.59/12.65 c =============================================================================== 12.59/12.65 c | 12240 | 945 58263 133500 | 19421 12240 929 | 0.000 % | 12.89/12.91 c | 12341 | 945 58263 133500 | 21363 12341 929 | 0.000 % | 13.19/13.30 c | 12491 | 945 58263 133500 | 23499 12491 929 | 0.000 % | 13.78/13.82 c | 12717 | 945 58263 133500 | 25849 12717 929 | 0.000 % | 14.29/14.36 c | 13055 | 945 58263 133500 | 28434 13055 929 | 0.000 % | 15.39/15.44 c | 13561 | 945 58263 133500 | 31277 13561 929 | 0.000 % | 17.39/17.48 c | 14321 | 945 58263 133500 | 34405 14321 929 | 0.000 % | 21.48/21.56 c | 15460 | 945 58263 133500 | 37846 15460 928 | 0.000 % | 27.18/27.20 c | 17171 | 945 58263 133500 | 41630 17171 928 | 0.000 % | 38.78/38.80 c | 19733 | 945 58263 133500 | 45793 19733 928 | 0.000 % | 44.28/44.38 c =============================================================================== 44.28/44.38 c New solution: 927 44.28/44.38 o 927 44.28/44.38 c Elapsed CPU time: 44.1333 s Remaining CPU time: 135.867 s 44.28/44.38 c =============================================================================== 44.28/44.38 c | 21257 | 945 58264 134445 | 19421 21257 927 | 0.000 % | 44.78/44.86 c | 21358 | 945 58264 134445 | 21363 10722 925 | 0.000 % | 44.97/45.05 c | 21508 | 945 58264 134445 | 23499 10872 925 | 0.000 % | 45.37/45.46 c | 21735 | 945 58264 134445 | 25849 11099 925 | 0.000 % | 45.88/45.98 c | 22075 | 945 58264 134445 | 28434 11439 925 | 0.000 % | 46.97/47.09 c | 22582 | 945 58264 134445 | 31278 11946 925 | 0.000 % | 48.67/48.74 c | 23342 | 945 58264 134445 | 34406 12706 925 | 0.000 % | 51.27/51.32 c | 24483 | 945 58264 134445 | 37846 13847 925 | 0.000 % | 51.68/51.78 c =============================================================================== 51.68/51.78 c New solution: 926 51.68/51.78 o 926 51.68/51.78 c Elapsed CPU time: 51.4902 s Remaining CPU time: 128.51 s 51.68/51.78 c =============================================================================== 51.68/51.78 c | 24726 | 945 58265 135390 | 19421 14090 925 | 0.000 % | 51.87/51.96 c | 24827 | 945 58265 135390 | 21363 14191 925 | 0.000 % | 52.17/52.22 c | 24977 | 945 58265 135390 | 23500 14341 925 | 0.000 % | 52.68/52.77 c | 25203 | 945 58265 135390 | 25850 14567 925 | 0.000 % | 53.47/53.51 c | 25541 | 945 58265 135390 | 28435 14905 925 | 0.000 % | 54.67/54.75 c | 26047 | 945 58265 135390 | 31278 15411 925 | 0.000 % | 55.07/55.15 c =============================================================================== 55.07/55.15 c New solution: 925 55.07/55.15 o 925 55.07/55.15 c Elapsed CPU time: 54.8407 s Remaining CPU time: 125.159 s 55.07/55.15 c =============================================================================== 55.07/55.15 c | 26181 | 945 58266 136335 | 19422 15545 925 | 0.000 % | 55.37/55.41 c | 26284 | 945 58266 136335 | 21364 15648 925 | 0.000 % | 55.77/55.83 c | 26435 | 945 58266 136335 | 23500 15799 925 | 0.000 % | 56.27/56.38 c | 26661 | 945 58266 136335 | 25850 16025 924 | 0.000 % | 56.97/57.06 c | 26999 | 945 58266 136335 | 28435 16363 924 | 0.000 % | 57.87/57.92 c | 27506 | 945 58266 136335 | 31279 16870 924 | 0.000 % | 59.57/59.67 c | 28265 | 945 58266 136335 | 34407 17629 924 | 0.000 % | 62.27/62.33 c | 29404 | 945 58266 136335 | 37847 18768 924 | 0.000 % | 66.87/66.90 c | 31113 | 945 58266 136335 | 41632 20477 924 | 0.000 % | 75.26/75.39 c | 33675 | 945 58266 136335 | 45796 23039 924 | 0.000 % | 90.36/90.47 c | 37521 | 945 58266 136335 | 50375 26885 923 | 0.000 % | 105.56/105.67 c | 43287 | 945 58266 136335 | 55413 32651 923 | 0.000 % | 151.14/151.21 c | 51939 | 945 58266 136335 | 60954 41303 923 | 0.000 % | 180.63/180.70 c There are 0 assigned variables. 0 in cost function. 180.73/180.81 c core #1 180.73/180.81 c #cores: 1 180.73/180.81 c Final Weight: 925 180.73/180.81 o 925 180.73/180.81 s OPTIMUM FOUND 180.73/180.81 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.73/180.81 c Total CPU time: 180.104 s
OK -20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655896-1276497581/watcher-2655896-1276497581 -o /tmp/evaluation-result-2655896-1276497581/solver-2655896-1276497581 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655896-1276497581.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 29973 /proc/meminfo: memFree=1778276/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=4068 CPUtime=0 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23414416 4165632 237 1992294400 134512640 135751879 4287412752 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 1017 237 145 303 0 372 0 [startup+0.101776 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29973 /proc/meminfo: memFree=1778276/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=5412 CPUtime=0.1 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 826 0 0 0 10 0 0 0 20 0 1 0 23414416 5541888 745 1992294400 134512640 135751879 4287412752 18446744073709551615 135196454 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 1353 747 314 303 0 708 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5412 [startup+0.201795 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29973 /proc/meminfo: memFree=1778276/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=7328 CPUtime=0.19 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 1829 0 0 0 19 0 0 0 20 0 1 0 23414416 7503872 1376 1992294400 134512640 135751879 4287412752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 1832 1378 143 303 0 1527 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7328 [startup+0.301813 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29973 /proc/meminfo: memFree=1778276/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=9308 CPUtime=0.3 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 2332 0 0 0 29 1 0 0 20 0 1 0 23414416 9531392 1879 1992294400 134512640 135751879 4287412752 18446744073709551615 135211091 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 2327 1879 144 303 0 2022 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9308 [startup+0.700889 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29973 /proc/meminfo: memFree=1778276/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=9212 CPUtime=0.69 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 3222 0 0 0 67 2 0 0 20 0 1 0 23414416 9433088 1868 1992294400 134512640 135751879 4287412752 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 2303 1868 147 303 0 1998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9212 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1767480/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=15100 CPUtime=1.49 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 4680 0 0 0 145 4 0 0 22 0 1 0 23414416 15462400 3326 1992294400 134512640 135751879 4287412752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 3775 3326 147 303 0 3470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15100 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1761280/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=22656 CPUtime=3.09 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 6587 0 0 0 304 5 0 0 25 0 1 0 23414416 23199744 5233 1992294400 134512640 135751879 4287412752 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 5664 5233 147 303 0 5359 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22656 [startup+6.30093 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1747516/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=35064 CPUtime=6.29 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 9681 0 0 0 621 8 0 0 25 0 1 0 23414416 35905536 8327 1992294400 134512640 135751879 4287412752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 8766 8327 147 303 0 8461 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35064 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1728916/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=52500 CPUtime=12.69 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 14030 0 0 0 1257 12 0 0 25 0 1 0 23414416 53760000 12676 1992294400 134512640 135751879 4287412752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 13125 12676 147 303 0 12820 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52500 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1710688/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=69536 CPUtime=25.49 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 18271 0 0 0 2531 18 0 0 25 0 1 0 23414416 71204864 16917 1992294400 134512640 135751879 4287412752 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 17384 16917 147 303 0 17079 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69536 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29974 /proc/meminfo: memFree=1682540/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=98440 CPUtime=51.07 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 25488 0 0 0 5081 26 0 0 25 0 1 0 23414416 100802560 24134 1992294400 134512640 135751879 4287412752 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 24610 24134 148 303 0 24305 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98440 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29976 /proc/meminfo: memFree=1614960/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=164880 CPUtime=102.27 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 42079 0 0 0 10180 47 0 0 25 0 1 0 23414416 168837120 40725 1992294400 134512640 135751879 4287412752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 41220 40725 148 303 0 40915 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 164880 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1573420/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=206744 CPUtime=162.23 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 52509 0 0 0 16163 60 0 0 25 0 1 0 23414416 211705856 51155 1992294400 134512640 135751879 4287412752 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 51686 51155 148 303 0 51381 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 206744 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1572056/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=207896 CPUtime=166.33 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 52780 0 0 0 16573 60 0 0 25 0 1 0 23414416 212885504 51426 1992294400 134512640 135751879 4287412752 18446744073709551615 134606401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 51974 51426 148 303 0 51669 0 Current children cumulated CPU time (s) 166.33 Current children cumulated vsize (KiB) 207896 [startup+172.809 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1569824/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=210088 CPUtime=172.74 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 53331 0 0 0 17213 61 0 0 25 0 1 0 23414416 215130112 51977 1992294400 134512640 135751879 4287412752 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 52522 51977 148 303 0 52217 0 Current children cumulated CPU time (s) 172.74 Current children cumulated vsize (KiB) 210088 [startup+176.002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1566724/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=213044 CPUtime=175.94 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 54083 0 0 0 17532 62 0 0 25 0 1 0 23414416 218157056 52729 1992294400 134512640 135751879 4287412752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 53261 52729 148 303 0 52956 0 Current children cumulated CPU time (s) 175.94 Current children cumulated vsize (KiB) 213044 [startup+179.201 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1560152/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=220612 CPUtime=179.13 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 55941 0 0 0 17850 63 0 0 25 0 1 0 23414416 225906688 54587 1992294400 134512640 135751879 4287412752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 55153 54587 148 303 0 54848 0 Current children cumulated CPU time (s) 179.13 Current children cumulated vsize (KiB) 220612 [startup+180.001 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1559284/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=221672 CPUtime=179.93 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 56213 0 0 0 17930 63 0 0 25 0 1 0 23414416 226992128 54859 1992294400 134512640 135751879 4287412752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 55418 54859 148 303 0 55113 0 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (KiB) 221672 [startup+180.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1557548/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=222312 CPUtime=180.34 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 56378 0 0 0 17970 64 0 0 25 0 1 0 23414416 227647488 55024 1992294400 134512640 135751879 4287412752 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 55578 55025 148 303 0 55273 0 Current children cumulated CPU time (s) 180.34 Current children cumulated vsize (KiB) 222312 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29978 /proc/meminfo: memFree=1557548/2059040 swapFree=4142408/4192956 [pid=29973] ppid=29971 vsize=225192 CPUtime=180.73 /proc/29973/stat : 29973 (wbo1.4b) R 29971 29973 29573 0 -1 4202496 57072 0 0 0 18009 64 0 0 25 0 1 0 23414416 230596608 55718 1992294400 134512640 135751879 4287412752 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29973/statm: 56298 55718 149 303 0 55993 0 Current children cumulated CPU time (s) 180.73 Current children cumulated vsize (KiB) 225192 Child status: 0 Real time (s): 180.834 CPU time (s): 180.772 CPU user time (s): 180.104 CPU system time (s): 0.667898 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 225192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.104 system time used= 0.667898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57073 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= 6 involuntary context switches= 655 runsolver used 0.289955 second user time and 0.875866 second system time The end
Begin job on node019 at 2010-06-14 08:39:41 IDJOB=2655896 IDBENCH=2250 IDSOLVER=1161 FILE ID=node019/2655896-1276497581 PBS_JOBID= 11173398 Free space on /tmp= 62380 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655896-1276497581/watcher-2655896-1276497581 -o /tmp/evaluation-result-2655896-1276497581/solver-2655896-1276497581 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655896-1276497581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED=49754326 node019.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.264 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.264 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: 1778680 kB Buffers: 81664 kB Cached: 106956 kB SwapCached: 4636 kB Active: 102248 kB Inactive: 99740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778680 kB SwapTotal: 4192956 kB SwapFree: 4142408 kB Dirty: 4020 kB Writeback: 0 kB AnonPages: 11644 kB Mapped: 13616 kB Slab: 56508 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180772 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= 62376 MiB End job on node019 at 2010-06-14 08:42:42