Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | -70 | 107.094 | 107.118 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb |
MD5SUM | d2e31bd1942364d9129e439b3449a3af |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -70 |
Best CPU time to get the best result obtained on this benchmark | 9.55055 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 29788 |
Number of constraints which are clauses | 29788 |
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 | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 326 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 326 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680381-1277460377.opb. 0.00/0.00 c Instance file HOME/instance-2680381-1277460377.opb 0.00/0.00 c File size is 985937 bytes. 0.10/0.16 c Highest Coefficient sum: 4 0.10/0.16 c ============================[ Problem Statistics ]============================= 0.10/0.16 c | | 0.10/0.16 c | Parsing time: 0.16 s | 0.10/0.16 c | Number Variables: 2025 | 0.10/0.16 c | Number Clauses: 29788 | 0.10/0.16 c | Number Cardinality: 0 | 0.10/0.16 c | Number PB Constraints: 0 | 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 2001 29812 88194 | 9929 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 0 0.19/0.22 o 0 0.19/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 2001 29813 88329 | 9937 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -4 0.19/0.22 o -4 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 2001 29814 88464 | 9938 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -5 0.19/0.23 o -5 0.19/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 2001 29815 88599 | 9938 1 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -8 0.19/0.23 o -8 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 2001 29816 88734 | 9938 1 134 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -9 0.19/0.24 o -9 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1 | 2001 29817 88869 | 9939 1 134 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -10 0.19/0.25 o -10 0.19/0.25 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1 | 2001 29818 89004 | 9939 1 134 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -12 0.19/0.25 o -12 0.19/0.25 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1 | 2001 29819 89139 | 9939 1 134 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -13 0.19/0.26 o -13 0.19/0.26 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1 | 2001 29820 89274 | 9940 1 134 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -14 0.19/0.27 o -14 0.19/0.27 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 4 | 2001 29821 89409 | 9940 4 130 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -15 0.19/0.27 o -15 0.19/0.27 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 4 | 2001 29822 89544 | 9940 4 130 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -17 0.19/0.28 o -17 0.19/0.28 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 5 | 2001 29823 89679 | 9941 5 129 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -18 0.19/0.28 o -18 0.19/0.28 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 10 | 2001 29824 89814 | 9941 10 128 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -19 0.19/0.29 o -19 0.19/0.29 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 10 | 2001 29825 89949 | 9941 10 128 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -20 0.29/0.30 o -20 0.29/0.30 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 10 | 2001 29826 90084 | 9942 10 128 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -21 0.29/0.30 o -21 0.29/0.30 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 10 | 2001 29827 90219 | 9942 10 128 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -23 0.29/0.31 o -23 0.29/0.31 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 13 | 2001 29828 90354 | 9942 13 127 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -24 0.29/0.32 o -24 0.29/0.32 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 16 | 2001 29829 90489 | 9943 16 127 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -25 0.29/0.32 o -25 0.29/0.32 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 17 | 2001 29830 90624 | 9943 17 127 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -26 0.29/0.33 o -26 0.29/0.33 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 23 | 2001 29831 90759 | 9943 23 121 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -27 0.29/0.34 o -27 0.29/0.34 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 42 | 2001 29832 90894 | 9944 42 113 | 0.000 % | 0.29/0.35 c | 144 | 2001 29832 90894 | 10938 144 110 | 1.185 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -29 0.29/0.35 o -29 0.29/0.35 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 151 | 2001 29833 91029 | 9944 151 110 | 1.185 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -30 0.29/0.36 o -30 0.29/0.36 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 155 | 2001 29834 91164 | 9944 155 110 | 1.185 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -32 0.29/0.37 o -32 0.29/0.37 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 159 | 2001 29835 91299 | 9945 159 110 | 1.185 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -33 0.29/0.37 o -33 0.29/0.37 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 168 | 2001 29836 91434 | 9945 168 111 | 1.185 % | 0.29/0.38 c | 268 | 2001 29836 91434 | 10939 268 111 | 1.185 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -34 0.39/0.40 o -34 0.39/0.40 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 339 | 2001 29837 91569 | 9945 339 110 | 1.185 % | 0.39/0.41 c | 440 | 2001 29837 91569 | 10940 440 109 | 1.185 % | 0.39/0.42 c | 590 | 2001 29837 91569 | 12034 590 108 | 1.185 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -35 0.39/0.44 o -35 0.39/0.44 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 651 | 2001 29838 91704 | 9946 651 108 | 1.185 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -36 0.39/0.44 o -36 0.39/0.44 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 660 | 2001 29839 91839 | 9946 660 108 | 1.185 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -37 0.39/0.45 o -37 0.39/0.45 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 668 | 2001 29840 91974 | 9946 668 108 | 1.185 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -38 0.39/0.46 o -38 0.39/0.46 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 669 | 2001 29841 92109 | 9947 669 108 | 1.185 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: -39 0.39/0.47 o -39 0.39/0.47 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 714 | 2001 29842 92244 | 9947 714 108 | 1.185 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: -40 0.39/0.48 o -40 0.39/0.48 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 714 | 2001 29843 92379 | 9947 714 108 | 1.185 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: -41 0.39/0.48 o -41 0.39/0.48 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 721 | 2001 29844 92514 | 9948 721 108 | 1.185 % | 0.49/0.50 c | 823 | 2001 29844 92514 | 10942 823 108 | 1.185 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -42 0.49/0.52 o -42 0.49/0.52 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 904 | 2001 29845 92649 | 9948 904 108 | 1.185 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: -43 0.49/0.52 o -43 0.49/0.52 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 905 | 2001 29846 92784 | 9948 905 108 | 1.185 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: -44 0.49/0.53 o -44 0.49/0.53 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 905 | 2001 29847 92919 | 9949 905 108 | 1.185 % | 0.49/0.55 c | 1007 | 2001 29847 92919 | 10943 1007 108 | 1.185 % | 0.49/0.57 c | 1157 | 2001 29847 92919 | 12038 1157 108 | 1.185 % | 0.59/0.60 c | 1382 | 2001 29847 92919 | 13242 1382 108 | 1.185 % | 0.59/0.67 c | 1719 | 2001 29847 92919 | 14566 1719 108 | 1.185 % | 0.69/0.77 c | 2225 | 2001 29847 92919 | 16022 2225 108 | 1.185 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: -45 0.69/0.78 o -45 0.69/0.78 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 2288 | 2001 29848 93054 | 9949 2288 108 | 1.185 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: -46 0.69/0.79 o -46 0.69/0.79 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 2288 | 2001 29849 93189 | 9949 2288 108 | 1.185 % | 0.79/0.80 c | 2389 | 2001 29849 93189 | 10944 2389 108 | 1.185 % | 0.79/0.83 c | 2541 | 2001 29849 93189 | 12039 2541 108 | 1.185 % | 0.79/0.88 c | 2770 | 2001 29849 93189 | 13243 2770 108 | 1.185 % | 0.89/0.94 c | 3108 | 2001 29849 93189 | 14567 3108 108 | 1.185 % | 1.00/1.07 c | 3615 | 2001 29849 93189 | 16024 3615 108 | 1.185 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: -47 1.10/1.12 o -47 1.10/1.12 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 3848 | 2001 29850 93324 | 9950 3848 108 | 1.185 % | 1.10/1.17 c | 3950 | 2001 29850 93324 | 10945 3950 108 | 1.185 % | 1.19/1.23 c | 4102 | 2001 29850 93324 | 12039 4102 108 | 1.185 % | 1.29/1.31 c | 4328 | 2001 29850 93324 | 13243 4328 108 | 1.185 % | 1.39/1.45 c | 4665 | 2001 29850 93324 | 14567 4665 108 | 1.185 % | 1.49/1.58 c | 5173 | 2001 29850 93324 | 16024 5173 108 | 1.185 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: -49 1.59/1.61 o -49 1.59/1.61 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 5231 | 2001 29851 93459 | 9950 5231 108 | 1.185 % | 1.59/1.64 c | 5332 | 2001 29851 93459 | 10945 5332 108 | 1.185 % | 1.69/1.72 c | 5482 | 2001 29851 93459 | 12039 5482 108 | 1.185 % | 1.69/1.78 c | 5711 | 2001 29851 93459 | 13243 5711 108 | 1.185 % | 1.89/1.95 c | 6048 | 2001 29851 93459 | 14568 6048 108 | 1.185 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c New solution: -50 2.10/2.14 o -50 2.10/2.14 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s 2.10/2.14 c =============================================================================== 2.10/2.14 c | 6451 | 2001 29852 93594 | 9950 6451 108 | 1.185 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c New solution: -51 2.10/2.15 o -51 2.10/2.15 c Elapsed CPU time: 2.08068 s Remaining CPU time: 177.919 s 2.10/2.15 c =============================================================================== 2.10/2.15 c | 6457 | 2001 29853 93729 | 9951 6457 108 | 1.185 % | 2.20/2.21 c | 6560 | 2001 29853 93729 | 10946 6560 108 | 1.185 % | 2.29/2.31 c | 6713 | 2001 29853 93729 | 12040 6713 108 | 1.185 % | 2.39/2.47 c | 6941 | 2001 29853 93729 | 13244 6941 108 | 1.185 % | 2.59/2.67 c | 7280 | 2001 29853 93729 | 14569 7280 108 | 1.185 % | 2.89/2.98 c | 7786 | 2001 29853 93729 | 16026 7786 107 | 1.185 % | 3.39/3.48 c | 8549 | 2001 29853 93729 | 17628 8549 107 | 1.185 % | 3.79/3.86 c | 9689 | 2001 29853 93729 | 19391 9689 107 | 1.185 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c New solution: -52 4.19/4.29 o -52 4.19/4.29 c Elapsed CPU time: 4.20736 s Remaining CPU time: 175.793 s 4.19/4.29 c =============================================================================== 4.19/4.29 c | 10587 | 2001 29854 93864 | 9951 10587 107 | 1.185 % | 4.30/4.36 c | 10687 | 2001 29854 93864 | 10946 5394 102 | 1.185 % | 4.40/4.41 c | 10837 | 2001 29854 93864 | 12041 5544 102 | 1.185 % | 4.40/4.49 c =============================================================================== 4.40/4.49 c New solution: -53 4.40/4.49 o -53 4.40/4.49 c Elapsed CPU time: 4.41233 s Remaining CPU time: 175.588 s 4.40/4.49 c =============================================================================== 4.40/4.49 c | 11039 | 2001 29855 93999 | 9951 5746 102 | 1.185 % | 4.49/4.53 c | 11140 | 2001 29855 93999 | 10946 5847 102 | 1.185 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c New solution: -54 4.49/4.57 o -54 4.49/4.57 c Elapsed CPU time: 4.48832 s Remaining CPU time: 175.512 s 4.49/4.57 c =============================================================================== 4.49/4.57 c | 11229 | 2001 29856 94134 | 9952 5936 102 | 1.185 % | 4.59/4.62 c | 11331 | 2001 29856 94134 | 10947 6038 102 | 1.185 % | 4.59/4.64 c =============================================================================== 4.59/4.64 c New solution: -55 4.59/4.64 o -55 4.59/4.64 c Elapsed CPU time: 4.55331 s Remaining CPU time: 175.447 s 4.59/4.64 c =============================================================================== 4.59/4.64 c | 11364 | 2001 29857 94269 | 9952 6071 102 | 1.185 % | 4.59/4.67 c | 11466 | 2001 29857 94269 | 10947 6173 102 | 1.185 % | 4.69/4.74 c | 11617 | 2001 29857 94269 | 12042 6324 102 | 1.185 % | 4.79/4.84 c | 11844 | 2001 29857 94269 | 13246 6551 102 | 1.185 % | 4.89/4.94 c | 12181 | 2001 29857 94269 | 14571 6888 103 | 1.185 % | 5.09/5.17 c | 12688 | 2001 29857 94269 | 16028 7395 103 | 1.185 % | 5.50/5.60 c | 13449 | 2001 29857 94269 | 17631 8156 103 | 1.185 % | 6.39/6.43 c | 14589 | 2001 29857 94269 | 19394 9296 103 | 1.185 % | 6.99/7.02 c =============================================================================== 6.99/7.02 c New solution: -56 6.99/7.02 o -56 6.99/7.02 c Elapsed CPU time: 6.92295 s Remaining CPU time: 173.077 s 6.99/7.02 c =============================================================================== 6.99/7.02 c | 15666 | 2001 29858 94404 | 9952 10373 103 | 1.185 % | 7.09/7.11 c =============================================================================== 7.09/7.11 c New solution: -57 7.09/7.11 o -57 7.09/7.11 c Elapsed CPU time: 7.01593 s Remaining CPU time: 172.984 s 7.09/7.11 c =============================================================================== 7.09/7.11 c | 15704 | 2001 29859 94539 | 9953 5225 96 | 1.185 % | 7.09/7.14 c | 15804 | 2001 29859 94539 | 10948 5325 96 | 1.185 % | 7.09/7.19 c | 15956 | 2001 29859 94539 | 12043 5477 97 | 1.185 % | 7.19/7.28 c | 16181 | 2001 29859 94539 | 13247 5702 97 | 1.185 % | 7.29/7.39 c | 16519 | 2001 29859 94539 | 14572 6040 97 | 1.185 % | 7.60/7.64 c | 17026 | 2001 29859 94539 | 16029 6547 98 | 1.185 % | 8.09/8.10 c | 17786 | 2001 29859 94539 | 17632 7307 98 | 1.185 % | 8.48/8.53 c =============================================================================== 8.48/8.53 c New solution: -58 8.48/8.53 o -58 8.48/8.53 c Elapsed CPU time: 8.42572 s Remaining CPU time: 171.574 s 8.48/8.53 c =============================================================================== 8.48/8.53 c | 18471 | 2001 29860 94674 | 9953 7992 99 | 1.185 % | 8.48/8.58 c | 18574 | 2001 29860 94674 | 10948 8095 99 | 1.185 % | 8.59/8.64 c | 18726 | 2001 29860 94674 | 12043 8247 99 | 1.185 % | 8.70/8.78 c | 18952 | 2001 29860 94674 | 13247 8473 99 | 1.185 % | 8.89/8.92 c | 19289 | 2001 29860 94674 | 14572 8810 99 | 1.185 % | 9.19/9.28 c | 19797 | 2001 29860 94674 | 16029 9318 99 | 1.185 % | 9.79/9.89 c | 20556 | 2001 29860 94674 | 17632 10077 100 | 1.185 % | 10.29/10.34 c | 21696 | 2001 29860 94674 | 19396 11217 100 | 1.185 % | 11.38/11.41 c | 23407 | 2001 29860 94674 | 21335 12928 101 | 1.185 % | 13.10/13.16 c =============================================================================== 13.10/13.16 c New solution: -60 13.10/13.16 o -60 13.10/13.16 c Elapsed CPU time: 13.023 s Remaining CPU time: 166.977 s 13.10/13.16 c =============================================================================== 13.10/13.16 c | 25395 | 2001 29861 94809 | 9953 14916 102 | 1.185 % | 13.20/13.24 c =============================================================================== 13.20/13.24 c New solution: -61 13.20/13.24 o -61 13.20/13.24 c Elapsed CPU time: 13.104 s Remaining CPU time: 166.896 s 13.20/13.24 c =============================================================================== 13.20/13.24 c | 25395 | 2001 29862 94944 | 9954 7458 97 | 1.185 % | 13.20/13.25 c =============================================================================== 13.20/13.25 c New solution: -62 13.20/13.25 o -62 13.20/13.25 c Elapsed CPU time: 13.115 s Remaining CPU time: 166.885 s 13.20/13.25 c =============================================================================== 13.20/13.25 c | 25408 | 2001 29863 95079 | 9954 7471 97 | 1.185 % | 13.20/13.29 c | 25508 | 2001 29863 95079 | 10949 7571 97 | 1.185 % | 13.28/13.36 c | 25659 | 2001 29863 95079 | 12044 7722 97 | 1.185 % | 13.38/13.49 c | 25889 | 2001 29863 95079 | 13249 7952 98 | 1.185 % | 13.59/13.69 c | 26226 | 2001 29863 95079 | 14574 8289 98 | 1.185 % | 13.89/13.99 c | 26733 | 2001 29863 95079 | 16031 8796 98 | 1.185 % | 14.39/14.45 c | 27492 | 2001 29863 95079 | 17634 9555 99 | 1.185 % | 15.19/15.28 c | 28634 | 2001 29863 95079 | 19398 10697 99 | 1.185 % | 16.89/16.95 c | 30346 | 2001 29863 95079 | 21337 12409 100 | 1.185 % | 19.38/19.48 c | 32908 | 2001 29863 95079 | 23471 14971 101 | 1.185 % | 23.99/24.08 c | 36753 | 2001 29863 95079 | 25818 18816 101 | 1.185 % | 25.19/25.24 c =============================================================================== 25.19/25.24 c New solution: -63 25.19/25.24 o -63 25.19/25.24 c Elapsed CPU time: 25.0612 s Remaining CPU time: 154.939 s 25.19/25.24 c =============================================================================== 25.19/25.24 c | 37699 | 2001 29864 95214 | 9954 19762 101 | 1.185 % | 25.39/25.45 c | 37799 | 2001 29864 95214 | 10950 9981 96 | 1.185 % | 25.49/25.59 c | 37950 | 2001 29864 95214 | 12045 10132 96 | 1.185 % | 25.68/25.76 c | 38178 | 2001 29864 95214 | 13249 10360 96 | 1.185 % | 25.98/26.03 c | 38523 | 2001 29864 95214 | 14574 10705 96 | 1.185 % | 26.08/26.19 c =============================================================================== 26.08/26.19 c New solution: -64 26.08/26.19 o -64 26.08/26.19 c Elapsed CPU time: 25.997 s Remaining CPU time: 154.003 s 26.08/26.19 c =============================================================================== 26.08/26.19 c | 38746 | 2001 29865 95349 | 9955 10928 97 | 1.185 % | 26.19/26.27 c | 38851 | 2001 29865 95349 | 10950 5569 89 | 1.185 % | 26.29/26.35 c | 39001 | 2001 29865 95349 | 12045 5719 90 | 1.185 % | 26.39/26.46 c | 39226 | 2001 29865 95349 | 13250 5944 90 | 1.185 % | 26.58/26.63 c | 39564 | 2001 29865 95349 | 14575 6282 90 | 1.185 % | 26.88/26.90 c | 40073 | 2001 29865 95349 | 16032 6791 91 | 1.185 % | 27.18/27.21 c | 40832 | 2001 29865 95349 | 17635 7550 92 | 1.185 % | 27.78/27.81 c | 41972 | 2001 29865 95349 | 19399 8690 94 | 1.185 % | 28.68/28.74 c | 43681 | 2001 29865 95349 | 21339 10399 95 | 1.185 % | 30.48/30.59 c | 46244 | 2001 29865 95349 | 23473 12962 96 | 1.185 % | 33.48/33.58 c | 50091 | 2001 29865 95349 | 25820 16809 98 | 1.185 % | 39.39/39.46 c | 55857 | 2001 29865 95349 | 28402 22575 99 | 1.185 % | 42.28/42.37 c =============================================================================== 42.28/42.37 c New solution: -66 42.28/42.37 o -66 42.28/42.37 c Elapsed CPU time: 42.0856 s Remaining CPU time: 137.914 s 42.28/42.37 c =============================================================================== 42.28/42.37 c | 58216 | 2001 29866 95484 | 9955 24934 100 | 1.185 % | 42.58/42.65 c | 58318 | 2001 29866 95484 | 10950 5971 89 | 1.185 % | 42.68/42.71 c | 58471 | 2001 29866 95484 | 12045 6124 89 | 1.185 % | 42.78/42.80 c | 58697 | 2001 29866 95484 | 13250 6350 90 | 1.185 % | 42.88/42.94 c | 59035 | 2001 29866 95484 | 14575 6688 90 | 1.185 % | 43.08/43.18 c | 59543 | 2001 29866 95484 | 16033 7196 91 | 1.185 % | 43.48/43.56 c | 60302 | 2001 29866 95484 | 17636 7955 92 | 1.185 % | 44.18/44.21 c | 61442 | 2001 29866 95484 | 19400 9095 93 | 1.185 % | 45.38/45.44 c | 63154 | 2001 29866 95484 | 21340 10807 95 | 1.185 % | 47.98/48.09 c | 65716 | 2001 29866 95484 | 23474 13369 96 | 1.185 % | 52.58/52.64 c | 69561 | 2001 29866 95484 | 25821 17214 96 | 1.185 % | 60.28/60.34 c =============================================================================== 60.28/60.34 c New solution: -68 60.28/60.34 o -68 60.28/60.34 c Elapsed CPU time: 59.9909 s Remaining CPU time: 120.009 s 60.28/60.34 c =============================================================================== 60.28/60.34 c | 74599 | 2001 29867 95619 | 9955 22252 97 | 1.185 % | 60.48/60.54 c | 74702 | 2001 29867 95619 | 10951 5666 81 | 1.185 % | 60.58/60.60 c | 74857 | 2001 29867 95619 | 12046 5821 82 | 1.185 % | 60.58/60.69 c | 75083 | 2001 29867 95619 | 13250 6047 82 | 1.185 % | 60.78/60.84 c | 75422 | 2001 29867 95619 | 14576 6386 84 | 1.185 % | 60.98/61.06 c | 75932 | 2001 29867 95619 | 16033 6896 85 | 1.185 % | 61.27/61.35 c | 76691 | 2001 29867 95619 | 17637 7655 87 | 1.185 % | 61.88/61.92 c | 77830 | 2001 29867 95619 | 19400 8794 89 | 1.185 % | 62.97/63.01 c | 79540 | 2001 29867 95619 | 21340 10504 90 | 1.185 % | 65.18/65.22 c | 82104 | 2001 29867 95619 | 23474 13068 92 | 1.185 % | 69.37/69.42 c | 85951 | 2001 29867 95619 | 25822 16915 93 | 1.185 % | 74.68/74.78 c | 91721 | 2001 29867 95619 | 28404 22685 96 | 1.185 % | 83.67/83.78 c =============================================================================== 83.67/83.78 c New solution: -70 83.67/83.78 o -70 83.67/83.78 c Elapsed CPU time: 83.3043 s Remaining CPU time: 96.6957 s 83.67/83.78 c =============================================================================== 83.67/83.78 c | 97218 | 2001 29868 95754 | 9956 28182 97 | 1.185 % | 83.97/84.03 c | 97318 | 2001 29868 95754 | 10951 6147 87 | 1.185 % | 83.97/84.10 c | 97468 | 2001 29868 95754 | 12046 6297 87 | 1.185 % | 84.07/84.19 c | 97696 | 2001 29868 95754 | 13251 6525 87 | 1.185 % | 84.27/84.34 c | 98035 | 2001 29868 95754 | 14576 6864 88 | 1.185 % | 84.58/84.65 c | 98542 | 2001 29868 95754 | 16034 7371 89 | 1.185 % | 85.07/85.13 c | 99301 | 2001 29868 95754 | 17637 8130 90 | 1.185 % | 85.78/85.84 c | 100441 | 2001 29868 95754 | 19401 9270 91 | 1.185 % | 86.97/87.04 c | 102151 | 2001 29868 95754 | 21341 10980 92 | 1.185 % | 89.37/89.46 c | 104716 | 2001 29868 95754 | 23475 13545 93 | 1.185 % | 93.48/93.59 c | 108563 | 2001 29868 95754 | 25823 17392 94 | 1.185 % | 101.07/101.15 c | 114332 | 2001 29868 95754 | 28405 23161 95 | 1.185 % | 107.07/107.10 c =============================================================================== 107.07/107.10 c Best Solution: 256 107.07/107.10 s OPTIMUM FOUND 107.07/107.10 c Total CPU time: 106.512 s 107.07/107.10 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 x62 x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -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
OK -70
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680381-1277460377/watcher-2680381-1277460377 -o /tmp/evaluation-result-2680381-1277460377/solver-2680381-1277460377 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680381-1277460377.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 26001 /proc/meminfo: memFree=1832208/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=3672 CPUtime=0 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 327 0 0 0 0 0 0 0 18 0 1 0 87332799 3760128 246 1992294400 134512640 135752675 4288496112 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 918 246 138 303 0 372 0 [startup+0.016849 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26001 /proc/meminfo: memFree=1832208/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=3960 CPUtime=0.01 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 378 0 0 0 1 0 0 0 18 0 1 0 87332799 4055040 297 1992294400 134512640 135752675 4288496112 18446744073709551615 135096972 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 990 297 151 303 0 444 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3960 [startup+0.100854 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26001 /proc/meminfo: memFree=1832208/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=4896 CPUtime=0.1 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 733 0 0 0 10 0 0 0 21 0 1 0 87332799 5013504 652 1992294400 134512640 135752675 4288496112 18446744073709551615 135225917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 1224 652 279 303 0 678 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4896 [startup+0.300868 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26001 /proc/meminfo: memFree=1832208/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=5176 CPUtime=0.29 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 1146 0 0 0 27 2 0 0 21 0 1 0 87332799 5300224 824 1992294400 134512640 135752675 4288496112 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 1294 824 144 303 0 989 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5176 [startup+0.700896 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26001 /proc/meminfo: memFree=1832208/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=5820 CPUtime=0.69 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 1332 0 0 0 64 5 0 0 22 0 1 0 87332799 5959680 1010 1992294400 134512640 135752675 4288496112 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 1455 1010 145 303 0 1150 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5820 [startup+1.50095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26002 /proc/meminfo: memFree=1827736/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=7496 CPUtime=1.49 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 1754 0 0 0 143 6 0 0 25 0 1 0 87332799 7675904 1432 1992294400 134512640 135752675 4288496112 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 1874 1432 145 303 0 1569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7496 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26002 /proc/meminfo: memFree=1825876/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=9312 CPUtime=3.09 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 2202 0 0 0 302 7 0 0 25 0 1 0 87332799 9535488 1880 1992294400 134512640 135752675 4288496112 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 2328 1880 145 303 0 2023 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9312 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26002 /proc/meminfo: memFree=1822032/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=12916 CPUtime=6.29 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 3082 0 0 0 620 9 0 0 25 0 1 0 87332799 13225984 2760 1992294400 134512640 135752675 4288496112 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 3229 2760 145 303 0 2924 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12916 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26002 /proc/meminfo: memFree=1815956/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=18428 CPUtime=12.69 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 4477 0 0 0 1256 13 0 0 25 0 1 0 87332799 18870272 4155 1992294400 134512640 135752675 4288496112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 4607 4155 145 303 0 4302 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18428 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26004 /proc/meminfo: memFree=1808888/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=25396 CPUtime=25.49 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 6196 0 0 0 2531 18 0 0 25 0 1 0 87332799 26005504 5874 1992294400 134512640 135752675 4288496112 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 6349 5874 145 303 0 6044 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25396 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26004 /proc/meminfo: memFree=1793760/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=40716 CPUtime=51.08 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 10015 0 0 0 5077 31 0 0 25 0 1 0 87332799 41693184 9693 1992294400 134512640 135752675 4288496112 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 10179 9693 145 303 0 9874 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40716 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26006 /proc/meminfo: memFree=1769828/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=64192 CPUtime=102.28 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 15867 0 0 0 10173 55 0 0 25 0 1 0 87332799 65732608 15545 1992294400 134512640 135752675 4288496112 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 16048 15545 145 303 0 15743 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 64192 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26006 /proc/meminfo: memFree=1768712/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=65348 CPUtime=105.47 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 16125 0 0 0 10491 56 0 0 25 0 1 0 87332799 66916352 15803 1992294400 134512640 135752675 4288496112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 16337 15803 145 303 0 16032 0 Current children cumulated CPU time (s) 105.47 Current children cumulated vsize (KiB) 65348 [startup+106.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26006 /proc/meminfo: memFree=1768712/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=65604 CPUtime=106.26 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 16199 0 0 0 10570 56 0 0 25 0 1 0 87332799 67178496 15877 1992294400 134512640 135752675 4288496112 18446744073709551615 134597928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 16401 15877 145 303 0 16096 0 Current children cumulated CPU time (s) 106.26 Current children cumulated vsize (KiB) 65604 [startup+106.708 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26006 /proc/meminfo: memFree=1768340/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=65732 CPUtime=106.67 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 16237 0 0 0 10611 56 0 0 25 0 1 0 87332799 67309568 15915 1992294400 134512640 135752675 4288496112 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 16433 15915 145 303 0 16128 0 Current children cumulated CPU time (s) 106.67 Current children cumulated vsize (KiB) 65732 [startup+107.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26006 /proc/meminfo: memFree=1768340/2059040 swapFree=4140168/4192956 [pid=26001] ppid=25999 vsize=65988 CPUtime=107.07 /proc/26001/stat : 26001 (wbo1.4b) R 25999 26001 25465 0 -1 4202496 16306 0 0 0 10650 57 0 0 25 0 1 0 87332799 67571712 15984 1992294400 134512640 135752675 4288496112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26001/statm: 16497 15984 145 303 0 16192 0 Current children cumulated CPU time (s) 107.07 Current children cumulated vsize (KiB) 65988 Child status: 0 Real time (s): 107.118 CPU time (s): 107.094 CPU user time (s): 106.512 CPU system time (s): 0.581911 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 65988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 106.512 system time used= 0.581911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16310 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= 11 involuntary context switches= 173 runsolver used 0.156976 second user time and 0.546916 second system time The end
Begin job on node034 at 2010-06-25 12:06:17 IDJOB=2680381 IDBENCH=71827 IDSOLVER=1190 FILE ID=node034/2680381-1277460377 PBS_JOBID= 11188132 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680381-1277460377/watcher-2680381-1277460377 -o /tmp/evaluation-result-2680381-1277460377/solver-2680381-1277460377 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680381-1277460377.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=1692072186 node034.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.242 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.48 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.242 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832736 kB Buffers: 38400 kB Cached: 85528 kB SwapCached: 5348 kB Active: 61264 kB Inactive: 75812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832736 kB SwapTotal: 4192956 kB SwapFree: 4140168 kB Dirty: 3652 kB Writeback: 0 kB AnonPages: 11852 kB Mapped: 12016 kB Slab: 67260 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181804 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= 62432 MiB End job on node034 at 2010-06-25 12:08:05