Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | -68 | 84.7431 | 84.7638 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb |
MD5SUM | a25a52544be0f6847f2aa8f54184e900 |
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 | -68 |
Best CPU time to get the best result obtained on this benchmark | 7.83981 |
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 | 29069 |
Number of constraints which are clauses | 29069 |
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 | 347 |
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 | 347 |
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-2680379-1277460361.opb. 0.00/0.00 c Instance file HOME/instance-2680379-1277460361.opb 0.00/0.00 c File size is 961894 bytes. 0.09/0.15 c Highest Coefficient sum: 4 0.09/0.16 c ============================[ Problem Statistics ]============================= 0.09/0.16 c | | 0.09/0.16 c | Parsing time: 0.16 s | 0.09/0.16 c | Number Variables: 2025 | 0.09/0.16 c | Number Clauses: 29069 | 0.09/0.16 c | Number Cardinality: 0 | 0.09/0.16 c | Number PB Constraints: 0 | 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1989 29105 86037 | 9689 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 0 0.19/0.21 o 0 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1989 29106 86172 | 9702 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -2 0.19/0.21 o -2 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1989 29107 86307 | 9702 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.214967 s Remaining CPU time: 179.785 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1989 29108 86442 | 9702 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -6 0.19/0.23 o -6 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 | 2 | 1989 29109 86577 | 9703 2 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -7 0.19/0.23 o -7 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 2 | 1989 29110 86712 | 9703 2 134 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -8 0.19/0.24 o -8 0.19/0.24 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 3 | 1989 29111 86847 | 9703 3 133 | 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.234964 s Remaining CPU time: 179.765 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 4 | 1989 29112 86982 | 9704 4 132 | 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 | 4 | 1989 29113 87117 | 9704 4 132 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -11 0.19/0.26 o -11 0.19/0.26 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 5 | 1989 29114 87252 | 9704 5 132 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -12 0.19/0.26 o -12 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 | 6 | 1989 29115 87387 | 9705 6 131 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -13 0.19/0.27 o -13 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 | 7 | 1989 29116 87522 | 9705 7 131 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -14 0.19/0.28 o -14 0.19/0.28 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 8 | 1989 29117 87657 | 9705 8 130 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -15 0.19/0.28 o -15 0.19/0.28 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 9 | 1989 29118 87792 | 9706 9 130 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -16 0.19/0.29 o -16 0.19/0.29 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 10 | 1989 29119 87927 | 9706 10 118 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -17 0.19/0.29 o -17 0.19/0.29 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 12 | 1989 29120 88062 | 9706 12 109 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -18 0.29/0.30 o -18 0.29/0.30 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 13 | 1989 29121 88197 | 9707 13 110 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -19 0.29/0.31 o -19 0.29/0.31 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 14 | 1989 29122 88332 | 9707 14 112 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -20 0.29/0.31 o -20 0.29/0.31 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 15 | 1989 29123 88467 | 9707 15 113 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -21 0.29/0.32 o -21 0.29/0.32 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 16 | 1989 29124 88602 | 9708 16 113 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -22 0.29/0.32 o -22 0.29/0.32 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 19 | 1989 29125 88737 | 9708 19 115 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -23 0.29/0.33 o -23 0.29/0.33 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 31 | 1989 29126 88872 | 9708 31 111 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -24 0.29/0.34 o -24 0.29/0.34 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 42 | 1989 29127 89007 | 9709 42 112 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -25 0.29/0.35 o -25 0.29/0.35 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 43 | 1989 29128 89142 | 9709 43 112 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -26 0.29/0.35 o -26 0.29/0.35 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 43 | 1989 29129 89277 | 9709 43 112 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -27 0.29/0.36 o -27 0.29/0.36 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 45 | 1989 29130 89412 | 9710 45 112 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -28 0.29/0.37 o -28 0.29/0.37 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 51 | 1989 29131 89547 | 9710 51 113 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -29 0.29/0.37 o -29 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 | 51 | 1989 29132 89682 | 9710 51 113 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -30 0.29/0.38 o -30 0.29/0.38 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 51 | 1989 29133 89817 | 9711 51 113 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -31 0.29/0.39 o -31 0.29/0.39 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 65 | 1989 29134 89952 | 9711 65 110 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -32 0.39/0.40 o -32 0.39/0.40 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 123 | 1989 29135 90087 | 9711 123 108 | 0.000 % | 0.39/0.41 c | 223 | 1989 29135 90087 | 10682 223 104 | 1.778 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -33 0.39/0.43 o -33 0.39/0.43 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 334 | 1989 29136 90222 | 9712 334 104 | 1.778 % | 0.39/0.44 c | 434 | 1989 29136 90222 | 10683 434 104 | 1.778 % | 0.39/0.46 c | 584 | 1989 29136 90222 | 11751 584 105 | 1.778 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: -34 0.39/0.49 o -34 0.39/0.49 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 739 | 1989 29137 90357 | 9712 739 105 | 1.778 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -35 0.49/0.50 o -35 0.49/0.50 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 744 | 1989 29138 90492 | 9712 744 105 | 1.778 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: -36 0.49/0.50 o -36 0.49/0.50 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 744 | 1989 29139 90627 | 9713 744 105 | 1.778 % | 0.49/0.52 c | 845 | 1989 29139 90627 | 10684 845 105 | 1.778 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: -37 0.49/0.54 o -37 0.49/0.54 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 961 | 1989 29140 90762 | 9713 961 105 | 1.778 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: -38 0.49/0.55 o -38 0.49/0.55 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 965 | 1989 29141 90897 | 9713 965 105 | 1.778 % | 0.49/0.56 c | 1065 | 1989 29141 90897 | 10685 1065 106 | 1.778 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: -39 0.59/0.60 o -39 0.59/0.60 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 1214 | 1989 29142 91032 | 9714 1214 106 | 1.778 % | 0.59/0.62 c | 1314 | 1989 29142 91032 | 10685 1314 106 | 1.778 % | 0.59/0.64 c | 1464 | 1989 29142 91032 | 11753 1464 106 | 1.778 % | 0.59/0.67 c | 1689 | 1989 29142 91032 | 12929 1689 106 | 1.778 % | 0.69/0.72 c | 2027 | 1989 29142 91032 | 14222 2027 107 | 1.778 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: -40 0.69/0.75 o -40 0.69/0.75 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 2161 | 1989 29143 91167 | 9714 2161 107 | 1.778 % | 0.69/0.77 c | 2261 | 1989 29143 91167 | 10685 2261 107 | 1.778 % | 0.79/0.80 c | 2411 | 1989 29143 91167 | 11754 2411 108 | 1.778 % | 0.79/0.85 c | 2637 | 1989 29143 91167 | 12929 2637 108 | 1.778 % | 0.89/0.93 c | 2975 | 1989 29143 91167 | 14222 2975 108 | 1.778 % | 0.99/1.09 c | 3481 | 1989 29143 91167 | 15645 3481 108 | 1.778 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: -41 1.10/1.18 o -41 1.10/1.18 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 3768 | 1989 29144 91302 | 9714 3768 108 | 1.778 % | 1.20/1.22 c | 3869 | 1989 29144 91302 | 10686 3869 108 | 1.778 % | 1.20/1.29 c | 4019 | 1989 29144 91302 | 11754 4019 108 | 1.778 % | 1.29/1.38 c | 4245 | 1989 29144 91302 | 12930 4245 108 | 1.778 % | 1.39/1.47 c | 4582 | 1989 29144 91302 | 14223 4582 108 | 1.778 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: -42 1.49/1.52 o -42 1.49/1.52 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 4734 | 1989 29145 91437 | 9715 4734 108 | 1.778 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: -43 1.49/1.52 o -43 1.49/1.52 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 4734 | 1989 29146 91572 | 9715 4734 108 | 1.778 % | 1.49/1.58 c | 4835 | 1989 29146 91572 | 10686 4835 108 | 1.778 % | 1.59/1.64 c | 4986 | 1989 29146 91572 | 11755 4986 109 | 1.778 % | 1.69/1.74 c | 5212 | 1989 29146 91572 | 12931 5212 109 | 1.778 % | 1.79/1.88 c | 5549 | 1989 29146 91572 | 14224 5549 109 | 1.778 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c New solution: -44 1.99/2.08 o -44 1.99/2.08 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 5928 | 1989 29147 91707 | 9715 5928 109 | 1.778 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c New solution: -45 1.99/2.10 o -45 1.99/2.10 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s 1.99/2.10 c =============================================================================== 1.99/2.10 c | 5936 | 1989 29148 91842 | 9716 5936 109 | 1.778 % | 2.08/2.10 c =============================================================================== 2.08/2.10 c New solution: -46 2.08/2.10 o -46 2.08/2.10 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s 2.08/2.10 c =============================================================================== 2.08/2.10 c | 5938 | 1989 29149 91977 | 9716 5938 109 | 1.778 % | 2.08/2.15 c | 6039 | 1989 29149 91977 | 10687 6039 109 | 1.778 % | 2.20/2.22 c | 6189 | 1989 29149 91977 | 11756 6189 109 | 1.778 % | 2.30/2.34 c | 6415 | 1989 29149 91977 | 12932 6415 109 | 1.778 % | 2.49/2.56 c | 6755 | 1989 29149 91977 | 14225 6755 109 | 1.778 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c New solution: -47 2.59/2.65 o -47 2.59/2.65 c Elapsed CPU time: 2.56761 s Remaining CPU time: 177.432 s 2.59/2.65 c =============================================================================== 2.59/2.65 c | 6895 | 1989 29150 92112 | 9716 6895 108 | 1.778 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: -48 2.59/2.68 o -48 2.59/2.68 c Elapsed CPU time: 2.5986 s Remaining CPU time: 177.401 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 6927 | 1989 29151 92247 | 9717 6927 108 | 1.778 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c New solution: -49 2.59/2.69 o -49 2.59/2.69 c Elapsed CPU time: 2.6036 s Remaining CPU time: 177.396 s 2.59/2.69 c =============================================================================== 2.59/2.69 c | 6927 | 1989 29152 92382 | 9717 6927 108 | 1.778 % | 2.69/2.75 c | 7028 | 1989 29152 92382 | 10689 7028 108 | 1.778 % | 2.69/2.78 c | 7179 | 1989 29152 92382 | 11757 7179 108 | 1.778 % | 2.79/2.87 c | 7404 | 1989 29152 92382 | 12933 7404 108 | 1.778 % | 2.89/2.99 c | 7741 | 1989 29152 92382 | 14227 7741 108 | 1.778 % | 3.19/3.26 c | 8247 | 1989 29152 92382 | 15649 8247 108 | 1.778 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: -50 3.30/3.38 o -50 3.30/3.38 c Elapsed CPU time: 3.2865 s Remaining CPU time: 176.714 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 8582 | 1989 29153 92517 | 9717 8582 108 | 1.778 % | 3.40/3.40 c =============================================================================== 3.40/3.40 c New solution: -51 3.40/3.40 o -51 3.40/3.40 c Elapsed CPU time: 3.3055 s Remaining CPU time: 176.695 s 3.40/3.40 c =============================================================================== 3.40/3.40 c | 8607 | 1989 29154 92652 | 9718 8607 108 | 1.778 % | 3.40/3.46 c | 8707 | 1989 29154 92652 | 10689 8707 108 | 1.778 % | 3.49/3.54 c | 8860 | 1989 29154 92652 | 11758 8860 108 | 1.778 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c New solution: -52 3.49/3.58 o -52 3.49/3.58 c Elapsed CPU time: 3.48247 s Remaining CPU time: 176.518 s 3.49/3.58 c =============================================================================== 3.49/3.58 c | 8923 | 1989 29155 92787 | 9718 8923 108 | 1.778 % | 3.49/3.59 c =============================================================================== 3.49/3.59 c New solution: -53 3.49/3.59 o -53 3.49/3.59 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s 3.49/3.59 c =============================================================================== 3.49/3.59 c | 8927 | 1989 29156 92922 | 9718 8927 108 | 1.778 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c New solution: -54 3.59/3.64 o -54 3.59/3.64 c Elapsed CPU time: 3.53446 s Remaining CPU time: 176.466 s 3.59/3.64 c =============================================================================== 3.59/3.64 c | 8987 | 1989 29157 93057 | 9719 8987 108 | 1.778 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: -55 3.59/3.66 o -55 3.59/3.66 c Elapsed CPU time: 3.55746 s Remaining CPU time: 176.443 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 9006 | 1989 29158 93192 | 9719 9006 108 | 1.778 % | 3.59/3.69 c | 9106 | 1989 29158 93192 | 10691 9106 108 | 1.778 % | 3.69/3.78 c | 9257 | 1989 29158 93192 | 11760 9257 108 | 1.778 % | 3.79/3.89 c | 9482 | 1989 29158 93192 | 12936 9482 108 | 1.778 % | 3.99/4.04 c | 9821 | 1989 29158 93192 | 14230 9821 108 | 1.778 % | 4.29/4.30 c | 10328 | 1989 29158 93192 | 15653 10328 108 | 1.778 % | 4.59/4.66 c | 11088 | 1989 29158 93192 | 17218 11088 108 | 1.778 % | 5.29/5.39 c | 12227 | 1989 29158 93192 | 18940 12227 108 | 1.778 % | 6.19/6.20 c =============================================================================== 6.19/6.20 c New solution: -56 6.19/6.20 o -56 6.19/6.20 c Elapsed CPU time: 6.09007 s Remaining CPU time: 173.91 s 6.19/6.20 c =============================================================================== 6.19/6.20 c | 13660 | 1989 29159 93327 | 9719 13660 107 | 1.778 % | 6.29/6.32 c | 13761 | 1989 29159 93327 | 10691 6931 102 | 1.778 % | 6.29/6.39 c | 13911 | 1989 29159 93327 | 11760 7081 102 | 1.778 % | 6.49/6.50 c | 14137 | 1989 29159 93327 | 12936 7307 102 | 1.778 % | 6.59/6.70 c | 14476 | 1989 29159 93327 | 14230 7646 102 | 1.778 % | 6.89/6.97 c | 14985 | 1989 29159 93327 | 15653 8155 103 | 1.778 % | 7.29/7.30 c | 15744 | 1989 29159 93327 | 17218 8914 103 | 1.778 % | 7.79/7.88 c | 16883 | 1989 29159 93327 | 18940 10053 103 | 1.778 % | 7.79/7.90 c =============================================================================== 7.79/7.90 c New solution: -57 7.79/7.90 o -57 7.79/7.90 c Elapsed CPU time: 7.76982 s Remaining CPU time: 172.23 s 7.79/7.90 c =============================================================================== 7.79/7.90 c | 16894 | 1989 29160 93462 | 9720 10064 103 | 1.778 % | 7.89/7.93 c =============================================================================== 7.89/7.93 c New solution: -59 7.89/7.93 o -59 7.89/7.93 c Elapsed CPU time: 7.80881 s Remaining CPU time: 172.191 s 7.89/7.93 c =============================================================================== 7.89/7.93 c | 16912 | 1989 29161 93597 | 9720 5050 100 | 1.778 % | 7.89/7.98 c | 17015 | 1989 29161 93597 | 10692 5153 100 | 1.778 % | 7.98/8.05 c | 17168 | 1989 29161 93597 | 11761 5306 100 | 1.778 % | 8.09/8.15 c | 17395 | 1989 29161 93597 | 12937 5533 100 | 1.778 % | 8.19/8.25 c | 17736 | 1989 29161 93597 | 14231 5874 100 | 1.778 % | 8.39/8.45 c | 18242 | 1989 29161 93597 | 15654 6380 101 | 1.778 % | 8.69/8.70 c | 19003 | 1989 29161 93597 | 17220 7141 101 | 1.778 % | 8.99/9.07 c | 20144 | 1989 29161 93597 | 18942 8282 102 | 1.778 % | 9.89/9.91 c | 21853 | 1989 29161 93597 | 20836 9991 102 | 1.778 % | 10.89/10.96 c | 24418 | 1989 29161 93597 | 22920 12556 103 | 1.778 % | 13.69/13.79 c | 28266 | 1989 29161 93597 | 25212 16404 104 | 1.778 % | 18.88/18.96 c | 34032 | 1989 29161 93597 | 27733 22170 105 | 1.778 % | 30.68/30.70 c =============================================================================== 30.68/30.70 c New solution: -61 30.68/30.70 o -61 30.68/30.70 c Elapsed CPU time: 30.4644 s Remaining CPU time: 149.536 s 30.68/30.70 c =============================================================================== 30.68/30.70 c | 42188 | 1989 29162 93732 | 9720 14270 103 | 1.778 % | 30.79/30.90 c | 42291 | 1989 29162 93732 | 10692 7238 97 | 1.778 % | 30.89/30.96 c | 42443 | 1989 29162 93732 | 11762 7390 97 | 1.778 % | 30.98/31.09 c | 42668 | 1989 29162 93732 | 12938 7615 97 | 1.778 % | 31.28/31.30 c | 43007 | 1989 29162 93732 | 14232 7954 97 | 1.778 % | 31.69/31.70 c | 43513 | 1989 29162 93732 | 15655 8460 97 | 1.778 % | 32.08/32.15 c | 44272 | 1989 29162 93732 | 17220 9219 98 | 1.778 % | 32.78/32.85 c | 45413 | 1989 29162 93732 | 18942 10360 99 | 1.778 % | 34.09/34.12 c | 47124 | 1989 29162 93732 | 20837 12071 100 | 1.778 % | 34.19/34.27 c =============================================================================== 34.19/34.27 c New solution: -62 34.19/34.27 o -62 34.19/34.27 c Elapsed CPU time: 34.0058 s Remaining CPU time: 145.994 s 34.19/34.27 c =============================================================================== 34.19/34.27 c | 47536 | 1989 29163 93867 | 9721 12483 100 | 1.778 % | 34.28/34.37 c =============================================================================== 34.28/34.37 c New solution: -63 34.28/34.37 o -63 34.28/34.37 c Elapsed CPU time: 34.1018 s Remaining CPU time: 145.898 s 34.28/34.37 c =============================================================================== 34.28/34.37 c | 47536 | 1989 29164 94002 | 9721 6242 91 | 1.778 % | 34.38/34.40 c | 47639 | 1989 29164 94002 | 10693 6345 92 | 1.778 % | 34.38/34.43 c | 47793 | 1989 29164 94002 | 11762 6499 92 | 1.778 % | 34.38/34.49 c | 48020 | 1989 29164 94002 | 12939 6726 93 | 1.778 % | 34.58/34.62 c | 48357 | 1989 29164 94002 | 14233 7063 93 | 1.778 % | 34.68/34.79 c | 48865 | 1989 29164 94002 | 15656 7571 94 | 1.778 % | 35.08/35.13 c | 49626 | 1989 29164 94002 | 17221 8332 95 | 1.778 % | 35.68/35.73 c | 50765 | 1989 29164 94002 | 18944 9471 97 | 1.778 % | 36.78/36.83 c | 52473 | 1989 29164 94002 | 20838 11179 98 | 1.778 % | 38.88/38.96 c | 55036 | 1989 29164 94002 | 22922 13742 100 | 1.778 % | 42.48/42.57 c | 58881 | 1989 29164 94002 | 25214 17587 101 | 1.778 % | 47.98/48.09 c =============================================================================== 47.98/48.09 c New solution: -64 47.98/48.09 o -64 47.98/48.09 c Elapsed CPU time: 47.7627 s Remaining CPU time: 132.237 s 47.98/48.09 c =============================================================================== 47.98/48.09 c | 63305 | 1989 29165 94137 | 9721 22011 102 | 1.778 % | 48.28/48.36 c | 63408 | 1989 29165 94137 | 10693 5606 87 | 1.778 % | 48.39/48.44 c | 63561 | 1989 29165 94137 | 11763 5759 87 | 1.778 % | 48.49/48.54 c | 63786 | 1989 29165 94137 | 12939 5984 88 | 1.778 % | 48.58/48.66 c | 64125 | 1989 29165 94137 | 14233 6323 89 | 1.778 % | 48.77/48.88 c | 64633 | 1989 29165 94137 | 15656 6831 90 | 1.778 % | 49.28/49.30 c | 65392 | 1989 29165 94137 | 17222 7590 92 | 1.778 % | 49.78/49.84 c | 66531 | 1989 29165 94137 | 18944 8729 93 | 1.778 % | 50.59/50.63 c | 68240 | 1989 29165 94137 | 20839 10438 96 | 1.778 % | 50.69/50.72 c =============================================================================== 50.69/50.72 c New solution: -65 50.69/50.72 o -65 50.69/50.72 c Elapsed CPU time: 50.3693 s Remaining CPU time: 129.631 s 50.69/50.72 c =============================================================================== 50.69/50.72 c | 68401 | 1989 29166 94272 | 9722 10599 96 | 1.778 % | 50.78/50.81 c | 68502 | 1989 29166 94272 | 10694 5401 87 | 1.778 % | 50.78/50.87 c | 68652 | 1989 29166 94272 | 11763 5551 88 | 1.778 % | 50.88/50.94 c | 68881 | 1989 29166 94272 | 12939 5780 88 | 1.778 % | 50.98/51.05 c | 69219 | 1989 29166 94272 | 14233 6118 89 | 1.778 % | 51.17/51.24 c | 69726 | 1989 29166 94272 | 15657 6625 91 | 1.778 % | 51.58/51.64 c | 70485 | 1989 29166 94272 | 17223 7384 92 | 1.778 % | 52.17/52.27 c | 71626 | 1989 29166 94272 | 18945 8525 94 | 1.778 % | 53.18/53.29 c | 73334 | 1989 29166 94272 | 20839 10233 95 | 1.778 % | 53.28/53.36 c =============================================================================== 53.28/53.36 c New solution: -67 53.28/53.36 o -67 53.28/53.36 c Elapsed CPU time: 52.9809 s Remaining CPU time: 127.019 s 53.28/53.36 c =============================================================================== 53.28/53.36 c | 73439 | 1989 29167 94407 | 9722 10338 95 | 1.778 % | 53.38/53.42 c | 73539 | 1989 29167 94407 | 10694 5269 87 | 1.778 % | 53.38/53.49 c | 73690 | 1989 29167 94407 | 11764 5420 87 | 1.778 % | 53.58/53.60 c | 73915 | 1989 29167 94407 | 12940 5645 88 | 1.778 % | 53.68/53.76 c | 74256 | 1989 29167 94407 | 14234 5986 89 | 1.778 % | 53.88/53.96 c | 74762 | 1989 29167 94407 | 15657 6492 90 | 1.778 % | 54.28/54.32 c | 75523 | 1989 29167 94407 | 17223 7253 91 | 1.778 % | 54.88/54.91 c | 76663 | 1989 29167 94407 | 18946 8393 93 | 1.778 % | 55.87/55.93 c | 78371 | 1989 29167 94407 | 20840 10101 94 | 1.778 % | 57.77/57.86 c | 80937 | 1989 29167 94407 | 22924 12667 96 | 1.778 % | 62.07/62.11 c | 84781 | 1989 29167 94407 | 25217 16511 98 | 1.778 % | 70.57/70.62 c | 90549 | 1989 29167 94407 | 27738 22279 99 | 1.778 % | 79.47/79.58 c | 99199 | 1989 29167 94407 | 30512 15547 96 | 1.778 % | 79.97/80.07 c =============================================================================== 79.97/80.07 c New solution: -68 79.97/80.07 o -68 79.97/80.07 c Elapsed CPU time: 79.5739 s Remaining CPU time: 100.426 s 79.97/80.07 c =============================================================================== 79.97/80.07 c | 99838 | 1989 29168 94542 | 9722 16186 96 | 1.778 % | 80.07/80.17 c | 99940 | 1989 29168 94542 | 10694 8195 92 | 1.778 % | 80.17/80.26 c | 100092 | 1989 29168 94542 | 11764 8347 92 | 1.778 % | 80.37/80.41 c | 100317 | 1989 29168 94542 | 12940 8572 92 | 1.778 % | 80.57/80.61 c | 100654 | 1989 29168 94542 | 14234 8909 93 | 1.778 % | 80.87/80.96 c | 101161 | 1989 29168 94542 | 15658 9416 93 | 1.778 % | 81.38/81.46 c | 101922 | 1989 29168 94542 | 17224 10177 94 | 1.778 % | 82.17/82.29 c | 103066 | 1989 29168 94542 | 18946 11321 95 | 1.778 % | 83.37/83.41 c | 104774 | 1989 29168 94542 | 20841 13029 96 | 1.778 % | 84.68/84.75 c =============================================================================== 84.68/84.75 c Best Solution: 279 84.68/84.75 s OPTIMUM FOUND 84.68/84.75 c Total CPU time: 84.2412 s 84.68/84.75 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 -68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680379-1277460361/watcher-2680379-1277460361 -o /tmp/evaluation-result-2680379-1277460361/solver-2680379-1277460361 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680379-1277460361.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 0.97 3/106 27165 /proc/meminfo: memFree=1515084/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=3644 CPUtime=0 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 312 0 0 0 0 0 0 0 19 0 1 0 87328534 3731456 231 1992294400 134512640 135752675 4294442272 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 911 231 137 303 0 371 0 [startup+0.100269 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27165 /proc/meminfo: memFree=1515084/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=4872 CPUtime=0.09 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 731 0 0 0 9 0 0 0 19 0 1 0 87328534 4988928 650 1992294400 134512640 135752675 4294442272 18446744073709551615 134564712 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 1218 650 276 303 0 678 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4872 [startup+0.201277 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27165 /proc/meminfo: memFree=1515084/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=5144 CPUtime=0.19 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 1128 0 0 0 19 0 0 0 20 0 1 0 87328534 5267456 812 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 1286 812 141 303 0 981 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5144 [startup+0.301286 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27165 /proc/meminfo: memFree=1515084/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=5144 CPUtime=0.29 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 1131 0 0 0 27 2 0 0 18 0 1 0 87328534 5267456 815 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 1286 815 144 303 0 981 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5144 [startup+0.700322 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27165 /proc/meminfo: memFree=1515084/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=5792 CPUtime=0.69 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 1315 0 0 0 64 5 0 0 18 0 1 0 87328534 5931008 999 1992294400 134512640 135752675 4294442272 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 1448 999 145 303 0 1143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5792 [startup+1.50039 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27166 /proc/meminfo: memFree=1510364/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=7472 CPUtime=1.49 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 1716 0 0 0 143 6 0 0 19 0 1 0 87328534 7651328 1400 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 1868 1400 145 303 0 1563 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7472 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27166 /proc/meminfo: memFree=1508752/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=9420 CPUtime=3.09 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 2214 0 0 0 300 9 0 0 23 0 1 0 87328534 9646080 1898 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 2355 1898 145 303 0 2050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9420 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27166 /proc/meminfo: memFree=1504908/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=12696 CPUtime=6.29 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 3031 0 0 0 618 11 0 0 25 0 1 0 87328534 13000704 2715 1992294400 134512640 135752675 4294442272 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 3174 2715 145 303 0 2869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12696 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27166 /proc/meminfo: memFree=1497468/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=19688 CPUtime=12.69 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 4771 0 0 0 1253 16 0 0 25 0 1 0 87328534 20160512 4455 1992294400 134512640 135752675 4294442272 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 4922 4455 145 303 0 4617 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19688 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1491020/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=26048 CPUtime=25.48 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 6336 0 0 0 2527 21 0 0 25 0 1 0 87328534 26673152 6020 1992294400 134512640 135752675 4294442272 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 6512 6020 145 303 0 6207 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26048 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1475272/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=42324 CPUtime=51.08 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 10397 0 0 0 5074 34 0 0 25 0 1 0 87328534 43339776 10081 1992294400 134512640 135752675 4294442272 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 10581 10081 145 303 0 10276 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42324 Solver just ended. Dumping a history of the last processes samples [startup+51.2008 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1475272/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=42452 CPUtime=51.17 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 10427 0 0 0 5083 34 0 0 25 0 1 0 87328534 43470848 10111 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 10613 10111 145 303 0 10308 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 42452 [startup+64.001 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1466220/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=50684 CPUtime=63.98 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 12487 0 0 0 6357 41 0 0 25 0 1 0 87328534 51900416 12171 1992294400 134512640 135752675 4294442272 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 12671 12171 145 303 0 12366 0 Current children cumulated CPU time (s) 63.98 Current children cumulated vsize (KiB) 50684 [startup+76.8011 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1461136/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=56060 CPUtime=76.78 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 13810 0 0 0 7632 46 0 0 25 0 1 0 87328534 57405440 13494 1992294400 134512640 135752675 4294442272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 14015 13494 145 303 0 13710 0 Current children cumulated CPU time (s) 76.78 Current children cumulated vsize (KiB) 56060 [startup+80.0014 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1459648/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=57724 CPUtime=79.97 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 14252 0 0 0 7950 47 0 0 25 0 1 0 87328534 59109376 13936 1992294400 134512640 135752675 4294442272 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 14431 13936 145 303 0 14126 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (KiB) 57724 [startup+83.2017 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1457168/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=60028 CPUtime=83.17 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 14828 0 0 0 8269 48 0 0 25 0 1 0 87328534 61468672 14512 1992294400 134512640 135752675 4294442272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 15007 14512 145 303 0 14702 0 Current children cumulated CPU time (s) 83.17 Current children cumulated vsize (KiB) 60028 [startup+84.0017 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1456424/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=60672 CPUtime=83.98 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 14973 0 0 0 8349 49 0 0 25 0 1 0 87328534 62128128 14657 1992294400 134512640 135752675 4294442272 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 15168 14657 145 303 0 14863 0 Current children cumulated CPU time (s) 83.98 Current children cumulated vsize (KiB) 60672 [startup+84.4018 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1456424/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=60800 CPUtime=84.37 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 15019 0 0 0 8388 49 0 0 25 0 1 0 87328534 62259200 14703 1992294400 134512640 135752675 4294442272 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 15200 14703 145 303 0 14895 0 Current children cumulated CPU time (s) 84.37 Current children cumulated vsize (KiB) 60800 [startup+84.6018 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1456424/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=60928 CPUtime=84.57 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 15043 0 0 0 8408 49 0 0 25 0 1 0 87328534 62390272 14727 1992294400 134512640 135752675 4294442272 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 15232 14727 145 303 0 14927 0 Current children cumulated CPU time (s) 84.57 Current children cumulated vsize (KiB) 60928 [startup+84.7018 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27168 /proc/meminfo: memFree=1455804/2059040 swapFree=4140380/4192956 [pid=27165] ppid=27163 vsize=61056 CPUtime=84.68 /proc/27165/stat : 27165 (wbo1.4b) R 27163 27165 26441 0 -1 4202496 15059 0 0 0 8419 49 0 0 25 0 1 0 87328534 62521344 14743 1992294400 134512640 135752675 4294442272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27165/statm: 15264 14743 145 303 0 14959 0 Current children cumulated CPU time (s) 84.68 Current children cumulated vsize (KiB) 61056 Child status: 0 Real time (s): 84.7638 CPU time (s): 84.7431 CPU user time (s): 84.2422 CPU system time (s): 0.500923 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 61056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 84.2422 system time used= 0.500923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15080 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= 23 involuntary context switches= 50 runsolver used 0.167974 second user time and 0.39394 second system time The end
Begin job on node043 at 2010-06-25 12:06:01 IDJOB=2680379 IDBENCH=71825 IDSOLVER=1190 FILE ID=node043/2680379-1277460361 PBS_JOBID= 11188124 Free space on /tmp= 62324 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680379-1277460361/watcher-2680379-1277460361 -o /tmp/evaluation-result-2680379-1277460361/solver-2680379-1277460361 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680379-1277460361.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a25a52544be0f6847f2aa8f54184e900 RANDOM SEED=634444575 node043.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.241 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1515364 kB Buffers: 119660 kB Cached: 315664 kB SwapCached: 5496 kB Active: 33148 kB Inactive: 416004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1515364 kB SwapTotal: 4192956 kB SwapFree: 4140380 kB Dirty: 3608 kB Writeback: 0 kB AnonPages: 12380 kB Mapped: 12012 kB Slab: 72284 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182428 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= 62320 MiB End job on node043 at 2010-06-25 12:07:26