Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -68 | 85.246 | 85.2842 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655736-1276685500.opb. 0.00/0.00 c Instance file HOME/instance-2655736-1276685500.opb 0.00/0.00 c File size is 961894 bytes. 0.09/0.15 c Highest Coefficient sum: 4 0.09/0.15 c ============================[ Problem Statistics ]============================= 0.09/0.15 c | | 0.09/0.15 c | Parsing time: 0.15 s | 0.09/0.15 c | Number Variables: 2025 | 0.09/0.15 c | Number Clauses: 29069 | 0.09/0.15 c | Number Cardinality: 0 | 0.09/0.15 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.20 c =============================================================================== 0.19/0.20 c New solution: 347 0.19/0.20 o 347 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1989 29106 86172 | 9702 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 345 0.19/0.21 o 345 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1989 29107 86307 | 9702 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 343 0.19/0.21 o 343 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1989 29108 86442 | 9702 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 341 0.19/0.22 o 341 0.19/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 2 | 1989 29109 86577 | 9703 2 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 340 0.19/0.23 o 340 0.19/0.23 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 2 | 1989 29110 86712 | 9703 2 134 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 339 0.19/0.23 o 339 0.19/0.23 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 3 | 1989 29111 86847 | 9703 3 133 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 338 0.19/0.24 o 338 0.19/0.24 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 4 | 1989 29112 86982 | 9704 4 132 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 337 0.19/0.24 o 337 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 | 4 | 1989 29113 87117 | 9704 4 132 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 336 0.19/0.25 o 336 0.19/0.25 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 5 | 1989 29114 87252 | 9704 5 132 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 335 0.19/0.26 o 335 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 | 6 | 1989 29115 87387 | 9705 6 131 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 334 0.19/0.26 o 334 0.19/0.26 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 7 | 1989 29116 87522 | 9705 7 131 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 333 0.19/0.27 o 333 0.19/0.27 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 8 | 1989 29117 87657 | 9705 8 130 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 332 0.19/0.27 o 332 0.19/0.27 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 9 | 1989 29118 87792 | 9706 9 130 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 331 0.19/0.28 o 331 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 | 10 | 1989 29119 87927 | 9706 10 118 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 330 0.19/0.29 o 330 0.19/0.29 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 12 | 1989 29120 88062 | 9706 12 109 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 329 0.19/0.29 o 329 0.19/0.29 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 13 | 1989 29121 88197 | 9707 13 110 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 328 0.29/0.30 o 328 0.29/0.30 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 14 | 1989 29122 88332 | 9707 14 112 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 327 0.29/0.30 o 327 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 | 15 | 1989 29123 88467 | 9707 15 113 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 326 0.29/0.31 o 326 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 | 16 | 1989 29124 88602 | 9708 16 113 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 325 0.29/0.32 o 325 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 | 19 | 1989 29125 88737 | 9708 19 115 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 324 0.29/0.32 o 324 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 | 31 | 1989 29126 88872 | 9708 31 111 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 323 0.29/0.33 o 323 0.29/0.33 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 42 | 1989 29127 89007 | 9709 42 112 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 322 0.29/0.34 o 322 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 | 43 | 1989 29128 89142 | 9709 43 112 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 321 0.29/0.34 o 321 0.29/0.34 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 43 | 1989 29129 89277 | 9709 43 112 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 320 0.29/0.35 o 320 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 | 45 | 1989 29130 89412 | 9710 45 112 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 319 0.29/0.36 o 319 0.29/0.36 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 51 | 1989 29131 89547 | 9710 51 113 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 318 0.29/0.36 o 318 0.29/0.36 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 51 | 1989 29132 89682 | 9710 51 113 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 317 0.29/0.37 o 317 0.29/0.37 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 51 | 1989 29133 89817 | 9711 51 113 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 316 0.29/0.37 o 316 0.29/0.37 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 65 | 1989 29134 89952 | 9711 65 110 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 315 0.29/0.39 o 315 0.29/0.39 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 123 | 1989 29135 90087 | 9711 123 108 | 0.000 % | 0.39/0.40 c | 223 | 1989 29135 90087 | 10682 223 104 | 1.778 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 314 0.39/0.42 o 314 0.39/0.42 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 334 | 1989 29136 90222 | 9712 334 104 | 1.778 % | 0.39/0.43 c | 434 | 1989 29136 90222 | 10683 434 104 | 1.778 % | 0.39/0.45 c | 584 | 1989 29136 90222 | 11751 584 105 | 1.778 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 313 0.39/0.48 o 313 0.39/0.48 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 739 | 1989 29137 90357 | 9712 739 105 | 1.778 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 312 0.39/0.49 o 312 0.39/0.49 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 744 | 1989 29138 90492 | 9712 744 105 | 1.778 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 311 0.39/0.49 o 311 0.39/0.49 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 744 | 1989 29139 90627 | 9713 744 105 | 1.778 % | 0.49/0.51 c | 845 | 1989 29139 90627 | 10684 845 105 | 1.778 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 310 0.49/0.53 o 310 0.49/0.53 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 961 | 1989 29140 90762 | 9713 961 105 | 1.778 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 309 0.49/0.54 o 309 0.49/0.54 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 965 | 1989 29141 90897 | 9713 965 105 | 1.778 % | 0.49/0.55 c | 1065 | 1989 29141 90897 | 10685 1065 106 | 1.778 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 308 0.49/0.59 o 308 0.49/0.59 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 1214 | 1989 29142 91032 | 9714 1214 106 | 1.778 % | 0.59/0.61 c | 1314 | 1989 29142 91032 | 10685 1314 106 | 1.778 % | 0.59/0.63 c | 1464 | 1989 29142 91032 | 11753 1464 106 | 1.778 % | 0.59/0.66 c | 1689 | 1989 29142 91032 | 12929 1689 106 | 1.778 % | 0.69/0.71 c | 2027 | 1989 29142 91032 | 14222 2027 107 | 1.778 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 307 0.69/0.74 o 307 0.69/0.74 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 2161 | 1989 29143 91167 | 9714 2161 107 | 1.778 % | 0.69/0.76 c | 2261 | 1989 29143 91167 | 10685 2261 107 | 1.778 % | 0.69/0.79 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.08 c | 3481 | 1989 29143 91167 | 15645 3481 108 | 1.778 % | 1.09/1.18 c =============================================================================== 1.09/1.18 c New solution: 306 1.09/1.18 o 306 1.09/1.18 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s 1.09/1.18 c =============================================================================== 1.09/1.18 c | 3768 | 1989 29144 91302 | 9714 3768 108 | 1.778 % | 1.19/1.22 c | 3869 | 1989 29144 91302 | 10686 3869 108 | 1.778 % | 1.19/1.28 c | 4019 | 1989 29144 91302 | 11754 4019 108 | 1.778 % | 1.29/1.37 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.51 c =============================================================================== 1.49/1.51 c New solution: 305 1.49/1.51 o 305 1.49/1.51 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 4734 | 1989 29145 91437 | 9715 4734 108 | 1.778 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: 304 1.49/1.52 o 304 1.49/1.52 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 4734 | 1989 29146 91572 | 9715 4734 108 | 1.778 % | 1.49/1.57 c | 4835 | 1989 29146 91572 | 10686 4835 108 | 1.778 % | 1.59/1.63 c | 4986 | 1989 29146 91572 | 11755 4986 109 | 1.778 % | 1.69/1.73 c | 5212 | 1989 29146 91572 | 12931 5212 109 | 1.778 % | 1.79/1.87 c | 5549 | 1989 29146 91572 | 14224 5549 109 | 1.778 % | 1.99/2.07 c =============================================================================== 1.99/2.08 c New solution: 303 1.99/2.08 o 303 1.99/2.08 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 5928 | 1989 29147 91707 | 9715 5928 109 | 1.778 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c New solution: 302 1.99/2.09 o 302 1.99/2.09 c Elapsed CPU time: 2.02069 s Remaining CPU time: 177.979 s 1.99/2.09 c =============================================================================== 1.99/2.09 c | 5936 | 1989 29148 91842 | 9716 5936 109 | 1.778 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c New solution: 301 1.99/2.09 o 301 1.99/2.09 c Elapsed CPU time: 2.02869 s Remaining CPU time: 177.971 s 1.99/2.09 c =============================================================================== 1.99/2.09 c | 5938 | 1989 29149 91977 | 9716 5938 109 | 1.778 % | 2.09/2.14 c | 6039 | 1989 29149 91977 | 10687 6039 109 | 1.778 % | 2.20/2.21 c | 6189 | 1989 29149 91977 | 11756 6189 109 | 1.778 % | 2.29/2.33 c | 6415 | 1989 29149 91977 | 12932 6415 109 | 1.778 % | 2.49/2.55 c | 6755 | 1989 29149 91977 | 14225 6755 109 | 1.778 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c New solution: 300 2.59/2.64 o 300 2.59/2.64 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s 2.59/2.64 c =============================================================================== 2.59/2.64 c | 6895 | 1989 29150 92112 | 9716 6895 108 | 1.778 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: 299 2.59/2.68 o 299 2.59/2.68 c Elapsed CPU time: 2.6016 s Remaining CPU time: 177.398 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 6927 | 1989 29151 92247 | 9717 6927 108 | 1.778 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: 298 2.59/2.68 o 298 2.59/2.68 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 6927 | 1989 29152 92382 | 9717 6927 108 | 1.778 % | 2.69/2.74 c | 7028 | 1989 29152 92382 | 10689 7028 108 | 1.778 % | 2.69/2.77 c | 7179 | 1989 29152 92382 | 11757 7179 108 | 1.778 % | 2.79/2.86 c | 7404 | 1989 29152 92382 | 12933 7404 108 | 1.778 % | 2.89/2.98 c | 7741 | 1989 29152 92382 | 14227 7741 108 | 1.778 % | 3.19/3.25 c | 8247 | 1989 29152 92382 | 15649 8247 108 | 1.778 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c New solution: 297 3.30/3.38 o 297 3.30/3.38 c Elapsed CPU time: 3.2955 s Remaining CPU time: 176.705 s 3.30/3.38 c =============================================================================== 3.30/3.38 c | 8582 | 1989 29153 92517 | 9717 8582 108 | 1.778 % | 3.30/3.40 c =============================================================================== 3.30/3.40 c New solution: 296 3.30/3.40 o 296 3.30/3.40 c Elapsed CPU time: 3.3145 s Remaining CPU time: 176.686 s 3.30/3.40 c =============================================================================== 3.30/3.40 c | 8607 | 1989 29154 92652 | 9718 8607 108 | 1.778 % | 3.39/3.45 c | 8707 | 1989 29154 92652 | 10689 8707 108 | 1.778 % | 3.49/3.53 c | 8860 | 1989 29154 92652 | 11758 8860 108 | 1.778 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c New solution: 295 3.49/3.57 o 295 3.49/3.57 c Elapsed CPU time: 3.49047 s Remaining CPU time: 176.51 s 3.49/3.57 c =============================================================================== 3.49/3.57 c | 8923 | 1989 29155 92787 | 9718 8923 108 | 1.778 % | 3.49/3.59 c =============================================================================== 3.49/3.59 c New solution: 294 3.49/3.59 o 294 3.49/3.59 c Elapsed CPU time: 3.49947 s Remaining CPU time: 176.501 s 3.49/3.59 c =============================================================================== 3.49/3.59 c | 8927 | 1989 29156 92922 | 9718 8927 108 | 1.778 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c New solution: 293 3.59/3.63 o 293 3.59/3.63 c Elapsed CPU time: 3.53946 s Remaining CPU time: 176.461 s 3.59/3.63 c =============================================================================== 3.59/3.63 c | 8987 | 1989 29157 93057 | 9719 8987 108 | 1.778 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c New solution: 292 3.59/3.65 o 292 3.59/3.65 c Elapsed CPU time: 3.56346 s Remaining CPU time: 176.437 s 3.59/3.65 c =============================================================================== 3.59/3.65 c | 9006 | 1989 29158 93192 | 9719 9006 108 | 1.778 % | 3.59/3.68 c | 9106 | 1989 29158 93192 | 10691 9106 108 | 1.778 % | 3.69/3.77 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.03 c | 9821 | 1989 29158 93192 | 14230 9821 108 | 1.778 % | 4.19/4.29 c | 10328 | 1989 29158 93192 | 15653 10328 108 | 1.778 % | 4.59/4.65 c | 11088 | 1989 29158 93192 | 17218 11088 108 | 1.778 % | 5.29/5.38 c | 12227 | 1989 29158 93192 | 18940 12227 108 | 1.778 % | 6.09/6.19 c =============================================================================== 6.09/6.19 c New solution: 291 6.09/6.19 o 291 6.09/6.19 c Elapsed CPU time: 6.08807 s Remaining CPU time: 173.912 s 6.09/6.19 c =============================================================================== 6.09/6.19 c | 13660 | 1989 29159 93327 | 9719 13660 107 | 1.778 % | 6.29/6.34 c | 13761 | 1989 29159 93327 | 10691 6931 102 | 1.778 % | 6.39/6.41 c | 13911 | 1989 29159 93327 | 11760 7081 102 | 1.778 % | 6.49/6.52 c | 14137 | 1989 29159 93327 | 12936 7307 102 | 1.778 % | 6.68/6.72 c | 14476 | 1989 29159 93327 | 14230 7646 102 | 1.778 % | 6.89/6.99 c | 14985 | 1989 29159 93327 | 15653 8155 103 | 1.778 % | 7.29/7.33 c | 15744 | 1989 29159 93327 | 17218 8914 103 | 1.778 % | 7.88/7.90 c | 16883 | 1989 29159 93327 | 18940 10053 103 | 1.778 % | 7.88/7.92 c =============================================================================== 7.88/7.92 c New solution: 290 7.88/7.92 o 290 7.88/7.92 c Elapsed CPU time: 7.79881 s Remaining CPU time: 172.201 s 7.88/7.92 c =============================================================================== 7.88/7.92 c | 16894 | 1989 29160 93462 | 9720 10064 103 | 1.778 % | 7.88/7.97 c =============================================================================== 7.88/7.97 c New solution: 288 7.88/7.97 o 288 7.88/7.97 c Elapsed CPU time: 7.84381 s Remaining CPU time: 172.156 s 7.88/7.97 c =============================================================================== 7.88/7.97 c | 16912 | 1989 29161 93597 | 9720 5050 100 | 1.778 % | 7.99/8.01 c | 17015 | 1989 29161 93597 | 10692 5153 100 | 1.778 % | 7.99/8.08 c | 17168 | 1989 29161 93597 | 11761 5306 100 | 1.778 % | 8.09/8.19 c | 17395 | 1989 29161 93597 | 12937 5533 100 | 1.778 % | 8.19/8.28 c | 17736 | 1989 29161 93597 | 14231 5874 100 | 1.778 % | 8.38/8.48 c | 18242 | 1989 29161 93597 | 15654 6380 101 | 1.778 % | 8.69/8.73 c | 19003 | 1989 29161 93597 | 17220 7141 101 | 1.778 % | 9.08/9.10 c | 20144 | 1989 29161 93597 | 18942 8282 102 | 1.778 % | 9.90/9.94 c | 21853 | 1989 29161 93597 | 20836 9991 102 | 1.778 % | 10.89/11.00 c | 24418 | 1989 29161 93597 | 22920 12556 103 | 1.778 % | 13.78/13.81 c | 28266 | 1989 29161 93597 | 25212 16404 104 | 1.778 % | 18.88/18.97 c | 34032 | 1989 29161 93597 | 27733 22170 105 | 1.778 % | 30.69/30.79 c =============================================================================== 30.69/30.79 c New solution: 286 30.69/30.79 o 286 30.69/30.79 c Elapsed CPU time: 30.5574 s Remaining CPU time: 149.443 s 30.69/30.79 c =============================================================================== 30.69/30.79 c | 42188 | 1989 29162 93732 | 9720 14270 103 | 1.778 % | 30.98/31.07 c | 42291 | 1989 29162 93732 | 10692 7238 97 | 1.778 % | 31.08/31.13 c | 42443 | 1989 29162 93732 | 11762 7390 97 | 1.778 % | 31.18/31.26 c | 42668 | 1989 29162 93732 | 12938 7615 97 | 1.778 % | 31.37/31.47 c | 43007 | 1989 29162 93732 | 14232 7954 97 | 1.778 % | 31.78/31.87 c | 43513 | 1989 29162 93732 | 15655 8460 97 | 1.778 % | 32.27/32.31 c | 44272 | 1989 29162 93732 | 17220 9219 98 | 1.778 % | 32.99/33.02 c | 45413 | 1989 29162 93732 | 18942 10360 99 | 1.778 % | 34.17/34.29 c | 47124 | 1989 29162 93732 | 20837 12071 100 | 1.778 % | 34.38/34.44 c =============================================================================== 34.38/34.44 c New solution: 285 34.38/34.44 o 285 34.38/34.44 c Elapsed CPU time: 34.1848 s Remaining CPU time: 145.815 s 34.38/34.44 c =============================================================================== 34.38/34.44 c | 47536 | 1989 29163 93867 | 9721 12483 100 | 1.778 % | 34.48/34.58 c =============================================================================== 34.48/34.58 c New solution: 284 34.48/34.58 o 284 34.48/34.58 c Elapsed CPU time: 34.3278 s Remaining CPU time: 145.672 s 34.48/34.58 c =============================================================================== 34.48/34.58 c | 47536 | 1989 29164 94002 | 9721 6242 91 | 1.778 % | 34.58/34.61 c | 47639 | 1989 29164 94002 | 10693 6345 92 | 1.778 % | 34.58/34.65 c | 47793 | 1989 29164 94002 | 11762 6499 92 | 1.778 % | 34.68/34.70 c | 48020 | 1989 29164 94002 | 12939 6726 93 | 1.778 % | 34.78/34.83 c | 48357 | 1989 29164 94002 | 14233 7063 93 | 1.778 % | 34.98/35.01 c | 48865 | 1989 29164 94002 | 15656 7571 94 | 1.778 % | 35.27/35.34 c | 49626 | 1989 29164 94002 | 17221 8332 95 | 1.778 % | 35.88/35.94 c | 50765 | 1989 29164 94002 | 18944 9471 97 | 1.778 % | 36.98/37.02 c | 52473 | 1989 29164 94002 | 20838 11179 98 | 1.778 % | 39.07/39.13 c | 55036 | 1989 29164 94002 | 22922 13742 100 | 1.778 % | 42.67/42.70 c | 58881 | 1989 29164 94002 | 25214 17587 101 | 1.778 % | 48.16/48.22 c =============================================================================== 48.16/48.22 c New solution: 283 48.16/48.22 o 283 48.16/48.22 c Elapsed CPU time: 47.8867 s Remaining CPU time: 132.113 s 48.16/48.22 c =============================================================================== 48.16/48.22 c | 63305 | 1989 29165 94137 | 9721 22011 102 | 1.778 % | 48.57/48.60 c | 63408 | 1989 29165 94137 | 10693 5606 87 | 1.778 % | 48.57/48.67 c | 63561 | 1989 29165 94137 | 11763 5759 87 | 1.778 % | 48.67/48.77 c | 63786 | 1989 29165 94137 | 12939 5984 88 | 1.778 % | 48.77/48.89 c | 64125 | 1989 29165 94137 | 14233 6323 89 | 1.778 % | 49.06/49.11 c | 64633 | 1989 29165 94137 | 15656 6831 90 | 1.778 % | 49.47/49.53 c | 65392 | 1989 29165 94137 | 17222 7590 92 | 1.778 % | 49.97/50.06 c | 66531 | 1989 29165 94137 | 18944 8729 93 | 1.778 % | 50.76/50.85 c | 68240 | 1989 29165 94137 | 20839 10438 96 | 1.778 % | 50.86/50.94 c =============================================================================== 50.86/50.94 c New solution: 282 50.86/50.94 o 282 50.86/50.94 c Elapsed CPU time: 50.5903 s Remaining CPU time: 129.41 s 50.86/50.94 c =============================================================================== 50.86/50.94 c | 68401 | 1989 29166 94272 | 9722 10599 96 | 1.778 % | 50.96/51.06 c | 68502 | 1989 29166 94272 | 10694 5401 87 | 1.778 % | 51.07/51.13 c | 68652 | 1989 29166 94272 | 11763 5551 88 | 1.778 % | 51.07/51.19 c | 68881 | 1989 29166 94272 | 12939 5780 88 | 1.778 % | 51.27/51.31 c | 69219 | 1989 29166 94272 | 14233 6118 89 | 1.778 % | 51.36/51.49 c | 69726 | 1989 29166 94272 | 15657 6625 91 | 1.778 % | 51.76/51.89 c | 70485 | 1989 29166 94272 | 17223 7384 92 | 1.778 % | 52.47/52.52 c | 71626 | 1989 29166 94272 | 18945 8525 94 | 1.778 % | 53.47/53.55 c | 73334 | 1989 29166 94272 | 20839 10233 95 | 1.778 % | 53.57/53.62 c =============================================================================== 53.57/53.62 c New solution: 280 53.57/53.62 o 280 53.57/53.62 c Elapsed CPU time: 53.2419 s Remaining CPU time: 126.758 s 53.57/53.62 c =============================================================================== 53.57/53.62 c | 73439 | 1989 29167 94407 | 9722 10338 95 | 1.778 % | 53.57/53.69 c | 73539 | 1989 29167 94407 | 10694 5269 87 | 1.778 % | 53.67/53.76 c | 73690 | 1989 29167 94407 | 11764 5420 87 | 1.778 % | 53.77/53.87 c | 73915 | 1989 29167 94407 | 12940 5645 88 | 1.778 % | 53.96/54.03 c | 74256 | 1989 29167 94407 | 14234 5986 89 | 1.778 % | 54.16/54.23 c | 74762 | 1989 29167 94407 | 15657 6492 90 | 1.778 % | 54.46/54.59 c | 75523 | 1989 29167 94407 | 17223 7253 91 | 1.778 % | 55.07/55.17 c | 76663 | 1989 29167 94407 | 18946 8393 93 | 1.778 % | 56.16/56.20 c | 78371 | 1989 29167 94407 | 20840 10101 94 | 1.778 % | 58.06/58.12 c | 80937 | 1989 29167 94407 | 22924 12667 96 | 1.778 % | 62.26/62.34 c | 84781 | 1989 29167 94407 | 25217 16511 98 | 1.778 % | 70.76/70.81 c | 90549 | 1989 29167 94407 | 27738 22279 99 | 1.778 % | 79.95/80.08 c | 99199 | 1989 29167 94407 | 30512 15547 96 | 1.778 % | 80.46/80.56 c =============================================================================== 80.46/80.56 c New solution: 279 80.46/80.56 o 279 80.46/80.56 c Elapsed CPU time: 80.0908 s Remaining CPU time: 99.9092 s 80.46/80.56 c =============================================================================== 80.46/80.56 c | 99838 | 1989 29168 94542 | 9722 16186 96 | 1.778 % | 80.66/80.70 c | 99940 | 1989 29168 94542 | 10694 8195 92 | 1.778 % | 80.66/80.78 c | 100092 | 1989 29168 94542 | 11764 8347 92 | 1.778 % | 80.86/80.93 c | 100317 | 1989 29168 94542 | 12940 8572 92 | 1.778 % | 81.05/81.13 c | 100654 | 1989 29168 94542 | 14234 8909 93 | 1.778 % | 81.36/81.48 c | 101161 | 1989 29168 94542 | 15658 9416 93 | 1.778 % | 81.85/81.98 c | 101922 | 1989 29168 94542 | 17224 10177 94 | 1.778 % | 82.76/82.80 c | 103066 | 1989 29168 94542 | 18946 11321 95 | 1.778 % | 83.85/83.91 c | 104774 | 1989 29168 94542 | 20841 13029 96 | 1.778 % | 85.15/85.27 c =============================================================================== 85.15/85.27 c Best Solution: 279 85.15/85.27 s OPTIMUM FOUND 85.15/85.27 c Total CPU time: 84.7691 s 85.15/85.27 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-2655736-1276685500/watcher-2655736-1276685500 -o /tmp/evaluation-result-2655736-1276685500/solver-2655736-1276685500 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655736-1276685500.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.44 1.71 3/106 8484 /proc/meminfo: memFree=1820888/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=3784 CPUtime=0 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 348 0 0 0 0 0 0 0 18 0 1 0 44151553 3874816 266 1992294400 134512640 135751879 4294092416 18446744073709551615 135009509 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 946 267 144 303 0 406 0 [startup+0.0503749 s] /proc/loadavg: 1.00 1.44 1.71 3/106 8484 /proc/meminfo: memFree=1820888/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=4264 CPUtime=0.04 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 530 0 0 0 4 0 0 0 18 0 1 0 44151553 4366336 448 1992294400 134512640 135751879 4294092416 18446744073709551615 134564315 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 1066 448 210 303 0 526 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4264 [startup+0.101381 s] /proc/loadavg: 1.00 1.44 1.71 3/106 8484 /proc/meminfo: memFree=1820888/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=4876 CPUtime=0.09 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 746 0 0 0 9 0 0 0 18 0 1 0 44151553 4993024 664 1992294400 134512640 135751879 4294092416 18446744073709551615 135225300 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 1219 664 290 303 0 679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4876 [startup+0.301408 s] /proc/loadavg: 1.00 1.44 1.71 3/106 8484 /proc/meminfo: memFree=1820888/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=5148 CPUtime=0.29 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 1132 0 0 0 27 2 0 0 18 0 1 0 44151553 5271552 815 1992294400 134512640 135751879 4294092416 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 1287 815 146 303 0 982 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5148 [startup+0.701462 s] /proc/loadavg: 1.00 1.44 1.71 3/106 8484 /proc/meminfo: memFree=1820888/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=5928 CPUtime=0.69 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 1328 0 0 0 64 5 0 0 18 0 1 0 44151553 6070272 1011 1992294400 134512640 135751879 4294092416 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 1482 1011 147 303 0 1177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5928 [startup+1.50156 s] /proc/loadavg: 1.00 1.44 1.71 2/107 8485 /proc/meminfo: memFree=1816664/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=7492 CPUtime=1.49 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 1722 0 0 0 143 6 0 0 19 0 1 0 44151553 7671808 1405 1992294400 134512640 135751879 4294092416 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 1873 1405 147 303 0 1568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7492 [startup+3.10177 s] /proc/loadavg: 1.00 1.44 1.71 2/107 8485 /proc/meminfo: memFree=1814804/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=9460 CPUtime=3.08 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 2218 0 0 0 301 7 0 0 23 0 1 0 44151553 9687040 1901 1992294400 134512640 135751879 4294092416 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 2365 1901 147 303 0 2060 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9460 [startup+6.30119 s] /proc/loadavg: 1.00 1.44 1.71 2/107 8485 /proc/meminfo: memFree=1811084/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=12700 CPUtime=6.29 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 3026 0 0 0 619 10 0 0 25 0 1 0 44151553 13004800 2709 1992294400 134512640 135751879 4294092416 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 3175 2709 148 303 0 2870 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12700 [startup+12.701 s] /proc/loadavg: 1.00 1.42 1.70 2/107 8485 /proc/meminfo: memFree=1803520/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=19692 CPUtime=12.68 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 4770 0 0 0 1253 15 0 0 25 0 1 0 44151553 20164608 4453 1992294400 134512640 135751879 4294092416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 4923 4453 148 303 0 4618 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19692 [startup+25.5007 s] /proc/loadavg: 1.00 1.41 1.69 2/107 8487 /proc/meminfo: memFree=1797072/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=26052 CPUtime=25.48 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 6340 0 0 0 2528 20 0 0 25 0 1 0 44151553 26677248 6023 1992294400 134512640 135751879 4294092416 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 6513 6023 148 303 0 6208 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26052 [startup+51.1011 s] /proc/loadavg: 1.00 1.37 1.67 2/107 8487 /proc/meminfo: memFree=1781572/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=41944 CPUtime=51.07 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 10297 0 0 0 5074 33 0 0 25 0 1 0 44151553 42950656 9980 1992294400 134512640 135751879 4294092416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 10486 9980 148 303 0 10181 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41944 Solver just ended. Dumping a history of the last processes samples [startup+63.9017 s] /proc/loadavg: 1.00 1.35 1.66 2/107 8487 /proc/meminfo: memFree=1772396/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=50556 CPUtime=63.87 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 12461 0 0 0 6348 39 0 0 25 0 1 0 44151553 51769344 12144 1992294400 134512640 135751879 4294092416 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 12639 12144 148 303 0 12334 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 50556 [startup+76.7014 s] /proc/loadavg: 1.00 1.34 1.65 2/107 8487 /proc/meminfo: memFree=1767436/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=55936 CPUtime=76.66 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 13796 0 0 0 7624 42 0 0 25 0 1 0 44151553 57278464 13479 1992294400 134512640 135751879 4294092416 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 13984 13479 148 303 0 13679 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 55936 [startup+79.9018 s] /proc/loadavg: 1.00 1.34 1.65 2/107 8487 /proc/meminfo: memFree=1765948/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=57344 CPUtime=79.86 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 14159 0 0 0 7943 43 0 0 25 0 1 0 44151553 58720256 13842 1992294400 134512640 135751879 4294092416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 14336 13842 148 303 0 14031 0 Current children cumulated CPU time (s) 79.86 Current children cumulated vsize (KiB) 57344 [startup+83.1003 s] /proc/loadavg: 1.00 1.33 1.64 2/107 8487 /proc/meminfo: memFree=1763468/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=59648 CPUtime=83.05 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 14716 0 0 0 8260 45 0 0 25 0 1 0 44151553 61079552 14399 1992294400 134512640 135751879 4294092416 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 14912 14399 148 303 0 14607 0 Current children cumulated CPU time (s) 83.05 Current children cumulated vsize (KiB) 59648 [startup+83.9004 s] /proc/loadavg: 1.00 1.33 1.64 2/107 8487 /proc/meminfo: memFree=1762724/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=60288 CPUtime=83.85 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 14881 0 0 0 8339 46 0 0 25 0 1 0 44151553 61734912 14564 1992294400 134512640 135751879 4294092416 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 15072 14564 148 303 0 14767 0 Current children cumulated CPU time (s) 83.85 Current children cumulated vsize (KiB) 60288 [startup+84.7085 s] /proc/loadavg: 1.00 1.33 1.64 2/107 8487 /proc/meminfo: memFree=1761980/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=60804 CPUtime=84.66 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 15006 0 0 0 8420 46 0 0 25 0 1 0 44151553 62263296 14689 1992294400 134512640 135751879 4294092416 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 15201 14689 148 303 0 14896 0 Current children cumulated CPU time (s) 84.66 Current children cumulated vsize (KiB) 60804 [startup+85.1005 s] /proc/loadavg: 1.00 1.33 1.64 2/107 8487 /proc/meminfo: memFree=1761980/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=60932 CPUtime=85.05 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 15047 0 0 0 8459 46 0 0 25 0 1 0 44151553 62394368 14730 1992294400 134512640 135751879 4294092416 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 15233 14730 148 303 0 14928 0 Current children cumulated CPU time (s) 85.05 Current children cumulated vsize (KiB) 60932 [startup+85.2005 s] /proc/loadavg: 1.00 1.33 1.64 2/107 8487 /proc/meminfo: memFree=1761980/2059040 swapFree=4139776/4192956 [pid=8484] ppid=8482 vsize=60932 CPUtime=85.15 /proc/8484/stat : 8484 (wbo1.4b) R 8482 8484 8251 0 -1 4202496 15051 0 0 0 8469 46 0 0 25 0 1 0 44151553 62394368 14734 1992294400 134512640 135751879 4294092416 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8484/statm: 15233 14734 148 303 0 14928 0 Current children cumulated CPU time (s) 85.15 Current children cumulated vsize (KiB) 60932 Child status: 0 Real time (s): 85.2842 CPU time (s): 85.246 CPU user time (s): 84.7701 CPU system time (s): 0.475927 CPU usage (%): 99.9553 Max. virtual memory (cumulated for all children) (KiB): 60932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 84.7701 system time used= 0.475927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15083 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= 25 involuntary context switches= 325 runsolver used 0.144977 second user time and 0.414936 second system time The end
Begin job on node013 at 2010-06-16 12:51:41 IDJOB=2655736 IDBENCH=71825 IDSOLVER=1161 FILE ID=node013/2655736-1276685500 PBS_JOBID= 11172588 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b 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-2655736-1276685500/watcher-2655736-1276685500 -o /tmp/evaluation-result-2655736-1276685500/solver-2655736-1276685500 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655736-1276685500.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a25a52544be0f6847f2aa8f54184e900 RANDOM SEED=71478448 node013.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.253 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.50 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.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821416 kB Buffers: 47440 kB Cached: 97120 kB SwapCached: 6572 kB Active: 91724 kB Inactive: 66700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821416 kB SwapTotal: 4192956 kB SwapFree: 4139776 kB Dirty: 3520 kB Writeback: 0 kB AnonPages: 12360 kB Mapped: 13012 kB Slab: 57300 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181416 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= 62548 MiB End job on node013 at 2010-06-16 12:53:06