Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 11142 | 182.732 | 182.777 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randb54299.cudf.paranoid.opb |
MD5SUM | 10e38bf32434d32a3c213648ff6f5ee4 |
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 | 11142 |
Best CPU time to get the best result obtained on this benchmark | 2.18067 |
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 | 5568 |
Total number of constraints | 24731 |
Number of constraints which are clauses | 24460 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2084 |
Biggest coefficient in the objective function | 1535 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 847318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1535 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 847318 |
Number of bits of the biggest sum of numbers | 20 |
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-2683408-1277509494.opb. 0.00/0.00 c Instance file HOME/instance-2683408-1277509494.opb 0.00/0.00 c File size is 784898 bytes. 0.09/0.12 c Highest Coefficient sum: 553 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 5568 | 0.09/0.12 c | Number Clauses: 24460 | 0.09/0.12 c | Number Cardinality: 271 | 0.09/0.12 c | Number PB Constraints: 0 | 2.10/2.18 c ============================[ Search Statistics ]============================== 2.10/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.18 c =============================================================================== 2.10/2.18 c | 0 | 3334 26365 48984 | 8243 0 nan | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c New solution: 447408 2.10/2.19 o 447408 2.10/2.19 c Elapsed CPU time: 2.17367 s Remaining CPU time: 177.826 s 2.10/2.19 c =============================================================================== 2.10/2.19 c | 6 | 3334 26366 50961 | 8788 6 4 | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c New solution: 418244 2.10/2.19 o 418244 2.10/2.19 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s 2.10/2.19 c =============================================================================== 2.10/2.19 c | 7 | 3334 26367 52938 | 8789 7 4 | 0.000 % | 2.10/2.20 c =============================================================================== 2.10/2.20 c New solution: 416710 2.10/2.20 o 416710 2.10/2.20 c Elapsed CPU time: 2.18467 s Remaining CPU time: 177.815 s 2.10/2.20 c =============================================================================== 2.10/2.20 c | 11 | 3334 26368 54915 | 8789 11 7 | 0.000 % | 2.20/2.21 c =============================================================================== 2.20/2.21 c New solution: 375250 2.20/2.21 o 375250 2.20/2.21 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s 2.20/2.21 c =============================================================================== 2.20/2.21 c | 12 | 3334 26369 56892 | 8789 12 8 | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c New solution: 332250 2.20/2.22 o 332250 2.20/2.22 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s 2.20/2.22 c =============================================================================== 2.20/2.22 c | 16 | 3334 26370 58869 | 8790 16 7 | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 330772 2.20/2.23 o 330772 2.20/2.23 c Elapsed CPU time: 2.20866 s Remaining CPU time: 177.791 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 23 | 3334 26371 60846 | 8790 23 6 | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c New solution: 287727 2.20/2.24 o 287727 2.20/2.24 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s 2.20/2.24 c =============================================================================== 2.20/2.24 c | 26 | 3334 26372 62823 | 8790 26 6 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 261664 2.20/2.25 o 261664 2.20/2.25 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 31 | 3334 26373 64800 | 8791 31 6 | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c New solution: 261623 2.20/2.27 o 261623 2.20/2.27 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s 2.20/2.27 c =============================================================================== 2.20/2.27 c | 36 | 3334 26374 66777 | 8791 36 5 | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 253985 2.20/2.28 o 253985 2.20/2.28 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 39 | 3334 26375 68754 | 8791 39 5 | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.29 c New solution: 253945 2.20/2.29 o 253945 2.20/2.29 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s 2.20/2.29 c =============================================================================== 2.20/2.29 c | 41 | 3334 26376 70731 | 8792 41 5 | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c New solution: 250906 2.29/2.30 o 250906 2.29/2.30 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s 2.29/2.30 c =============================================================================== 2.29/2.30 c | 47 | 3334 26377 72708 | 8792 47 5 | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c New solution: 227858 2.29/2.32 o 227858 2.29/2.32 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s 2.29/2.32 c =============================================================================== 2.29/2.32 c | 53 | 3334 26378 74685 | 8792 53 5 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: 227857 2.29/2.33 o 227857 2.29/2.33 c Elapsed CPU time: 2.29765 s Remaining CPU time: 177.702 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 56 | 3334 26379 76662 | 8793 56 5 | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 227851 2.29/2.35 o 227851 2.29/2.35 c Elapsed CPU time: 2.31365 s Remaining CPU time: 177.686 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 61 | 3334 26380 78639 | 8793 61 5 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c New solution: 118904 2.29/2.38 o 118904 2.29/2.38 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s 2.29/2.38 c =============================================================================== 2.29/2.38 c | 92 | 3334 26381 80616 | 8793 92 25 | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c New solution: 118903 2.29/2.39 o 118903 2.29/2.39 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s 2.29/2.39 c =============================================================================== 2.29/2.39 c | 95 | 3334 26382 82593 | 8794 95 30 | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.41 c New solution: 118900 2.39/2.41 o 118900 2.39/2.41 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s 2.39/2.41 c =============================================================================== 2.39/2.41 c | 103 | 3334 26383 84570 | 8794 103 28 | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 118868 2.39/2.43 o 118868 2.39/2.43 c Elapsed CPU time: 2.39164 s Remaining CPU time: 177.608 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 108 | 3334 26384 86547 | 8794 108 27 | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 117359 2.39/2.48 o 117359 2.39/2.48 c Elapsed CPU time: 2.44063 s Remaining CPU time: 177.559 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 123 | 3334 26385 88524 | 8795 123 28 | 0.000 % | 2.49/2.50 c =============================================================================== 2.49/2.50 c New solution: 117346 2.49/2.50 o 117346 2.49/2.50 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s 2.49/2.50 c =============================================================================== 2.49/2.50 c | 125 | 3334 26386 90501 | 8795 125 28 | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c New solution: 117345 2.49/2.51 o 117345 2.49/2.51 c Elapsed CPU time: 2.46862 s Remaining CPU time: 177.531 s 2.49/2.51 c =============================================================================== 2.49/2.51 c | 125 | 3334 26387 92478 | 8795 125 28 | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c New solution: 117336 2.49/2.53 o 117336 2.49/2.53 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s 2.49/2.53 c =============================================================================== 2.49/2.53 c | 125 | 3334 26388 94455 | 8796 125 28 | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c New solution: 117335 2.49/2.54 o 117335 2.49/2.54 c Elapsed CPU time: 2.49062 s Remaining CPU time: 177.509 s 2.49/2.54 c =============================================================================== 2.49/2.54 c | 125 | 3334 26389 96432 | 8796 125 28 | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.55 c New solution: 117334 2.49/2.55 o 117334 2.49/2.55 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s 2.49/2.55 c =============================================================================== 2.49/2.55 c | 125 | 3334 26390 98409 | 8796 125 28 | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 115818 2.49/2.57 o 115818 2.49/2.57 c Elapsed CPU time: 2.52162 s Remaining CPU time: 177.478 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 127 | 3334 26391 100386 | 8797 127 27 | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c New solution: 115817 2.59/2.61 o 115817 2.59/2.61 c Elapsed CPU time: 2.56161 s Remaining CPU time: 177.438 s 2.59/2.61 c =============================================================================== 2.59/2.61 c | 127 | 3334 26392 102363 | 8797 127 27 | 0.000 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c New solution: 115816 2.59/2.65 o 115816 2.59/2.65 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s 2.59/2.65 c =============================================================================== 2.59/2.65 c | 127 | 3334 26393 104340 | 8797 127 27 | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: 115814 2.59/2.66 o 115814 2.59/2.66 c Elapsed CPU time: 2.6116 s Remaining CPU time: 177.388 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 127 | 3334 26394 106317 | 8798 127 27 | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c New solution: 115813 2.69/2.71 o 115813 2.69/2.71 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s 2.69/2.71 c =============================================================================== 2.69/2.71 c | 127 | 3334 26395 108294 | 8798 127 27 | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: 115812 2.69/2.72 o 115812 2.69/2.72 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 127 | 3334 26396 110271 | 8798 127 27 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 115811 2.69/2.74 o 115811 2.69/2.74 c Elapsed CPU time: 2.68359 s Remaining CPU time: 177.316 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 127 | 3334 26397 112248 | 8799 127 27 | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.75 c New solution: 115810 2.69/2.75 o 115810 2.69/2.75 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s 2.69/2.75 c =============================================================================== 2.69/2.75 c | 127 | 3334 26398 114225 | 8799 127 27 | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c New solution: 115809 2.79/2.80 o 115809 2.79/2.80 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s 2.79/2.80 c =============================================================================== 2.79/2.80 c | 127 | 3334 26399 116202 | 8799 127 27 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 115808 2.79/2.81 o 115808 2.79/2.81 c Elapsed CPU time: 2.75758 s Remaining CPU time: 177.242 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 127 | 3334 26400 118179 | 8800 127 27 | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c New solution: 115807 2.79/2.83 o 115807 2.79/2.83 c Elapsed CPU time: 2.77458 s Remaining CPU time: 177.225 s 2.79/2.83 c =============================================================================== 2.79/2.83 c | 128 | 3334 26401 120156 | 8800 128 27 | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c New solution: 115806 2.79/2.88 o 115806 2.79/2.88 c Elapsed CPU time: 2.82357 s Remaining CPU time: 177.176 s 2.79/2.88 c =============================================================================== 2.79/2.88 c | 128 | 3334 26402 122133 | 8800 128 27 | 0.000 % | 2.79/2.90 c =============================================================================== 2.79/2.90 c New solution: 115805 2.79/2.90 o 115805 2.79/2.90 c Elapsed CPU time: 2.84057 s Remaining CPU time: 177.159 s 2.79/2.90 c =============================================================================== 2.89/2.90 c | 132 | 3334 26403 124110 | 8801 132 32 | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: 114304 2.89/2.98 o 114304 2.89/2.98 c Elapsed CPU time: 2.92355 s Remaining CPU time: 177.076 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 169 | 3334 26404 126087 | 8801 169 109 | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c New solution: 114298 2.99/3.07 o 114298 2.99/3.07 c Elapsed CPU time: 3.00654 s Remaining CPU time: 176.993 s 2.99/3.07 c =============================================================================== 2.99/3.07 c | 185 | 3334 26405 128064 | 8801 185 111 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: 114297 2.99/3.09 o 114297 2.99/3.09 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 188 | 3334 26406 130041 | 8802 188 116 | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c New solution: 114290 3.09/3.15 o 114290 3.09/3.15 c Elapsed CPU time: 3.08253 s Remaining CPU time: 176.917 s 3.09/3.15 c =============================================================================== 3.09/3.15 c | 205 | 3334 26407 132018 | 8802 205 125 | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c New solution: 112795 3.09/3.17 o 112795 3.09/3.17 c Elapsed CPU time: 3.10653 s Remaining CPU time: 176.893 s 3.09/3.17 c =============================================================================== 3.09/3.17 c | 210 | 3334 26408 133995 | 8802 210 122 | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 111272 3.09/3.19 o 111272 3.09/3.19 c Elapsed CPU time: 3.12352 s Remaining CPU time: 176.876 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 213 | 3334 26409 135972 | 8803 213 121 | 0.000 % | 3.20/3.21 c =============================================================================== 3.20/3.21 c New solution: 111256 3.20/3.21 o 111256 3.20/3.21 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s 3.20/3.21 c =============================================================================== 3.20/3.21 c | 213 | 3334 26410 137949 | 8803 213 121 | 0.000 % | 3.20/3.23 c =============================================================================== 3.20/3.23 c New solution: 109732 3.20/3.23 o 109732 3.20/3.23 c Elapsed CPU time: 3.15652 s Remaining CPU time: 176.843 s 3.20/3.23 c =============================================================================== 3.20/3.23 c | 214 | 3334 26411 139926 | 8803 214 120 | 0.000 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c New solution: 109704 3.20/3.25 o 109704 3.20/3.25 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s 3.20/3.25 c =============================================================================== 3.20/3.25 c | 217 | 3334 26412 141903 | 8804 217 124 | 0.000 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c New solution: 109703 3.30/3.32 o 109703 3.30/3.32 c Elapsed CPU time: 3.24951 s Remaining CPU time: 176.75 s 3.30/3.32 c =============================================================================== 3.30/3.32 c | 217 | 3334 26413 143880 | 8804 217 124 | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c New solution: 109702 3.30/3.39 o 109702 3.30/3.39 c Elapsed CPU time: 3.3175 s Remaining CPU time: 176.683 s 3.30/3.39 c =============================================================================== 3.30/3.39 c | 217 | 3334 26414 145857 | 8804 217 124 | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c New solution: 109701 3.39/3.47 o 109701 3.39/3.47 c Elapsed CPU time: 3.39448 s Remaining CPU time: 176.606 s 3.39/3.47 c =============================================================================== 3.39/3.47 c | 218 | 3334 26415 147834 | 8805 218 123 | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: 109700 3.49/3.54 o 109700 3.49/3.54 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 218 | 3334 26416 149811 | 8805 218 123 | 0.000 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c New solution: 109699 3.59/3.62 o 109699 3.59/3.62 c Elapsed CPU time: 3.54246 s Remaining CPU time: 176.458 s 3.59/3.62 c =============================================================================== 3.59/3.62 c | 219 | 3334 26417 151788 | 8805 219 126 | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: 109688 3.59/3.66 o 109688 3.59/3.66 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 219 | 3334 26418 153765 | 8806 219 126 | 0.000 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 109687 3.69/3.74 o 109687 3.69/3.74 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 219 | 3334 26419 155742 | 8806 219 126 | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c New solution: 109682 3.69/3.78 o 109682 3.69/3.78 c Elapsed CPU time: 3.69944 s Remaining CPU time: 176.301 s 3.69/3.78 c =============================================================================== 3.69/3.78 c | 219 | 3334 26420 157719 | 8806 219 126 | 0.000 % | 3.78/3.86 c =============================================================================== 3.78/3.86 c New solution: 109681 3.78/3.86 o 109681 3.78/3.86 c Elapsed CPU time: 3.77842 s Remaining CPU time: 176.222 s 3.78/3.86 c =============================================================================== 3.78/3.86 c | 223 | 3334 26421 159696 | 8807 223 135 | 0.000 % | 3.88/3.90 c =============================================================================== 3.88/3.90 c New solution: 108185 3.88/3.90 o 108185 3.88/3.90 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s 3.88/3.90 c =============================================================================== 3.88/3.90 c | 232 | 3334 26422 161673 | 8807 232 138 | 0.000 % | 3.88/3.94 c =============================================================================== 3.88/3.94 c New solution: 108184 3.88/3.94 o 108184 3.88/3.94 c Elapsed CPU time: 3.85741 s Remaining CPU time: 176.143 s 3.88/3.94 c =============================================================================== 3.88/3.94 c | 237 | 3334 26423 163650 | 8807 237 142 | 0.000 % | 3.99/4.03 c =============================================================================== 3.99/4.03 c New solution: 108155 3.99/4.03 o 108155 3.99/4.03 c Elapsed CPU time: 3.9444 s Remaining CPU time: 176.056 s 3.99/4.03 c =============================================================================== 3.99/4.03 c | 238 | 3334 26424 165627 | 8808 238 142 | 0.000 % | 3.99/4.07 c =============================================================================== 3.99/4.07 c New solution: 108152 3.99/4.07 o 108152 3.99/4.07 c Elapsed CPU time: 3.98939 s Remaining CPU time: 176.011 s 3.99/4.07 c =============================================================================== 3.99/4.07 c | 241 | 3334 26425 167604 | 8808 241 144 | 0.000 % | 3.99/4.10 c =============================================================================== 3.99/4.10 c New solution: 106649 3.99/4.10 o 106649 3.99/4.10 c Elapsed CPU time: 4.01139 s Remaining CPU time: 175.989 s 3.99/4.10 c =============================================================================== 3.99/4.10 c | 242 | 3334 26426 169581 | 8808 242 144 | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 106648 4.09/4.12 o 106648 4.09/4.12 c Elapsed CPU time: 4.03239 s Remaining CPU time: 175.968 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 242 | 3334 26427 171558 | 8809 242 144 | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 106647 4.09/4.14 o 106647 4.09/4.14 c Elapsed CPU time: 4.04938 s Remaining CPU time: 175.951 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 242 | 3334 26428 173535 | 8809 242 144 | 0.000 % | 4.09/4.16 c =============================================================================== 4.09/4.16 c New solution: 105121 4.09/4.16 o 105121 4.09/4.16 c Elapsed CPU time: 4.07138 s Remaining CPU time: 175.929 s 4.09/4.16 c =============================================================================== 4.09/4.16 c | 243 | 3334 26429 175512 | 8809 243 143 | 0.000 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c New solution: 105111 4.09/4.19 o 105111 4.09/4.19 c Elapsed CPU time: 4.09638 s Remaining CPU time: 175.904 s 4.09/4.19 c =============================================================================== 4.09/4.19 c | 243 | 3334 26430 177489 | 8810 243 143 | 0.000 % | 4.19/4.21 c =============================================================================== 4.19/4.21 c New solution: 103583 4.19/4.21 o 103583 4.19/4.21 c Elapsed CPU time: 4.12137 s Remaining CPU time: 175.879 s 4.19/4.21 c =============================================================================== 4.19/4.21 c | 243 | 3334 26431 179466 | 8810 243 143 | 0.000 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c New solution: 103582 4.19/4.24 o 103582 4.19/4.24 c Elapsed CPU time: 4.15037 s Remaining CPU time: 175.85 s 4.19/4.24 c =============================================================================== 4.19/4.24 c | 243 | 3334 26432 181443 | 8810 243 143 | 0.000 % | 4.19/4.26 c =============================================================================== 4.19/4.26 c New solution: 103581 4.19/4.26 o 103581 4.19/4.26 c Elapsed CPU time: 4.17337 s Remaining CPU time: 175.827 s 4.19/4.26 c =============================================================================== 4.19/4.26 c | 243 | 3334 26433 183420 | 8811 243 143 | 0.000 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c New solution: 103580 4.19/4.29 o 103580 4.19/4.29 c Elapsed CPU time: 4.20136 s Remaining CPU time: 175.799 s 4.19/4.29 c =============================================================================== 4.19/4.29 c | 243 | 3334 26434 185397 | 8811 243 143 | 0.000 % | 4.30/4.32 c =============================================================================== 4.30/4.32 c New solution: 103579 4.30/4.32 o 103579 4.30/4.32 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s 4.30/4.32 c =============================================================================== 4.30/4.32 c | 244 | 3334 26435 187374 | 8811 244 143 | 0.000 % | 4.30/4.34 c =============================================================================== 4.30/4.34 c New solution: 103578 4.30/4.34 o 103578 4.30/4.34 c Elapsed CPU time: 4.24535 s Remaining CPU time: 175.755 s 4.30/4.34 c =============================================================================== 4.30/4.34 c | 244 | 3334 26436 189351 | 8812 244 143 | 0.000 % | 4.30/4.36 c =============================================================================== 4.30/4.36 c New solution: 103577 4.30/4.36 o 103577 4.30/4.36 c Elapsed CPU time: 4.26735 s Remaining CPU time: 175.733 s 4.30/4.36 c =============================================================================== 4.30/4.36 c | 244 | 3334 26437 191328 | 8812 244 143 | 0.000 % | 4.30/4.39 c =============================================================================== 4.30/4.39 c New solution: 102054 4.30/4.39 o 102054 4.30/4.39 c Elapsed CPU time: 4.29435 s Remaining CPU time: 175.706 s 4.30/4.39 c =============================================================================== 4.30/4.39 c | 244 | 3334 26438 193305 | 8812 244 143 | 0.000 % | 4.40/4.42 c =============================================================================== 4.40/4.42 c New solution: 102052 4.40/4.42 o 102052 4.40/4.42 c Elapsed CPU time: 4.32234 s Remaining CPU time: 175.678 s 4.40/4.42 c =============================================================================== 4.40/4.42 c | 244 | 3334 26439 195282 | 8813 244 143 | 0.000 % | 4.40/4.45 c =============================================================================== 4.40/4.45 c New solution: 102051 4.40/4.45 o 102051 4.40/4.45 c Elapsed CPU time: 4.34934 s Remaining CPU time: 175.651 s 4.40/4.45 c =============================================================================== 4.40/4.45 c | 244 | 3334 26440 197259 | 8813 244 143 | 0.000 % | 4.40/4.48 c =============================================================================== 4.40/4.48 c New solution: 102048 4.40/4.48 o 102048 4.40/4.48 c Elapsed CPU time: 4.38233 s Remaining CPU time: 175.618 s 4.40/4.48 c =============================================================================== 4.40/4.48 c | 244 | 3334 26441 199236 | 8813 244 143 | 0.000 % | 4.49/4.51 c =============================================================================== 4.49/4.51 c New solution: 102047 4.49/4.51 o 102047 4.49/4.51 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s 4.49/4.51 c =============================================================================== 4.49/4.51 c | 245 | 3334 26442 201213 | 8814 245 144 | 0.000 % | 4.69/4.74 c =============================================================================== 4.69/4.74 c New solution: 102008 4.69/4.74 o 102008 4.69/4.74 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s 4.69/4.74 c =============================================================================== 4.69/4.74 c | 249 | 3334 26443 203190 | 8814 249 142 | 0.000 % | 5.09/5.13 c =============================================================================== 5.09/5.13 c New solution: 102007 5.09/5.13 o 102007 5.09/5.13 c Elapsed CPU time: 5.02324 s Remaining CPU time: 174.977 s 5.09/5.13 c =============================================================================== 5.09/5.13 c | 279 | 3334 26444 205167 | 8814 279 188 | 0.000 % | 5.19/5.25 c =============================================================================== 5.19/5.25 c New solution: 102006 5.19/5.25 o 102006 5.19/5.25 c Elapsed CPU time: 5.14322 s Remaining CPU time: 174.857 s 5.19/5.25 c =============================================================================== 5.19/5.25 c | 287 | 3334 26445 207144 | 8815 287 188 | 0.000 % | 5.29/5.33 c =============================================================================== 5.29/5.33 c New solution: 101999 5.29/5.33 o 101999 5.29/5.33 c Elapsed CPU time: 5.21821 s Remaining CPU time: 174.782 s 5.29/5.33 c =============================================================================== 5.29/5.33 c | 289 | 3334 26446 209121 | 8815 289 189 | 0.000 % | 5.29/5.38 c =============================================================================== 5.29/5.38 c New solution: 101998 5.29/5.38 o 101998 5.29/5.38 c Elapsed CPU time: 5.2672 s Remaining CPU time: 174.733 s 5.29/5.38 c =============================================================================== 5.29/5.38 c | 294 | 3334 26447 211098 | 8815 294 198 | 0.000 % | 5.69/5.71 c | 394 | 3334 26447 211098 | 9697 394 328 | 40.122 % | 5.69/5.75 c =============================================================================== 5.69/5.75 c New solution: 101997 5.69/5.75 o 101997 5.69/5.75 c Elapsed CPU time: 5.63714 s Remaining CPU time: 174.363 s 5.69/5.75 c =============================================================================== 5.69/5.75 c | 402 | 3334 26448 213075 | 8816 402 333 | 40.122 % | 5.79/5.80 c =============================================================================== 5.79/5.80 c New solution: 101996 5.79/5.80 o 101996 5.79/5.80 c Elapsed CPU time: 5.68314 s Remaining CPU time: 174.317 s 5.79/5.80 c =============================================================================== 5.79/5.80 c | 407 | 3334 26449 215052 | 8816 407 335 | 40.122 % | 5.79/5.86 c =============================================================================== 5.79/5.86 c New solution: 101995 5.79/5.86 o 101995 5.79/5.86 c Elapsed CPU time: 5.74513 s Remaining CPU time: 174.255 s 5.79/5.86 c =============================================================================== 5.79/5.86 c | 411 | 3334 26450 217029 | 8816 411 338 | 40.122 % | 6.28/6.31 c =============================================================================== 6.28/6.31 c New solution: 100506 6.28/6.31 o 100506 6.28/6.31 c Elapsed CPU time: 6.19706 s Remaining CPU time: 173.803 s 6.28/6.31 c =============================================================================== 6.28/6.31 c | 469 | 3334 26451 219006 | 8817 469 373 | 40.122 % | 6.28/6.38 c =============================================================================== 6.28/6.38 c New solution: 100501 6.28/6.38 o 100501 6.28/6.38 c Elapsed CPU time: 6.25905 s Remaining CPU time: 173.741 s 6.28/6.38 c =============================================================================== 6.28/6.38 c | 479 | 3334 26452 220983 | 8817 479 375 | 40.122 % | 6.38/6.44 c =============================================================================== 6.38/6.44 c New solution: 100487 6.38/6.44 o 100487 6.38/6.44 c Elapsed CPU time: 6.32504 s Remaining CPU time: 173.675 s 6.38/6.44 c =============================================================================== 6.38/6.44 c | 482 | 3334 26453 222960 | 8817 482 377 | 40.122 % | 6.38/6.48 c =============================================================================== 6.38/6.48 c New solution: 100481 6.38/6.48 o 100481 6.38/6.48 c Elapsed CPU time: 6.35903 s Remaining CPU time: 173.641 s 6.38/6.48 c =============================================================================== 6.38/6.48 c | 484 | 3334 26454 224937 | 8818 484 376 | 40.122 % | 6.50/6.56 c =============================================================================== 6.50/6.56 c New solution: 100480 6.50/6.56 o 100480 6.50/6.56 c Elapsed CPU time: 6.43802 s Remaining CPU time: 173.562 s 6.50/6.56 c =============================================================================== 6.50/6.56 c | 486 | 3334 26455 226914 | 8818 486 376 | 40.122 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c New solution: 100476 6.60/6.62 o 100476 6.60/6.62 c Elapsed CPU time: 6.49501 s Remaining CPU time: 173.505 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 487 | 3334 26456 228891 | 8818 487 375 | 40.122 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c New solution: 100475 6.60/6.68 o 100475 6.60/6.68 c Elapsed CPU time: 6.549 s Remaining CPU time: 173.451 s 6.60/6.68 c =============================================================================== 6.60/6.68 c | 487 | 3334 26457 230868 | 8819 487 375 | 40.122 % | 6.68/6.73 c =============================================================================== 6.68/6.73 c New solution: 100474 6.68/6.73 o 100474 6.68/6.73 c Elapsed CPU time: 6.60499 s Remaining CPU time: 173.395 s 6.68/6.73 c =============================================================================== 6.68/6.73 c | 487 | 3334 26458 232845 | 8819 487 375 | 40.122 % | 6.68/6.79 c =============================================================================== 6.68/6.79 c New solution: 100473 6.68/6.79 o 100473 6.68/6.79 c Elapsed CPU time: 6.66399 s Remaining CPU time: 173.336 s 6.68/6.79 c =============================================================================== 6.68/6.79 c | 487 | 3334 26459 234822 | 8819 487 375 | 40.122 % | 6.78/6.85 c =============================================================================== 6.78/6.85 c New solution: 100472 6.78/6.85 o 100472 6.78/6.85 c Elapsed CPU time: 6.71798 s Remaining CPU time: 173.282 s 6.78/6.85 c =============================================================================== 6.78/6.85 c | 487 | 3334 26460 236799 | 8820 487 375 | 40.122 % | 6.89/6.90 c =============================================================================== 6.89/6.90 c New solution: 100471 6.89/6.90 o 100471 6.89/6.90 c Elapsed CPU time: 6.77297 s Remaining CPU time: 173.227 s 6.89/6.90 c =============================================================================== 6.89/6.90 c | 487 | 3334 26461 238776 | 8820 487 375 | 40.122 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c New solution: 100470 6.89/6.96 o 100470 6.89/6.96 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s 6.89/6.96 c =============================================================================== 6.89/6.96 c | 487 | 3334 26462 240753 | 8820 487 375 | 40.122 % | 6.99/7.02 c =============================================================================== 6.99/7.02 c New solution: 100469 6.99/7.02 o 100469 6.99/7.02 c Elapsed CPU time: 6.88795 s Remaining CPU time: 173.112 s 6.99/7.02 c =============================================================================== 6.99/7.02 c | 487 | 3334 26463 242730 | 8821 487 375 | 40.122 % | 6.99/7.08 c =============================================================================== 6.99/7.08 c New solution: 100468 6.99/7.08 o 100468 6.99/7.08 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s 6.99/7.08 c =============================================================================== 6.99/7.08 c | 487 | 3334 26464 244707 | 8821 487 375 | 40.122 % | 7.09/7.13 c =============================================================================== 7.09/7.13 c New solution: 100467 7.09/7.13 o 100467 7.09/7.13 c Elapsed CPU time: 6.99794 s Remaining CPU time: 173.002 s 7.09/7.13 c =============================================================================== 7.09/7.13 c | 487 | 3334 26465 246684 | 8821 487 375 | 40.122 % | 7.09/7.19 c =============================================================================== 7.09/7.19 c New solution: 100466 7.09/7.19 o 100466 7.09/7.19 c Elapsed CPU time: 7.05293 s Remaining CPU time: 172.947 s 7.09/7.19 c =============================================================================== 7.09/7.19 c | 488 | 3334 26466 248661 | 8822 488 376 | 40.122 % | 7.19/7.26 c =============================================================================== 7.19/7.26 c New solution: 100465 7.19/7.26 o 100465 7.19/7.26 c Elapsed CPU time: 7.12992 s Remaining CPU time: 172.87 s 7.19/7.26 c =============================================================================== 7.19/7.26 c | 494 | 3334 26467 250638 | 8822 494 380 | 40.122 % | 7.59/7.64 c =============================================================================== 7.59/7.64 c New solution: 100464 7.59/7.64 o 100464 7.59/7.64 c Elapsed CPU time: 7.50386 s Remaining CPU time: 172.496 s 7.59/7.64 c =============================================================================== 7.59/7.64 c | 591 | 3334 26468 252615 | 8822 591 432 | 40.122 % | 7.69/7.70 c =============================================================================== 7.69/7.70 c New solution: 100463 7.69/7.70 o 100463 7.69/7.70 c Elapsed CPU time: 7.56885 s Remaining CPU time: 172.431 s 7.69/7.70 c =============================================================================== 7.69/7.70 c | 603 | 3334 26469 254592 | 8823 603 435 | 40.122 % | 7.79/7.87 c =============================================================================== 7.79/7.87 c New solution: 98964 7.79/7.87 o 98964 7.79/7.87 c Elapsed CPU time: 7.72982 s Remaining CPU time: 172.27 s 7.79/7.87 c =============================================================================== 7.79/7.87 c | 617 | 3334 26470 256569 | 8823 617 434 | 40.122 % | 7.89/7.94 c =============================================================================== 7.89/7.94 c New solution: 98955 7.89/7.94 o 98955 7.89/7.94 c Elapsed CPU time: 7.80681 s Remaining CPU time: 172.193 s 7.89/7.94 c =============================================================================== 7.89/7.94 c | 620 | 3334 26471 258546 | 8823 620 435 | 40.122 % | 7.98/8.01 c =============================================================================== 7.98/8.01 c New solution: 98954 7.98/8.01 o 98954 7.98/8.01 c Elapsed CPU time: 7.8768 s Remaining CPU time: 172.123 s 7.98/8.01 c =============================================================================== 7.98/8.01 c | 621 | 3334 26472 260523 | 8824 621 435 | 40.122 % | 7.98/8.06 c =============================================================================== 7.98/8.06 c New solution: 98953 7.98/8.06 o 98953 7.98/8.06 c Elapsed CPU time: 7.92579 s Remaining CPU time: 172.074 s 7.98/8.06 c =============================================================================== 7.98/8.06 c | 622 | 3334 26473 262500 | 8824 622 434 | 40.122 % | 8.08/8.10 c =============================================================================== 8.08/8.10 c New solution: 98952 8.08/8.10 o 98952 8.08/8.10 c Elapsed CPU time: 7.96679 s Remaining CPU time: 172.033 s 8.08/8.11 c =============================================================================== 8.08/8.11 c | 623 | 3334 26474 264477 | 8824 623 434 | 40.122 % | 8.08/8.17 c =============================================================================== 8.08/8.17 c New solution: 98951 8.08/8.17 o 98951 8.08/8.17 c Elapsed CPU time: 8.03378 s Remaining CPU time: 171.966 s 8.08/8.17 c =============================================================================== 8.08/8.17 c | 623 | 3334 26475 266454 | 8825 623 434 | 40.122 % | 8.19/8.23 c =============================================================================== 8.19/8.23 c New solution: 98950 8.19/8.23 o 98950 8.19/8.23 c Elapsed CPU time: 8.08677 s Remaining CPU time: 171.913 s 8.19/8.23 c =============================================================================== 8.19/8.23 c | 623 | 3334 26476 268431 | 8825 623 434 | 40.122 % | 8.29/8.31 c =============================================================================== 8.29/8.31 c New solution: 98949 8.29/8.31 o 98949 8.29/8.31 c Elapsed CPU time: 8.16776 s Remaining CPU time: 171.832 s 8.29/8.31 c =============================================================================== 8.29/8.31 c | 625 | 3334 26477 270408 | 8825 625 434 | 40.122 % | 8.29/8.39 c =============================================================================== 8.29/8.39 c New solution: 98948 8.29/8.39 o 98948 8.29/8.39 c Elapsed CPU time: 8.24475 s Remaining CPU time: 171.755 s 8.29/8.39 c =============================================================================== 8.29/8.39 c | 627 | 3334 26478 272385 | 8826 627 433 | 40.122 % | 8.69/8.70 c =============================================================================== 8.69/8.70 c New solution: 98947 8.69/8.70 o 98947 8.69/8.70 c Elapsed CPU time: 8.5527 s Remaining CPU time: 171.447 s 8.69/8.70 c =============================================================================== 8.69/8.70 c | 634 | 3334 26479 274362 | 8826 634 431 | 40.122 % | 8.69/8.74 c =============================================================================== 8.69/8.74 c New solution: 98946 8.69/8.74 o 98946 8.69/8.74 c Elapsed CPU time: 8.59169 s Remaining CPU time: 171.408 s 8.69/8.74 c =============================================================================== 8.69/8.74 c | 636 | 3334 26480 276339 | 8826 636 432 | 40.122 % | 8.89/8.92 c =============================================================================== 8.89/8.92 c New solution: 98945 8.89/8.92 o 98945 8.89/8.92 c Elapsed CPU time: 8.77567 s Remaining CPU time: 171.224 s 8.89/8.92 c =============================================================================== 8.89/8.92 c | 636 | 3334 26481 278316 | 8827 636 432 | 40.122 % | 9.08/9.11 c =============================================================================== 9.08/9.11 c New solution: 98944 9.08/9.11 o 98944 9.08/9.11 c Elapsed CPU time: 8.95964 s Remaining CPU time: 171.04 s 9.08/9.11 c =============================================================================== 9.08/9.11 c | 636 | 3334 26482 280293 | 8827 636 432 | 40.122 % | 9.18/9.29 c =============================================================================== 9.18/9.29 c New solution: 98943 9.18/9.29 o 98943 9.18/9.29 c Elapsed CPU time: 9.14161 s Remaining CPU time: 170.858 s 9.18/9.29 c =============================================================================== 9.18/9.29 c | 637 | 3334 26483 282270 | 8827 637 432 | 40.122 % | 9.28/9.33 c =============================================================================== 9.28/9.33 c New solution: 97446 9.28/9.33 o 97446 9.28/9.33 c Elapsed CPU time: 9.17561 s Remaining CPU time: 170.824 s 9.28/9.33 c =============================================================================== 9.28/9.33 c | 637 | 3334 26484 284247 | 8828 637 432 | 40.122 % | 9.28/9.37 c =============================================================================== 9.28/9.37 c New solution: 97445 9.28/9.37 o 97445 9.28/9.37 c Elapsed CPU time: 9.2166 s Remaining CPU time: 170.783 s 9.28/9.37 c =============================================================================== 9.28/9.37 c | 637 | 3334 26485 286224 | 8828 637 432 | 40.122 % | 9.39/9.41 c =============================================================================== 9.39/9.41 c New solution: 97442 9.39/9.41 o 97442 9.39/9.41 c Elapsed CPU time: 9.25659 s Remaining CPU time: 170.743 s 9.39/9.41 c =============================================================================== 9.39/9.41 c | 637 | 3334 26486 288201 | 8828 637 432 | 40.122 % | 9.39/9.44 c =============================================================================== 9.39/9.44 c New solution: 97441 9.39/9.44 o 97441 9.39/9.44 c Elapsed CPU time: 9.28959 s Remaining CPU time: 170.71 s 9.39/9.44 c =============================================================================== 9.39/9.44 c | 637 | 3334 26487 290178 | 8829 637 432 | 40.122 % | 9.39/9.48 c =============================================================================== 9.39/9.48 c New solution: 97440 9.39/9.48 o 97440 9.39/9.48 c Elapsed CPU time: 9.32758 s Remaining CPU time: 170.672 s 9.39/9.48 c =============================================================================== 9.39/9.48 c | 637 | 3334 26488 292155 | 8829 637 432 | 40.122 % | 9.49/9.52 c =============================================================================== 9.49/9.52 c New solution: 97439 9.49/9.52 o 97439 9.49/9.52 c Elapsed CPU time: 9.36058 s Remaining CPU time: 170.639 s 9.49/9.52 c =============================================================================== 9.49/9.52 c | 637 | 3334 26489 294132 | 8829 637 432 | 40.122 % | 9.49/9.56 c =============================================================================== 9.49/9.56 c New solution: 95921 9.49/9.56 o 95921 9.49/9.56 c Elapsed CPU time: 9.40557 s Remaining CPU time: 170.594 s 9.49/9.56 c =============================================================================== 9.49/9.56 c | 637 | 3334 26490 296109 | 8830 637 432 | 40.122 % | 9.58/9.61 c =============================================================================== 9.58/9.61 c New solution: 95916 9.58/9.61 o 95916 9.58/9.61 c Elapsed CPU time: 9.45056 s Remaining CPU time: 170.549 s 9.58/9.61 c =============================================================================== 9.58/9.61 c | 637 | 3334 26491 298086 | 8830 637 432 | 40.122 % | 9.58/9.65 c =============================================================================== 9.58/9.65 c New solution: 95913 9.58/9.65 o 95913 9.58/9.65 c Elapsed CPU time: 9.49256 s Remaining CPU time: 170.507 s 9.58/9.65 c =============================================================================== 9.58/9.65 c | 637 | 3334 26492 300063 | 8830 637 432 | 40.122 % | 9.68/9.70 c =============================================================================== 9.68/9.70 c New solution: 95912 9.68/9.70 o 95912 9.68/9.70 c Elapsed CPU time: 9.53955 s Remaining CPU time: 170.46 s 9.68/9.70 c =============================================================================== 9.68/9.70 c | 637 | 3334 26493 302040 | 8831 637 432 | 40.122 % | 9.68/9.74 c =============================================================================== 9.68/9.74 c New solution: 95909 9.68/9.74 o 95909 9.68/9.74 c Elapsed CPU time: 9.58154 s Remaining CPU time: 170.418 s 9.68/9.74 c =============================================================================== 9.68/9.74 c | 637 | 3334 26494 304017 | 8831 637 432 | 40.122 % | 9.68/9.78 c =============================================================================== 9.68/9.78 c New solution: 95908 9.68/9.78 o 95908 9.68/9.78 c Elapsed CPU time: 9.61954 s Remaining CPU time: 170.38 s 9.68/9.78 c =============================================================================== 9.68/9.78 c | 637 | 3334 26495 305994 | 8831 637 432 | 40.122 % | 9.79/9.82 c =============================================================================== 9.79/9.82 c New solution: 95907 9.79/9.82 o 95907 9.79/9.82 c Elapsed CPU time: 9.66153 s Remaining CPU time: 170.338 s 9.79/9.82 c =============================================================================== 9.79/9.82 c | 637 | 3334 26496 307971 | 8832 637 432 | 40.122 % | 9.79/9.86 c =============================================================================== 9.79/9.86 c New solution: 95906 9.79/9.86 o 95906 9.79/9.86 c Elapsed CPU time: 9.69952 s Remaining CPU time: 170.3 s 9.79/9.86 c =============================================================================== 9.79/9.86 c | 637 | 3334 26497 309948 | 8832 637 432 | 40.122 % | 9.79/9.89 c =============================================================================== 9.79/9.89 c New solution: 95905 9.79/9.89 o 95905 9.79/9.89 c Elapsed CPU time: 9.73352 s Remaining CPU time: 170.266 s 9.79/9.89 c =============================================================================== 9.79/9.89 c | 637 | 3334 26498 311925 | 8832 637 432 | 40.122 % | 9.90/9.95 c =============================================================================== 9.90/9.95 c New solution: 95904 9.90/9.95 o 95904 9.90/9.95 c Elapsed CPU time: 9.78351 s Remaining CPU time: 170.216 s 9.90/9.95 c =============================================================================== 9.90/9.95 c | 637 | 3334 26499 313902 | 8833 637 432 | 40.122 % | 9.90/9.98 c =============================================================================== 9.90/9.98 c New solution: 95903 9.90/9.98 o 95903 9.90/9.98 c Elapsed CPU time: 9.82051 s Remaining CPU time: 170.179 s 9.90/9.98 c =============================================================================== 9.90/9.98 c | 637 | 3334 26500 315879 | 8833 637 432 | 40.122 % | 9.99/10.02 c =============================================================================== 9.99/10.02 c New solution: 95902 9.99/10.02 o 95902 9.99/10.02 c Elapsed CPU time: 9.8575 s Remaining CPU time: 170.142 s 9.99/10.02 c =============================================================================== 9.99/10.02 c | 637 | 3334 26501 317856 | 8833 637 432 | 40.122 % | 9.99/10.05 c =============================================================================== 9.99/10.05 c New solution: 95901 9.99/10.05 o 95901 9.99/10.05 c Elapsed CPU time: 9.8905 s Remaining CPU time: 170.11 s 9.99/10.05 c =============================================================================== 9.99/10.05 c | 638 | 3334 26502 319833 | 8834 638 431 | 40.122 % | 9.99/10.09 c =============================================================================== 9.99/10.09 c New solution: 95900 9.99/10.09 o 95900 9.99/10.09 c Elapsed CPU time: 9.92049 s Remaining CPU time: 170.08 s 9.99/10.09 c =============================================================================== 9.99/10.09 c | 638 | 3334 26503 321810 | 8834 638 431 | 40.122 % | 10.09/10.12 c =============================================================================== 10.09/10.12 c New solution: 94371 10.09/10.12 o 94371 10.09/10.12 c Elapsed CPU time: 9.95849 s Remaining CPU time: 170.042 s 10.09/10.12 c =============================================================================== 10.09/10.12 c | 638 | 3334 26504 323787 | 8834 638 431 | 40.122 % | 10.09/10.18 c =============================================================================== 10.09/10.18 c New solution: 94367 10.09/10.18 o 94367 10.09/10.18 c Elapsed CPU time: 10.0135 s Remaining CPU time: 169.987 s 10.09/10.18 c =============================================================================== 10.09/10.18 c | 638 | 3334 26505 325764 | 8835 638 431 | 40.122 % | 10.18/10.26 c =============================================================================== 10.18/10.26 c New solution: 94366 10.18/10.26 o 94366 10.18/10.26 c Elapsed CPU time: 10.0915 s Remaining CPU time: 169.909 s 10.18/10.26 c =============================================================================== 10.18/10.26 c | 639 | 3334 26506 327741 | 8835 639 431 | 40.122 % | 10.59/10.61 c =============================================================================== 10.59/10.61 c New solution: 94344 10.59/10.61 o 94344 10.59/10.61 c Elapsed CPU time: 10.4354 s Remaining CPU time: 169.565 s 10.59/10.61 c =============================================================================== 10.59/10.61 c | 640 | 3334 26507 329718 | 8835 640 431 | 40.122 % | 10.79/10.80 c =============================================================================== 10.79/10.80 c New solution: 94342 10.79/10.80 o 94342 10.79/10.80 c Elapsed CPU time: 10.6244 s Remaining CPU time: 169.376 s 10.79/10.80 c =============================================================================== 10.79/10.80 c | 640 | 3334 26508 331695 | 8836 640 431 | 40.122 % | 10.89/10.99 c =============================================================================== 10.89/10.99 c New solution: 94341 10.89/10.99 o 94341 10.89/10.99 c Elapsed CPU time: 10.8174 s Remaining CPU time: 169.183 s 10.89/10.99 c =============================================================================== 10.89/10.99 c | 640 | 3334 26509 333672 | 8836 640 431 | 40.122 % | 11.09/11.19 c =============================================================================== 11.09/11.19 c New solution: 94340 11.09/11.19 o 94340 11.09/11.19 c Elapsed CPU time: 11.0083 s Remaining CPU time: 168.992 s 11.09/11.19 c =============================================================================== 11.09/11.19 c | 640 | 3334 26510 335649 | 8836 640 431 | 40.122 % | 11.28/11.38 c =============================================================================== 11.28/11.38 c New solution: 94339 11.28/11.38 o 94339 11.28/11.38 c Elapsed CPU time: 11.2003 s Remaining CPU time: 168.8 s 11.28/11.38 c =============================================================================== 11.28/11.38 c | 640 | 3334 26511 337626 | 8837 640 431 | 40.122 % | 11.48/11.57 c =============================================================================== 11.48/11.57 c New solution: 94338 11.48/11.57 o 94338 11.48/11.57 c Elapsed CPU time: 11.3903 s Remaining CPU time: 168.61 s 11.48/11.57 c =============================================================================== 11.48/11.57 c | 640 | 3334 26512 339603 | 8837 640 431 | 40.122 % | 11.68/11.76 c =============================================================================== 11.68/11.76 c New solution: 94337 11.68/11.76 o 94337 11.68/11.76 c Elapsed CPU time: 11.5822 s Remaining CPU time: 168.418 s 11.68/11.76 c =============================================================================== 11.68/11.76 c | 640 | 3334 26513 341580 | 8837 640 431 | 40.122 % | 11.88/11.95 c =============================================================================== 11.88/11.95 c New solution: 94336 11.88/11.95 o 94336 11.88/11.95 c Elapsed CPU time: 11.7742 s Remaining CPU time: 168.226 s 11.88/11.95 c =============================================================================== 11.88/11.95 c | 640 | 3334 26514 343557 | 8838 640 431 | 40.122 % | 12.09/12.14 c =============================================================================== 12.09/12.14 c New solution: 94335 12.09/12.14 o 94335 12.09/12.14 c Elapsed CPU time: 11.9652 s Remaining CPU time: 168.035 s 12.09/12.14 c =============================================================================== 12.09/12.14 c | 640 | 3334 26515 345534 | 8838 640 431 | 40.122 % | 12.28/12.34 c =============================================================================== 12.28/12.34 c New solution: 94334 12.28/12.34 o 94334 12.28/12.34 c Elapsed CPU time: 12.1562 s Remaining CPU time: 167.844 s 12.28/12.34 c =============================================================================== 12.28/12.34 c | 640 | 3334 26516 347511 | 8838 640 431 | 40.122 % | 12.49/12.53 c =============================================================================== 12.49/12.53 c New solution: 94333 12.49/12.53 o 94333 12.49/12.53 c Elapsed CPU time: 12.3511 s Remaining CPU time: 167.649 s 12.49/12.53 c =============================================================================== 12.49/12.53 c | 641 | 3334 26517 349488 | 8839 641 431 | 40.122 % | 13.49/13.58 c | 741 | 3334 26517 349488 | 9722 741 469 | 40.122 % | 13.69/13.70 c =============================================================================== 13.69/13.70 c New solution: 94332 13.69/13.70 o 94332 13.69/13.70 c Elapsed CPU time: 13.5159 s Remaining CPU time: 166.484 s 13.69/13.70 c =============================================================================== 13.69/13.70 c | 742 | 3334 26518 351465 | 8839 742 469 | 40.122 % | 13.79/13.80 c =============================================================================== 13.79/13.80 c New solution: 94331 13.79/13.80 o 94331 13.79/13.80 c Elapsed CPU time: 13.6139 s Remaining CPU time: 166.386 s 13.79/13.80 c =============================================================================== 13.79/13.80 c | 756 | 3334 26519 353442 | 8839 756 472 | 40.122 % | 13.79/13.88 c =============================================================================== 13.79/13.88 c New solution: 94330 13.79/13.88 o 94330 13.79/13.88 c Elapsed CPU time: 13.6949 s Remaining CPU time: 166.305 s 13.79/13.88 c =============================================================================== 13.79/13.88 c | 761 | 3334 26520 355419 | 8840 761 473 | 40.122 % | 13.89/13.98 c =============================================================================== 13.89/13.98 c New solution: 94329 13.89/13.98 o 94329 13.89/13.98 c Elapsed CPU time: 13.7929 s Remaining CPU time: 166.207 s 13.89/13.98 c =============================================================================== 13.89/13.98 c | 766 | 3334 26521 357396 | 8840 766 474 | 40.122 % | 14.59/14.66 c | 869 | 3334 26521 357396 | 9724 869 500 | 40.122 % | 14.69/14.78 c =============================================================================== 14.69/14.78 c New solution: 94328 14.69/14.78 o 94328 14.69/14.78 c Elapsed CPU time: 14.5898 s Remaining CPU time: 165.41 s 14.69/14.78 c =============================================================================== 14.69/14.78 c | 872 | 3334 26522 359373 | 8840 872 501 | 40.122 % | 14.98/15.00 c =============================================================================== 14.98/15.00 c New solution: 94327 14.98/15.00 o 94327 14.98/15.00 c Elapsed CPU time: 14.8137 s Remaining CPU time: 165.186 s 14.98/15.00 c =============================================================================== 14.98/15.00 c | 895 | 3334 26523 361350 | 8841 895 506 | 40.122 % | 15.08/15.11 c =============================================================================== 15.08/15.11 c New solution: 94326 15.08/15.11 o 94326 15.08/15.11 c Elapsed CPU time: 14.9187 s Remaining CPU time: 165.081 s 15.08/15.11 c =============================================================================== 15.08/15.11 c | 896 | 3334 26524 363327 | 8841 896 506 | 40.122 % | 15.18/15.22 c =============================================================================== 15.18/15.22 c New solution: 94325 15.18/15.22 o 94325 15.18/15.22 c Elapsed CPU time: 15.0327 s Remaining CPU time: 164.967 s 15.18/15.22 c =============================================================================== 15.18/15.22 c | 898 | 3334 26525 365304 | 8841 898 507 | 40.122 % | 15.29/15.33 c =============================================================================== 15.29/15.33 c New solution: 94324 15.29/15.33 o 94324 15.29/15.33 c Elapsed CPU time: 15.1407 s Remaining CPU time: 164.859 s 15.29/15.33 c =============================================================================== 15.29/15.33 c | 900 | 3334 26526 367281 | 8842 900 507 | 40.122 % | 15.40/15.44 c =============================================================================== 15.40/15.44 c New solution: 94323 15.40/15.44 o 94323 15.40/15.44 c Elapsed CPU time: 15.2517 s Remaining CPU time: 164.748 s 15.40/15.44 c =============================================================================== 15.40/15.44 c | 905 | 3334 26527 369258 | 8842 905 508 | 40.122 % | 15.79/15.81 c =============================================================================== 15.79/15.81 c New solution: 94322 15.79/15.81 o 94322 15.79/15.81 c Elapsed CPU time: 15.6216 s Remaining CPU time: 164.378 s 15.79/15.81 c =============================================================================== 15.79/15.81 c | 932 | 3334 26528 371235 | 8842 932 512 | 40.122 % | 17.09/17.11 c | 1033 | 3334 26528 371235 | 9726 1033 530 | 40.122 % | 18.18/18.23 c | 1183 | 3334 26528 371235 | 10699 1183 553 | 40.122 % | 18.28/18.33 c =============================================================================== 18.28/18.33 c New solution: 94321 18.28/18.33 o 94321 18.28/18.33 c Elapsed CPU time: 18.1362 s Remaining CPU time: 161.864 s 18.28/18.33 c =============================================================================== 18.28/18.33 c | 1183 | 3334 26529 373212 | 8843 1183 553 | 40.122 % | 18.38/18.42 c =============================================================================== 18.38/18.42 c New solution: 94320 18.38/18.42 o 94320 18.38/18.42 c Elapsed CPU time: 18.2252 s Remaining CPU time: 161.775 s 18.38/18.42 c =============================================================================== 18.38/18.42 c | 1184 | 3334 26530 375189 | 8843 1184 553 | 40.122 % | 18.48/18.53 c =============================================================================== 18.48/18.53 c New solution: 94319 18.48/18.53 o 94319 18.48/18.53 c Elapsed CPU time: 18.3302 s Remaining CPU time: 161.67 s 18.48/18.53 c =============================================================================== 18.48/18.53 c | 1184 | 3334 26531 377166 | 8843 1184 553 | 40.122 % | 18.59/18.62 c =============================================================================== 18.59/18.62 c New solution: 94318 18.59/18.62 o 94318 18.59/18.62 c Elapsed CPU time: 18.4252 s Remaining CPU time: 161.575 s 18.59/18.62 c =============================================================================== 18.59/18.62 c | 1184 | 3334 26532 379143 | 8844 1184 553 | 40.122 % | 18.69/18.72 c =============================================================================== 18.69/18.72 c New solution: 94317 18.69/18.72 o 94317 18.69/18.72 c Elapsed CPU time: 18.5212 s Remaining CPU time: 161.479 s 18.69/18.72 c =============================================================================== 18.69/18.72 c | 1184 | 3334 26533 381120 | 8844 1184 553 | 40.122 % | 18.88/18.91 c =============================================================================== 18.88/18.91 c New solution: 94316 18.88/18.91 o 94316 18.88/18.91 c Elapsed CPU time: 18.7142 s Remaining CPU time: 161.286 s 18.88/18.91 c =============================================================================== 18.88/18.91 c | 1194 | 3334 26534 383097 | 8844 1194 553 | 40.122 % | 18.98/19.04 c =============================================================================== 18.98/19.04 c New solution: 94315 18.98/19.04 o 94315 18.98/19.04 c Elapsed CPU time: 18.8391 s Remaining CPU time: 161.161 s 18.98/19.04 c =============================================================================== 18.98/19.04 c | 1199 | 3334 26535 385074 | 8845 1199 552 | 40.122 % | 19.28/19.36 c =============================================================================== 19.28/19.36 c New solution: 94314 19.28/19.36 o 94314 19.28/19.36 c Elapsed CPU time: 19.1641 s Remaining CPU time: 160.836 s 19.28/19.36 c =============================================================================== 19.28/19.36 c | 1214 | 3334 26536 387051 | 8845 1214 554 | 40.122 % | 19.38/19.45 c =============================================================================== 19.38/19.45 c New solution: 94313 19.38/19.45 o 94313 19.38/19.45 c Elapsed CPU time: 19.2461 s Remaining CPU time: 160.754 s 19.38/19.45 c =============================================================================== 19.38/19.45 c | 1217 | 3334 26537 389028 | 8845 1217 554 | 40.122 % | 19.59/19.62 c =============================================================================== 19.59/19.62 c New solution: 94312 19.59/19.62 o 94312 19.59/19.62 c Elapsed CPU time: 19.418 s Remaining CPU time: 160.582 s 19.59/19.62 c =============================================================================== 19.59/19.62 c | 1230 | 3334 26538 391005 | 8846 1230 555 | 40.122 % | 20.29/20.38 c | 1331 | 3334 26538 391005 | 9730 1331 567 | 40.122 % | 20.48/20.53 c =============================================================================== 20.48/20.53 c New solution: 94311 20.48/20.53 o 94311 20.48/20.53 c Elapsed CPU time: 20.3219 s Remaining CPU time: 159.678 s 20.48/20.53 c =============================================================================== 20.48/20.53 c | 1336 | 3334 26539 392982 | 8846 1336 567 | 40.122 % | 20.89/20.93 c =============================================================================== 20.89/20.93 c New solution: 94310 20.89/20.93 o 94310 20.89/20.93 c Elapsed CPU time: 20.7208 s Remaining CPU time: 159.279 s 20.89/20.93 c =============================================================================== 20.89/20.93 c | 1352 | 3334 26540 394959 | 8846 1352 568 | 40.122 % | 20.98/21.01 c =============================================================================== 20.98/21.01 c New solution: 94309 20.98/21.01 o 94309 20.98/21.01 c Elapsed CPU time: 20.8058 s Remaining CPU time: 159.194 s 20.98/21.01 c =============================================================================== 20.98/21.01 c | 1353 | 3334 26541 396936 | 8847 1353 568 | 40.122 % | 21.08/21.10 c =============================================================================== 21.08/21.10 c New solution: 94308 21.08/21.10 o 94308 21.08/21.10 c Elapsed CPU time: 20.8968 s Remaining CPU time: 159.103 s 21.08/21.10 c =============================================================================== 21.08/21.10 c | 1357 | 3334 26542 398913 | 8847 1357 569 | 40.122 % | 21.18/21.23 c =============================================================================== 21.18/21.23 c New solution: 94307 21.18/21.23 o 94307 21.18/21.23 c Elapsed CPU time: 21.0178 s Remaining CPU time: 158.982 s 21.18/21.23 c =============================================================================== 21.18/21.23 c | 1363 | 3334 26543 400890 | 8847 1363 569 | 40.122 % | 21.89/21.90 c =============================================================================== 21.89/21.90 c New solution: 94306 21.89/21.90 o 94306 21.89/21.90 c Elapsed CPU time: 21.6907 s Remaining CPU time: 158.309 s 21.89/21.90 c =============================================================================== 21.89/21.90 c | 1395 | 3334 26544 402867 | 8848 1395 571 | 40.122 % | 22.78/22.84 c | 1495 | 3334 26544 402867 | 9732 1495 579 | 40.122 % | 22.88/22.96 c =============================================================================== 22.88/22.96 c New solution: 94305 22.88/22.96 o 94305 22.88/22.96 c Elapsed CPU time: 22.7525 s Remaining CPU time: 157.247 s 22.88/22.96 c =============================================================================== 22.88/22.96 c | 1505 | 3334 26545 404844 | 8848 1505 579 | 40.122 % | 23.68/23.73 c | 1605 | 3334 26545 404844 | 9733 1605 585 | 40.122 % | 23.98/24.03 c =============================================================================== 23.98/24.03 c New solution: 94304 23.98/24.03 o 94304 23.98/24.03 c Elapsed CPU time: 23.8234 s Remaining CPU time: 156.177 s 23.98/24.03 c =============================================================================== 23.98/24.03 c | 1617 | 3334 26546 406821 | 8848 1617 586 | 40.122 % | 24.58/24.62 c =============================================================================== 24.58/24.62 c New solution: 94303 24.58/24.62 o 94303 24.58/24.62 c Elapsed CPU time: 24.4053 s Remaining CPU time: 155.595 s 24.58/24.62 c =============================================================================== 24.58/24.62 c | 1683 | 3334 26547 408798 | 8849 1683 589 | 40.122 % | 24.78/24.87 c =============================================================================== 24.78/24.87 c New solution: 94302 24.78/24.87 o 94302 24.78/24.87 c Elapsed CPU time: 24.6612 s Remaining CPU time: 155.339 s 24.78/24.87 c =============================================================================== 24.78/24.87 c | 1710 | 3334 26548 410775 | 8849 1710 591 | 40.122 % | 25.78/25.89 c | 1811 | 3334 26548 410775 | 9734 1811 596 | 40.122 % | 26.69/26.71 c =============================================================================== 26.69/26.71 c New solution: 94301 26.69/26.71 o 94301 26.69/26.71 c Elapsed CPU time: 26.499 s Remaining CPU time: 153.501 s 26.69/26.71 c =============================================================================== 26.69/26.71 c | 1892 | 3334 26549 412752 | 8849 1892 599 | 40.122 % | 27.59/27.65 c | 1993 | 3334 26549 412752 | 9734 1993 602 | 40.122 % | 29.09/29.14 c | 2144 | 3334 26549 412752 | 10708 2144 608 | 40.122 % | 29.19/29.25 c =============================================================================== 29.19/29.25 c New solution: 94300 29.19/29.25 o 94300 29.19/29.25 c Elapsed CPU time: 29.0356 s Remaining CPU time: 150.964 s 29.19/29.25 c =============================================================================== 29.19/29.25 c | 2147 | 3334 26550 414729 | 8850 2147 608 | 40.122 % | 30.08/30.16 c | 2248 | 3334 26550 414729 | 9735 2248 612 | 40.122 % | 30.18/30.27 c =============================================================================== 30.18/30.27 c New solution: 94299 30.18/30.27 o 94299 30.18/30.27 c Elapsed CPU time: 30.0554 s Remaining CPU time: 149.945 s 30.18/30.27 c =============================================================================== 30.18/30.27 c | 2250 | 3334 26551 416706 | 8850 2250 612 | 40.122 % | 30.28/30.38 c =============================================================================== 30.28/30.38 c New solution: 94298 30.28/30.38 o 94298 30.28/30.38 c Elapsed CPU time: 30.1644 s Remaining CPU time: 149.836 s 30.28/30.38 c =============================================================================== 30.28/30.38 c | 2252 | 3334 26552 418683 | 8850 2252 612 | 40.122 % | 30.48/30.58 c =============================================================================== 30.48/30.58 c New solution: 94297 30.48/30.58 o 94297 30.48/30.58 c Elapsed CPU time: 30.3634 s Remaining CPU time: 149.637 s 30.48/30.58 c =============================================================================== 30.48/30.58 c | 2268 | 3334 26553 420660 | 8851 2268 613 | 40.122 % | 30.69/30.74 c =============================================================================== 30.69/30.74 c New solution: 92835 30.69/30.74 o 92835 30.69/30.74 c Elapsed CPU time: 30.5224 s Remaining CPU time: 149.478 s 30.69/30.74 c =============================================================================== 30.69/30.74 c | 2271 | 3334 26554 422637 | 8851 2271 613 | 40.122 % | 30.88/30.96 c =============================================================================== 30.88/30.96 c New solution: 92830 30.88/30.96 o 92830 30.88/30.96 c Elapsed CPU time: 30.7393 s Remaining CPU time: 149.261 s 30.88/30.96 c =============================================================================== 30.88/30.96 c | 2271 | 3334 26555 424614 | 8851 2271 613 | 40.122 % | 31.08/31.18 c =============================================================================== 31.08/31.18 c New solution: 92829 31.08/31.18 o 92829 31.08/31.18 c Elapsed CPU time: 30.9553 s Remaining CPU time: 149.045 s 31.08/31.18 c =============================================================================== 31.08/31.18 c | 2272 | 3334 26556 426591 | 8852 2272 613 | 40.122 % | 31.28/31.39 c =============================================================================== 31.28/31.39 c New solution: 92828 31.28/31.39 o 92828 31.28/31.39 c Elapsed CPU time: 31.1653 s Remaining CPU time: 148.835 s 31.28/31.39 c =============================================================================== 31.28/31.39 c | 2272 | 3334 26557 428568 | 8852 2272 613 | 40.122 % | 31.58/31.62 c =============================================================================== 31.58/31.62 c New solution: 92827 31.58/31.62 o 92827 31.58/31.62 c Elapsed CPU time: 31.4002 s Remaining CPU time: 148.6 s 31.58/31.62 c =============================================================================== 31.58/31.62 c | 2272 | 3334 26558 430545 | 8852 2272 613 | 40.122 % | 31.89/31.92 c =============================================================================== 31.89/31.92 c New solution: 92826 31.89/31.92 o 92826 31.89/31.92 c Elapsed CPU time: 31.6962 s Remaining CPU time: 148.304 s 31.89/31.92 c =============================================================================== 31.89/31.92 c | 2273 | 3334 26559 432522 | 8853 2273 612 | 40.122 % | 32.08/32.17 c =============================================================================== 32.08/32.17 c New solution: 92824 32.08/32.17 o 92824 32.08/32.17 c Elapsed CPU time: 31.9481 s Remaining CPU time: 148.052 s 32.08/32.17 c =============================================================================== 32.08/32.17 c | 2274 | 3334 26560 434499 | 8853 2274 612 | 40.122 % | 32.29/32.38 c =============================================================================== 32.29/32.38 c New solution: 92823 32.29/32.38 o 92823 32.29/32.38 c Elapsed CPU time: 32.1591 s Remaining CPU time: 147.841 s 32.29/32.38 c =============================================================================== 32.29/32.38 c | 2275 | 3334 26561 436476 | 8853 2275 612 | 40.122 % | 32.59/32.60 c =============================================================================== 32.59/32.60 c New solution: 92822 32.59/32.60 o 92822 32.59/32.60 c Elapsed CPU time: 32.3731 s Remaining CPU time: 147.627 s 32.59/32.60 c =============================================================================== 32.59/32.60 c | 2275 | 3334 26562 438453 | 8854 2275 612 | 40.122 % | 32.89/32.92 c =============================================================================== 32.89/32.92 c New solution: 92821 32.89/32.92 o 92821 32.89/32.92 c Elapsed CPU time: 32.687 s Remaining CPU time: 147.313 s 32.89/32.92 c =============================================================================== 32.89/32.92 c | 2277 | 3334 26563 440430 | 8854 2277 612 | 40.122 % | 33.08/33.11 c =============================================================================== 33.08/33.11 c New solution: 92820 33.08/33.11 o 92820 33.08/33.11 c Elapsed CPU time: 32.885 s Remaining CPU time: 147.115 s 33.08/33.11 c =============================================================================== 33.08/33.11 c | 2284 | 3334 26564 442407 | 8854 2284 612 | 40.122 % | 33.18/33.29 c =============================================================================== 33.18/33.29 c New solution: 92806 33.18/33.29 o 92806 33.18/33.29 c Elapsed CPU time: 33.064 s Remaining CPU time: 146.936 s 33.18/33.29 c =============================================================================== 33.18/33.29 c | 2284 | 3334 26565 444384 | 8855 2284 612 | 40.122 % | 33.38/33.48 c =============================================================================== 33.38/33.48 c New solution: 92805 33.38/33.48 o 92805 33.38/33.48 c Elapsed CPU time: 33.2439 s Remaining CPU time: 146.756 s 33.38/33.48 c =============================================================================== 33.38/33.48 c | 2284 | 3334 26566 446361 | 8855 2284 612 | 40.122 % | 33.88/33.99 c =============================================================================== 33.88/33.99 c New solution: 92804 33.88/33.99 o 92804 33.88/33.99 c Elapsed CPU time: 33.7569 s Remaining CPU time: 146.243 s 33.88/33.99 c =============================================================================== 33.88/33.99 c | 2290 | 3334 26567 448338 | 8855 2290 611 | 40.122 % | 34.08/34.17 c =============================================================================== 34.08/34.17 c New solution: 92803 34.08/34.17 o 92803 34.08/34.17 c Elapsed CPU time: 33.9368 s Remaining CPU time: 146.063 s 34.08/34.17 c =============================================================================== 34.08/34.17 c | 2290 | 3334 26568 450315 | 8856 2290 611 | 40.122 % | 34.28/34.34 c =============================================================================== 34.28/34.34 c New solution: 92802 34.28/34.34 o 92802 34.28/34.34 c Elapsed CPU time: 34.1028 s Remaining CPU time: 145.897 s 34.28/34.34 c =============================================================================== 34.28/34.34 c | 2298 | 3334 26569 452292 | 8856 2298 611 | 40.122 % | 34.38/34.49 c =============================================================================== 34.38/34.49 c New solution: 92801 34.38/34.49 o 92801 34.38/34.49 c Elapsed CPU time: 34.2558 s Remaining CPU time: 145.744 s 34.38/34.49 c =============================================================================== 34.38/34.49 c | 2300 | 3334 26570 454269 | 8856 2300 611 | 40.122 % | 34.68/34.70 c =============================================================================== 34.68/34.70 c New solution: 92800 34.68/34.70 o 92800 34.68/34.70 c Elapsed CPU time: 34.4628 s Remaining CPU time: 145.537 s 34.68/34.70 c =============================================================================== 34.68/34.70 c | 2302 | 3334 26571 456246 | 8857 2302 611 | 40.122 % | 34.78/34.87 c =============================================================================== 34.78/34.87 c New solution: 92799 34.78/34.87 o 92799 34.78/34.87 c Elapsed CPU time: 34.6317 s Remaining CPU time: 145.368 s 34.78/34.87 c =============================================================================== 34.78/34.87 c | 2304 | 3334 26572 458223 | 8857 2304 610 | 40.122 % | 34.88/34.99 c =============================================================================== 34.88/34.99 c New solution: 92798 34.88/34.99 o 92798 34.88/34.99 c Elapsed CPU time: 34.7497 s Remaining CPU time: 145.25 s 34.88/34.99 c =============================================================================== 34.88/34.99 c | 2304 | 3334 26573 460200 | 8857 2304 610 | 40.122 % | 35.09/35.12 c =============================================================================== 35.09/35.12 c New solution: 92797 35.09/35.12 o 92797 35.09/35.12 c Elapsed CPU time: 34.8767 s Remaining CPU time: 145.123 s 35.09/35.12 c =============================================================================== 35.09/35.12 c | 2304 | 3334 26574 462177 | 8858 2304 610 | 40.122 % | 35.19/35.26 c =============================================================================== 35.19/35.26 c New solution: 92796 35.19/35.26 o 92796 35.19/35.26 c Elapsed CPU time: 35.0197 s Remaining CPU time: 144.98 s 35.19/35.26 c =============================================================================== 35.19/35.26 c | 2306 | 3334 26575 464154 | 8858 2306 610 | 40.122 % | 35.38/35.43 c =============================================================================== 35.38/35.43 c New solution: 92795 35.38/35.43 o 92795 35.38/35.43 c Elapsed CPU time: 35.1867 s Remaining CPU time: 144.813 s 35.38/35.43 c =============================================================================== 35.38/35.43 c | 2308 | 3334 26576 466131 | 8858 2308 610 | 40.122 % | 35.58/35.69 c =============================================================================== 35.58/35.69 c New solution: 92794 35.58/35.69 o 92794 35.58/35.69 c Elapsed CPU time: 35.4456 s Remaining CPU time: 144.554 s 35.58/35.69 c =============================================================================== 35.58/35.69 c | 2317 | 3334 26577 468108 | 8859 2317 611 | 40.122 % | 35.78/35.85 c =============================================================================== 35.78/35.85 c New solution: 92793 35.78/35.85 o 92793 35.78/35.85 c Elapsed CPU time: 35.6056 s Remaining CPU time: 144.394 s 35.78/35.85 c =============================================================================== 35.78/35.85 c | 2317 | 3334 26578 470085 | 8859 2317 611 | 40.122 % | 35.98/36.02 c =============================================================================== 35.98/36.02 c New solution: 92792 35.98/36.02 o 92792 35.98/36.02 c Elapsed CPU time: 35.7776 s Remaining CPU time: 144.222 s 35.98/36.02 c =============================================================================== 35.98/36.02 c | 2317 | 3334 26579 472062 | 8859 2317 611 | 40.122 % | 36.08/36.18 c =============================================================================== 36.08/36.18 c New solution: 92791 36.08/36.18 o 92791 36.08/36.18 c Elapsed CPU time: 35.9385 s Remaining CPU time: 144.061 s 36.08/36.18 c =============================================================================== 36.08/36.18 c | 2317 | 3334 26580 474039 | 8860 2317 611 | 40.122 % | 36.28/36.35 c =============================================================================== 36.28/36.35 c New solution: 92790 36.28/36.35 o 92790 36.28/36.35 c Elapsed CPU time: 36.1095 s Remaining CPU time: 143.89 s 36.28/36.35 c =============================================================================== 36.28/36.35 c | 2318 | 3334 26581 476016 | 8860 2318 610 | 40.122 % | 36.58/36.64 c =============================================================================== 36.58/36.64 c New solution: 92789 36.58/36.64 o 92789 36.58/36.64 c Elapsed CPU time: 36.4005 s Remaining CPU time: 143.6 s 36.58/36.64 c =============================================================================== 36.58/36.64 c | 2320 | 3334 26582 477993 | 8860 2320 610 | 40.122 % | 36.68/36.78 c =============================================================================== 36.68/36.78 c New solution: 92788 36.68/36.78 o 92788 36.68/36.78 c Elapsed CPU time: 36.5324 s Remaining CPU time: 143.468 s 36.68/36.78 c =============================================================================== 36.68/36.78 c | 2328 | 3334 26583 479970 | 8861 2328 610 | 40.122 % | 37.39/37.44 c | 2428 | 3334 26583 479970 | 9747 2428 614 | 40.122 % | 37.58/37.64 c =============================================================================== 37.58/37.64 c New solution: 92787 37.58/37.64 o 92787 37.58/37.64 c Elapsed CPU time: 37.3903 s Remaining CPU time: 142.61 s 37.58/37.64 c =============================================================================== 37.58/37.64 c | 2432 | 3334 26584 481947 | 8861 2432 614 | 40.122 % | 37.78/37.83 c =============================================================================== 37.78/37.83 c New solution: 92786 37.78/37.83 o 92786 37.78/37.83 c Elapsed CPU time: 37.5773 s Remaining CPU time: 142.423 s 37.78/37.83 c =============================================================================== 37.78/37.83 c | 2437 | 3334 26585 483924 | 8861 2437 614 | 40.122 % | 38.49/38.52 c =============================================================================== 38.49/38.52 c New solution: 92785 38.49/38.52 o 92785 38.49/38.52 c Elapsed CPU time: 38.2732 s Remaining CPU time: 141.727 s 38.49/38.52 c =============================================================================== 38.49/38.52 c | 2524 | 3334 26586 485901 | 8862 2524 617 | 40.122 % | 38.58/38.66 c =============================================================================== 38.58/38.66 c New solution: 92784 38.58/38.66 o 92784 38.58/38.66 c Elapsed CPU time: 38.4092 s Remaining CPU time: 141.591 s 38.58/38.66 c =============================================================================== 38.58/38.66 c | 2525 | 3334 26587 487878 | 8862 2525 617 | 40.122 % | 38.78/38.80 c =============================================================================== 38.78/38.80 c New solution: 92783 38.78/38.80 o 92783 38.78/38.80 c Elapsed CPU time: 38.5441 s Remaining CPU time: 141.456 s 38.78/38.80 c =============================================================================== 38.78/38.80 c | 2525 | 3334 26588 489855 | 8862 2525 617 | 40.122 % | 38.88/38.93 c =============================================================================== 38.88/38.93 c New solution: 92782 38.88/38.93 o 92782 38.88/38.93 c Elapsed CPU time: 38.6751 s Remaining CPU time: 141.325 s 38.88/38.93 c =============================================================================== 38.88/38.93 c | 2525 | 3334 26589 491832 | 8863 2525 617 | 40.122 % | 38.98/39.07 c =============================================================================== 38.98/39.07 c New solution: 92781 38.98/39.07 o 92781 38.98/39.07 c Elapsed CPU time: 38.8161 s Remaining CPU time: 141.184 s 38.98/39.07 c =============================================================================== 38.98/39.07 c | 2526 | 3334 26590 493809 | 8863 2526 617 | 40.122 % | 39.19/39.20 c =============================================================================== 39.19/39.20 c New solution: 92780 39.19/39.20 o 92780 39.19/39.20 c Elapsed CPU time: 38.9451 s Remaining CPU time: 141.055 s 39.19/39.20 c =============================================================================== 39.19/39.20 c | 2527 | 3334 26591 495786 | 8863 2527 617 | 40.122 % | 39.28/39.34 c =============================================================================== 39.28/39.34 c New solution: 92779 39.28/39.34 o 92779 39.28/39.34 c Elapsed CPU time: 39.0821 s Remaining CPU time: 140.918 s 39.28/39.34 c =============================================================================== 39.28/39.34 c | 2527 | 3334 26592 497763 | 8864 2527 617 | 40.122 % | 39.38/39.47 c =============================================================================== 39.38/39.47 c New solution: 92778 39.38/39.47 o 92778 39.38/39.47 c Elapsed CPU time: 39.215 s Remaining CPU time: 140.785 s 39.38/39.47 c =============================================================================== 39.38/39.47 c | 2527 | 3334 26593 499740 | 8864 2527 617 | 40.122 % | 39.59/39.61 c =============================================================================== 39.59/39.61 c New solution: 92777 39.59/39.61 o 92777 39.59/39.61 c Elapsed CPU time: 39.35 s Remaining CPU time: 140.65 s 39.59/39.61 c =============================================================================== 39.59/39.61 c | 2528 | 3334 26594 501717 | 8864 2528 617 | 40.122 % | 39.68/39.73 c =============================================================================== 39.68/39.73 c New solution: 92776 39.68/39.73 o 92776 39.68/39.73 c Elapsed CPU time: 39.473 s Remaining CPU time: 140.527 s 39.68/39.73 c =============================================================================== 39.68/39.73 c | 2529 | 3334 26595 503694 | 8865 2529 617 | 40.122 % | 39.78/39.86 c =============================================================================== 39.78/39.86 c New solution: 92775 39.78/39.86 o 92775 39.78/39.86 c Elapsed CPU time: 39.605 s Remaining CPU time: 140.395 s 39.78/39.86 c =============================================================================== 39.78/39.86 c | 2530 | 3334 26596 505671 | 8865 2530 616 | 40.122 % | 39.88/39.98 c =============================================================================== 39.88/39.98 c New solution: 92774 39.88/39.98 o 92774 39.88/39.98 c Elapsed CPU time: 39.723 s Remaining CPU time: 140.277 s 39.88/39.98 c =============================================================================== 39.88/39.98 c | 2531 | 3334 26597 507648 | 8865 2531 616 | 40.122 % | 40.08/40.11 c =============================================================================== 40.08/40.11 c New solution: 92773 40.08/40.11 o 92773 40.08/40.11 c Elapsed CPU time: 39.8499 s Remaining CPU time: 140.15 s 40.08/40.11 c =============================================================================== 40.08/40.11 c | 2531 | 3334 26598 509625 | 8866 2531 616 | 40.122 % | 40.18/40.24 c =============================================================================== 40.18/40.24 c New solution: 92772 40.18/40.24 o 92772 40.18/40.24 c Elapsed CPU time: 39.9749 s Remaining CPU time: 140.025 s 40.18/40.24 c =============================================================================== 40.18/40.24 c | 2531 | 3334 26599 511602 | 8866 2531 616 | 40.122 % | 40.28/40.35 c =============================================================================== 40.28/40.35 c New solution: 92771 40.28/40.35 o 92771 40.28/40.35 c Elapsed CPU time: 40.0909 s Remaining CPU time: 139.909 s 40.28/40.35 c =============================================================================== 40.28/40.35 c | 2532 | 3334 26600 513579 | 8866 2532 616 | 40.122 % | 40.69/40.75 c =============================================================================== 40.69/40.75 c New solution: 92770 40.69/40.75 o 92770 40.69/40.75 c Elapsed CPU time: 40.4888 s Remaining CPU time: 139.511 s 40.69/40.75 c =============================================================================== 40.69/40.75 c | 2551 | 3334 26601 515556 | 8867 2551 617 | 40.122 % | 41.08/41.13 c =============================================================================== 41.08/41.13 c New solution: 91307 41.08/41.13 o 91307 41.08/41.13 c Elapsed CPU time: 40.8688 s Remaining CPU time: 139.131 s 41.08/41.13 c =============================================================================== 41.08/41.13 c | 2562 | 3334 26602 517533 | 8867 2562 617 | 40.122 % | 41.28/41.31 c =============================================================================== 41.28/41.31 c New solution: 91271 41.28/41.31 o 91271 41.28/41.31 c Elapsed CPU time: 41.0478 s Remaining CPU time: 138.952 s 41.28/41.31 c =============================================================================== 41.28/41.31 c | 2570 | 3334 26603 519510 | 8867 2570 617 | 40.122 % | 41.48/41.53 c =============================================================================== 41.48/41.53 c New solution: 91270 41.48/41.53 o 91270 41.48/41.53 c Elapsed CPU time: 41.2657 s Remaining CPU time: 138.734 s 41.48/41.53 c =============================================================================== 41.48/41.53 c | 2571 | 3334 26604 521487 | 8868 2571 617 | 40.122 % | 41.58/41.68 c =============================================================================== 41.58/41.68 c New solution: 91269 41.58/41.68 o 91269 41.58/41.68 c Elapsed CPU time: 41.4157 s Remaining CPU time: 138.584 s 41.58/41.68 c =============================================================================== 41.58/41.68 c | 2574 | 3334 26605 523464 | 8868 2574 617 | 40.122 % | 41.78/41.87 c =============================================================================== 41.78/41.87 c New solution: 91268 41.78/41.87 o 91268 41.78/41.87 c Elapsed CPU time: 41.6047 s Remaining CPU time: 138.395 s 41.78/41.87 c =============================================================================== 41.78/41.87 c | 2580 | 3334 26606 525441 | 8868 2580 617 | 40.122 % | 41.88/41.97 c =============================================================================== 41.88/41.97 c New solution: 89758 41.88/41.97 o 89758 41.88/41.97 c Elapsed CPU time: 41.7067 s Remaining CPU time: 138.293 s 41.88/41.97 c =============================================================================== 41.88/41.97 c | 2581 | 3334 26607 527418 | 8869 2581 617 | 40.122 % | 42.08/42.17 c =============================================================================== 42.08/42.17 c New solution: 89757 42.08/42.17 o 89757 42.08/42.17 c Elapsed CPU time: 41.9026 s Remaining CPU time: 138.097 s 42.08/42.17 c =============================================================================== 42.08/42.17 c | 2581 | 3334 26608 529395 | 8869 2581 617 | 40.122 % | 42.28/42.34 c =============================================================================== 42.28/42.34 c New solution: 89750 42.28/42.34 o 89750 42.28/42.34 c Elapsed CPU time: 42.0786 s Remaining CPU time: 137.921 s 42.28/42.34 c =============================================================================== 42.28/42.34 c | 2581 | 3334 26609 531372 | 8869 2581 617 | 40.122 % | 42.47/42.54 c =============================================================================== 42.47/42.54 c New solution: 89749 42.47/42.54 o 89749 42.47/42.54 c Elapsed CPU time: 42.2696 s Remaining CPU time: 137.73 s 42.47/42.54 c =============================================================================== 42.47/42.54 c | 2581 | 3334 26610 533349 | 8870 2581 617 | 40.122 % | 42.68/42.74 c =============================================================================== 42.68/42.74 c New solution: 89748 42.68/42.74 o 89748 42.68/42.74 c Elapsed CPU time: 42.4665 s Remaining CPU time: 137.533 s 42.68/42.74 c =============================================================================== 42.68/42.74 c | 2581 | 3334 26611 535326 | 8870 2581 617 | 40.122 % | 42.79/42.89 c =============================================================================== 42.79/42.89 c New solution: 89747 42.79/42.89 o 89747 42.79/42.89 c Elapsed CPU time: 42.6175 s Remaining CPU time: 137.382 s 42.79/42.89 c =============================================================================== 42.79/42.89 c | 2581 | 3334 26612 537303 | 8870 2581 617 | 40.122 % | 42.98/43.08 c =============================================================================== 42.98/43.08 c New solution: 89746 42.98/43.08 o 89746 42.98/43.08 c Elapsed CPU time: 42.8055 s Remaining CPU time: 137.195 s 42.98/43.08 c =============================================================================== 42.98/43.08 c | 2581 | 3334 26613 539280 | 8871 2581 617 | 40.122 % | 43.18/43.26 c =============================================================================== 43.18/43.26 c New solution: 89745 43.18/43.26 o 89745 43.18/43.26 c Elapsed CPU time: 42.9885 s Remaining CPU time: 137.012 s 43.18/43.26 c =============================================================================== 43.18/43.26 c | 2581 | 3334 26614 541257 | 8871 2581 617 | 40.122 % | 43.38/43.45 c =============================================================================== 43.38/43.45 c New solution: 89744 43.38/43.45 o 89744 43.38/43.45 c Elapsed CPU time: 43.1724 s Remaining CPU time: 136.828 s 43.38/43.45 c =============================================================================== 43.38/43.45 c | 2581 | 3334 26615 543234 | 8871 2581 617 | 40.122 % | 43.58/43.63 c =============================================================================== 43.58/43.63 c New solution: 89743 43.58/43.63 o 89743 43.58/43.63 c Elapsed CPU time: 43.3544 s Remaining CPU time: 136.646 s 43.58/43.63 c =============================================================================== 43.58/43.63 c | 2581 | 3334 26616 545211 | 8872 2581 617 | 40.122 % | 43.78/43.80 c =============================================================================== 43.78/43.80 c New solution: 89742 43.78/43.80 o 89742 43.78/43.80 c Elapsed CPU time: 43.5224 s Remaining CPU time: 136.478 s 43.78/43.80 c =============================================================================== 43.78/43.80 c | 2581 | 3334 26617 547188 | 8872 2581 617 | 40.122 % | 43.89/43.95 c =============================================================================== 43.89/43.95 c New solution: 89741 43.89/43.95 o 89741 43.89/43.95 c Elapsed CPU time: 43.6724 s Remaining CPU time: 136.328 s 43.89/43.95 c =============================================================================== 43.89/43.95 c | 2581 | 3334 26618 549165 | 8872 2581 617 | 40.122 % | 44.08/44.13 c =============================================================================== 44.08/44.13 c New solution: 89740 44.08/44.13 o 89740 44.08/44.13 c Elapsed CPU time: 43.8523 s Remaining CPU time: 136.148 s 44.08/44.13 c =============================================================================== 44.08/44.13 c | 2583 | 3334 26619 551142 | 8873 2583 617 | 40.122 % | 44.58/44.67 c =============================================================================== 44.58/44.67 c New solution: 89739 44.58/44.67 o 89739 44.58/44.67 c Elapsed CPU time: 44.3893 s Remaining CPU time: 135.611 s 44.58/44.67 c =============================================================================== 44.58/44.67 c | 2637 | 3334 26620 553119 | 8873 2637 619 | 40.122 % | 44.78/44.87 c =============================================================================== 44.78/44.87 c New solution: 89738 44.78/44.87 o 89738 44.78/44.87 c Elapsed CPU time: 44.5842 s Remaining CPU time: 135.416 s 44.78/44.87 c =============================================================================== 44.78/44.87 c | 2638 | 3334 26621 555096 | 8873 2638 619 | 40.122 % | 45.09/45.14 c =============================================================================== 45.09/45.14 c New solution: 89737 45.09/45.14 o 89737 45.09/45.14 c Elapsed CPU time: 44.8532 s Remaining CPU time: 135.147 s 45.09/45.14 c =============================================================================== 45.09/45.14 c | 2641 | 3334 26622 557073 | 8874 2641 619 | 40.122 % | 45.18/45.24 c =============================================================================== 45.18/45.24 c New solution: 89733 45.18/45.24 o 89733 45.18/45.24 c Elapsed CPU time: 44.9552 s Remaining CPU time: 135.045 s 45.18/45.24 c =============================================================================== 45.18/45.24 c | 2647 | 3334 26623 559050 | 8874 2647 619 | 40.122 % | 45.38/45.47 c =============================================================================== 45.38/45.47 c New solution: 89732 45.38/45.47 o 89732 45.38/45.47 c Elapsed CPU time: 45.1791 s Remaining CPU time: 134.821 s 45.38/45.47 c =============================================================================== 45.38/45.47 c | 2649 | 3334 26624 561027 | 8874 2649 619 | 40.122 % | 45.87/45.92 c =============================================================================== 45.87/45.92 c New solution: 89731 45.87/45.92 o 89731 45.87/45.92 c Elapsed CPU time: 45.6331 s Remaining CPU time: 134.367 s 45.87/45.92 c =============================================================================== 45.87/45.92 c | 2656 | 3334 26625 563004 | 8875 2656 619 | 40.122 % | 45.97/46.08 c =============================================================================== 45.97/46.08 c New solution: 89730 45.97/46.08 o 89730 45.97/46.08 c Elapsed CPU time: 45.796 s Remaining CPU time: 134.204 s 45.97/46.08 c =============================================================================== 45.97/46.08 c | 2658 | 3334 26626 564981 | 8875 2658 619 | 40.122 % | 46.18/46.27 c =============================================================================== 46.18/46.27 c New solution: 89729 46.18/46.27 o 89729 46.18/46.27 c Elapsed CPU time: 45.978 s Remaining CPU time: 134.022 s 46.18/46.27 c =============================================================================== 46.18/46.27 c | 2659 | 3334 26627 566958 | 8875 2659 619 | 40.122 % | 46.38/46.45 c =============================================================================== 46.38/46.45 c New solution: 89728 46.38/46.45 o 89728 46.38/46.45 c Elapsed CPU time: 46.157 s Remaining CPU time: 133.843 s 46.38/46.45 c =============================================================================== 46.38/46.45 c | 2659 | 3334 26628 568935 | 8876 2659 619 | 40.122 % | 46.58/46.62 c =============================================================================== 46.58/46.62 c New solution: 89727 46.58/46.62 o 89727 46.58/46.62 c Elapsed CPU time: 46.331 s Remaining CPU time: 133.669 s 46.58/46.62 c =============================================================================== 46.58/46.62 c | 2659 | 3334 26629 570912 | 8876 2659 619 | 40.122 % | 46.68/46.79 c =============================================================================== 46.68/46.79 c New solution: 89726 46.68/46.79 o 89726 46.68/46.79 c Elapsed CPU time: 46.5039 s Remaining CPU time: 133.496 s 46.68/46.79 c =============================================================================== 46.68/46.79 c | 2659 | 3334 26630 572889 | 8876 2659 619 | 40.122 % | 46.88/46.97 c =============================================================================== 46.88/46.97 c New solution: 89725 46.88/46.97 o 89725 46.88/46.97 c Elapsed CPU time: 46.6769 s Remaining CPU time: 133.323 s 46.88/46.97 c =============================================================================== 46.88/46.97 c | 2659 | 3334 26631 574866 | 8877 2659 619 | 40.122 % | 47.08/47.14 c =============================================================================== 47.08/47.14 c New solution: 89724 47.08/47.14 o 89724 47.08/47.14 c Elapsed CPU time: 46.8469 s Remaining CPU time: 133.153 s 47.08/47.14 c =============================================================================== 47.08/47.14 c | 2659 | 3334 26632 576843 | 8877 2659 619 | 40.122 % | 47.19/47.30 c =============================================================================== 47.19/47.30 c New solution: 89723 47.19/47.30 o 89723 47.19/47.30 c Elapsed CPU time: 47.0099 s Remaining CPU time: 132.99 s 47.19/47.30 c =============================================================================== 47.19/47.30 c | 2661 | 3334 26633 578820 | 8877 2661 619 | 40.122 % | 48.17/48.28 c | 2761 | 3334 26633 578820 | 9765 2761 623 | 40.122 % | 48.39/48.43 c =============================================================================== 48.39/48.43 c New solution: 89722 48.39/48.43 o 89722 48.39/48.43 c Elapsed CPU time: 48.1327 s Remaining CPU time: 131.867 s 48.39/48.43 c =============================================================================== 48.39/48.43 c | 2762 | 3334 26634 580797 | 8878 2762 623 | 40.122 % | 48.48/48.59 c =============================================================================== 48.48/48.59 c New solution: 89721 48.48/48.59 o 89721 48.48/48.59 c Elapsed CPU time: 48.2907 s Remaining CPU time: 131.709 s 48.48/48.59 c =============================================================================== 48.48/48.59 c | 2763 | 3334 26635 582774 | 8878 2763 623 | 40.122 % | 48.68/48.76 c =============================================================================== 48.68/48.76 c New solution: 89720 48.68/48.76 o 89720 48.68/48.76 c Elapsed CPU time: 48.4556 s Remaining CPU time: 131.544 s 48.68/48.76 c =============================================================================== 48.68/48.76 c | 2763 | 3334 26636 584751 | 8878 2763 623 | 40.122 % | 48.88/48.93 c =============================================================================== 48.88/48.93 c New solution: 89719 48.88/48.93 o 89719 48.88/48.93 c Elapsed CPU time: 48.6336 s Remaining CPU time: 131.366 s 48.88/48.93 c =============================================================================== 48.88/48.93 c | 2764 | 3334 26637 586728 | 8879 2764 623 | 40.122 % | 48.98/49.08 c =============================================================================== 48.98/49.08 c New solution: 89718 48.98/49.08 o 89718 48.98/49.08 c Elapsed CPU time: 48.7796 s Remaining CPU time: 131.22 s 48.98/49.08 c =============================================================================== 48.98/49.08 c | 2765 | 3334 26638 588705 | 8879 2765 623 | 40.122 % | 49.98/50.05 c =============================================================================== 49.98/50.05 c New solution: 89717 49.98/50.05 o 89717 49.98/50.05 c Elapsed CPU time: 49.7444 s Remaining CPU time: 130.256 s 49.98/50.05 c =============================================================================== 49.98/50.05 c | 2802 | 3334 26639 590682 | 8879 2802 624 | 40.122 % | 50.08/50.16 c =============================================================================== 50.08/50.16 c New solution: 89716 50.08/50.16 o 89716 50.08/50.16 c Elapsed CPU time: 49.8584 s Remaining CPU time: 130.142 s 50.08/50.16 c =============================================================================== 50.08/50.16 c | 2803 | 3334 26640 592659 | 8880 2803 624 | 40.122 % | 50.18/50.28 c =============================================================================== 50.18/50.28 c New solution: 89715 50.18/50.28 o 89715 50.18/50.28 c Elapsed CPU time: 49.9764 s Remaining CPU time: 130.024 s 50.18/50.28 c =============================================================================== 50.18/50.28 c | 2803 | 3334 26641 594636 | 8880 2803 624 | 40.122 % | 50.28/50.39 c =============================================================================== 50.28/50.39 c New solution: 89714 50.28/50.39 o 89714 50.28/50.39 c Elapsed CPU time: 50.0884 s Remaining CPU time: 129.912 s 50.28/50.39 c =============================================================================== 50.28/50.39 c | 2804 | 3334 26642 596613 | 8880 2804 624 | 40.122 % | 50.48/50.56 c =============================================================================== 50.48/50.56 c New solution: 89713 50.48/50.56 o 89713 50.48/50.56 c Elapsed CPU time: 50.2534 s Remaining CPU time: 129.747 s 50.48/50.56 c =============================================================================== 50.48/50.56 c | 2805 | 3334 26643 598590 | 8881 2805 624 | 40.122 % | 51.58/51.67 c =============================================================================== 51.58/51.67 c New solution: 89712 51.58/51.67 o 89712 51.58/51.67 c Elapsed CPU time: 51.3662 s Remaining CPU time: 128.634 s 51.58/51.67 c =============================================================================== 51.58/51.67 c | 2856 | 3334 26644 600567 | 8881 2856 625 | 40.122 % | 52.38/52.46 c =============================================================================== 52.38/52.46 c New solution: 89711 52.38/52.46 o 89711 52.38/52.46 c Elapsed CPU time: 52.1561 s Remaining CPU time: 127.844 s 52.38/52.46 c =============================================================================== 52.38/52.46 c | 2877 | 3334 26645 602544 | 8881 2877 626 | 40.122 % | 52.68/52.79 c =============================================================================== 52.68/52.79 c New solution: 89710 52.68/52.79 o 89710 52.68/52.79 c Elapsed CPU time: 52.48 s Remaining CPU time: 127.52 s 52.68/52.79 c =============================================================================== 52.68/52.79 c | 2904 | 3334 26646 604521 | 8882 2904 626 | 40.122 % | 53.57/53.66 c =============================================================================== 53.57/53.66 c New solution: 89709 53.57/53.66 o 89709 53.57/53.66 c Elapsed CPU time: 53.3569 s Remaining CPU time: 126.643 s 53.57/53.66 c =============================================================================== 53.57/53.66 c | 2990 | 3334 26647 606498 | 8882 2990 629 | 40.122 % | 54.27/54.36 c =============================================================================== 54.27/54.36 c New solution: 88241 54.27/54.36 o 88241 54.27/54.36 c Elapsed CPU time: 54.0478 s Remaining CPU time: 125.952 s 54.27/54.36 c =============================================================================== 54.27/54.36 c | 3009 | 3334 26648 608475 | 8882 3009 629 | 40.122 % | 54.57/54.67 c =============================================================================== 54.57/54.67 c New solution: 88224 54.57/54.67 o 88224 54.57/54.67 c Elapsed CPU time: 54.3577 s Remaining CPU time: 125.642 s 54.57/54.67 c =============================================================================== 54.57/54.67 c | 3009 | 3334 26649 610452 | 8883 3009 629 | 40.122 % | 54.89/54.97 c =============================================================================== 54.89/54.97 c New solution: 88223 54.89/54.97 o 88223 54.89/54.97 c Elapsed CPU time: 54.6637 s Remaining CPU time: 125.336 s 54.89/54.97 c =============================================================================== 54.89/54.97 c | 3009 | 3334 26650 612429 | 8883 3009 629 | 40.122 % | 55.18/55.28 c =============================================================================== 55.18/55.28 c New solution: 88222 55.18/55.28 o 88222 55.18/55.28 c Elapsed CPU time: 54.9696 s Remaining CPU time: 125.03 s 55.18/55.28 c =============================================================================== 55.18/55.28 c | 3009 | 3334 26651 614406 | 8883 3009 629 | 40.122 % | 55.48/55.56 c =============================================================================== 55.48/55.56 c New solution: 88221 55.48/55.56 o 88221 55.48/55.56 c Elapsed CPU time: 55.2476 s Remaining CPU time: 124.752 s 55.48/55.56 c =============================================================================== 55.48/55.56 c | 3010 | 3334 26652 616383 | 8884 3010 629 | 40.122 % | 55.78/55.85 c =============================================================================== 55.78/55.85 c New solution: 88220 55.78/55.85 o 88220 55.78/55.85 c Elapsed CPU time: 55.5326 s Remaining CPU time: 124.467 s 55.78/55.85 c =============================================================================== 55.78/55.85 c | 3010 | 3334 26653 618360 | 8884 3010 629 | 40.122 % | 56.09/56.13 c =============================================================================== 56.09/56.13 c New solution: 88219 56.09/56.13 o 88219 56.09/56.13 c Elapsed CPU time: 55.8145 s Remaining CPU time: 124.185 s 56.09/56.13 c =============================================================================== 56.09/56.13 c | 3010 | 3334 26654 620337 | 8884 3010 629 | 40.122 % | 56.27/56.39 c =============================================================================== 56.27/56.39 c New solution: 88218 56.27/56.39 o 88218 56.27/56.39 c Elapsed CPU time: 56.0755 s Remaining CPU time: 123.925 s 56.27/56.39 c =============================================================================== 56.27/56.39 c | 3010 | 3334 26655 622314 | 8885 3010 629 | 40.122 % | 56.57/56.69 c =============================================================================== 56.57/56.69 c New solution: 88209 56.57/56.69 o 88209 56.57/56.69 c Elapsed CPU time: 56.3714 s Remaining CPU time: 123.629 s 56.57/56.69 c =============================================================================== 56.57/56.69 c | 3011 | 3334 26656 624291 | 8885 3011 629 | 40.122 % | 56.87/56.95 c =============================================================================== 56.87/56.95 c New solution: 88208 56.87/56.95 o 88208 56.87/56.95 c Elapsed CPU time: 56.6274 s Remaining CPU time: 123.373 s 56.87/56.95 c =============================================================================== 56.87/56.95 c | 3011 | 3334 26657 626268 | 8885 3011 629 | 40.122 % | 57.08/57.20 c =============================================================================== 57.08/57.20 c New solution: 88207 57.08/57.20 o 88207 57.08/57.20 c Elapsed CPU time: 56.8764 s Remaining CPU time: 123.124 s 57.08/57.20 c =============================================================================== 57.08/57.20 c | 3011 | 3334 26658 628245 | 8886 3011 629 | 40.122 % | 57.37/57.45 c =============================================================================== 57.37/57.45 c New solution: 88206 57.37/57.45 o 88206 57.37/57.45 c Elapsed CPU time: 57.1293 s Remaining CPU time: 122.871 s 57.37/57.45 c =============================================================================== 57.37/57.45 c | 3011 | 3334 26659 630222 | 8886 3011 629 | 40.122 % | 57.68/57.72 c =============================================================================== 57.68/57.72 c New solution: 88205 57.68/57.72 o 88205 57.68/57.72 c Elapsed CPU time: 57.4013 s Remaining CPU time: 122.599 s 57.68/57.72 c =============================================================================== 57.68/57.72 c | 3011 | 3334 26660 632199 | 8886 3011 629 | 40.122 % | 58.18/58.22 c =============================================================================== 58.18/58.22 c New solution: 88204 58.18/58.22 o 88204 58.18/58.22 c Elapsed CPU time: 57.8982 s Remaining CPU time: 122.102 s 58.18/58.22 c =============================================================================== 58.18/58.22 c | 3013 | 3334 26661 634176 | 8887 3013 628 | 40.122 % | 58.48/58.56 c =============================================================================== 58.48/58.56 c New solution: 88203 58.48/58.56 o 88203 58.48/58.56 c Elapsed CPU time: 58.2411 s Remaining CPU time: 121.759 s 58.48/58.56 c =============================================================================== 58.48/58.56 c | 3017 | 3334 26662 636153 | 8887 3017 628 | 40.122 % | 58.88/58.93 c =============================================================================== 58.88/58.93 c New solution: 88202 58.88/58.93 o 88202 58.88/58.93 c Elapsed CPU time: 58.6071 s Remaining CPU time: 121.393 s 58.88/58.93 c =============================================================================== 58.88/58.93 c | 3030 | 3334 26663 638130 | 8887 3030 628 | 40.122 % | 59.08/59.17 c =============================================================================== 59.08/59.17 c New solution: 88201 59.08/59.17 o 88201 59.08/59.17 c Elapsed CPU time: 58.8401 s Remaining CPU time: 121.16 s 59.08/59.17 c =============================================================================== 59.08/59.17 c | 3031 | 3334 26664 640107 | 8888 3031 628 | 40.122 % | 59.28/59.37 c =============================================================================== 59.28/59.37 c New solution: 88200 59.28/59.37 o 88200 59.28/59.37 c Elapsed CPU time: 59.046 s Remaining CPU time: 120.954 s 59.28/59.37 c =============================================================================== 59.28/59.37 c | 3031 | 3334 26665 642084 | 8888 3031 628 | 40.122 % | 59.48/59.58 c =============================================================================== 59.48/59.58 c New solution: 88199 59.48/59.58 o 88199 59.48/59.58 c Elapsed CPU time: 59.249 s Remaining CPU time: 120.751 s 59.48/59.58 c =============================================================================== 59.48/59.58 c | 3031 | 3334 26666 644061 | 8888 3031 628 | 40.122 % | 59.67/59.78 c =============================================================================== 59.67/59.78 c New solution: 88198 59.67/59.78 o 88198 59.67/59.78 c Elapsed CPU time: 59.452 s Remaining CPU time: 120.548 s 59.67/59.78 c =============================================================================== 59.67/59.78 c | 3031 | 3334 26667 646038 | 8889 3031 628 | 40.122 % | 59.87/59.98 c =============================================================================== 59.87/59.98 c New solution: 88197 59.87/59.98 o 88197 59.87/59.98 c Elapsed CPU time: 59.6509 s Remaining CPU time: 120.349 s 59.87/59.98 c =============================================================================== 59.87/59.98 c | 3031 | 3334 26668 648015 | 8889 3031 628 | 40.122 % | 60.07/60.18 c =============================================================================== 60.07/60.18 c New solution: 88196 60.07/60.18 o 88196 60.07/60.18 c Elapsed CPU time: 59.8479 s Remaining CPU time: 120.152 s 60.07/60.18 c =============================================================================== 60.07/60.18 c | 3031 | 3334 26669 649992 | 8889 3031 628 | 40.122 % | 60.27/60.37 c =============================================================================== 60.27/60.37 c New solution: 88195 60.27/60.37 o 88195 60.27/60.37 c Elapsed CPU time: 60.0419 s Remaining CPU time: 119.958 s 60.27/60.37 c =============================================================================== 60.27/60.37 c | 3031 | 3334 26670 651969 | 8890 3031 628 | 40.122 % | 60.48/60.56 c =============================================================================== 60.48/60.56 c New solution: 88194 60.48/60.56 o 88194 60.48/60.56 c Elapsed CPU time: 60.2328 s Remaining CPU time: 119.767 s 60.48/60.56 c =============================================================================== 60.48/60.56 c | 3031 | 3334 26671 653946 | 8890 3031 628 | 40.122 % | 60.67/60.75 c =============================================================================== 60.67/60.75 c New solution: 88193 60.67/60.75 o 88193 60.67/60.75 c Elapsed CPU time: 60.4228 s Remaining CPU time: 119.577 s 60.67/60.75 c =============================================================================== 60.67/60.75 c | 3031 | 3334 26672 655923 | 8890 3031 628 | 40.122 % | 60.87/60.94 c =============================================================================== 60.87/60.94 c New solution: 88192 60.87/60.94 o 88192 60.87/60.94 c Elapsed CPU time: 60.6088 s Remaining CPU time: 119.391 s 60.87/60.94 c =============================================================================== 60.87/60.94 c | 3031 | 3334 26673 657900 | 8891 3031 628 | 40.122 % | 61.17/61.23 c =============================================================================== 61.17/61.23 c New solution: 88191 61.17/61.23 o 88191 61.17/61.23 c Elapsed CPU time: 60.8977 s Remaining CPU time: 119.102 s 61.17/61.23 c =============================================================================== 61.17/61.23 c | 3034 | 3334 26674 659877 | 8891 3034 628 | 40.122 % | 62.88/62.90 c | 3137 | 3334 26674 659877 | 9780 3137 631 | 40.122 % | 63.58/63.64 c =============================================================================== 63.58/63.64 c New solution: 88190 63.58/63.64 o 88190 63.58/63.64 c Elapsed CPU time: 63.3054 s Remaining CPU time: 116.695 s 63.58/63.64 c =============================================================================== 63.58/63.64 c | 3192 | 3334 26675 661854 | 8891 3192 633 | 40.122 % | 63.78/63.88 c =============================================================================== 63.78/63.88 c New solution: 88189 63.78/63.88 o 88189 63.78/63.88 c Elapsed CPU time: 63.5483 s Remaining CPU time: 116.452 s 63.78/63.88 c =============================================================================== 63.78/63.88 c | 3197 | 3334 26676 663831 | 8892 3197 633 | 40.122 % | 63.98/64.05 c =============================================================================== 63.98/64.05 c New solution: 88188 63.98/64.05 o 88188 63.98/64.05 c Elapsed CPU time: 63.7153 s Remaining CPU time: 116.285 s 63.98/64.05 c =============================================================================== 63.98/64.05 c | 3197 | 3334 26677 665808 | 8892 3197 633 | 40.122 % | 64.18/64.25 c =============================================================================== 64.18/64.25 c New solution: 88187 64.18/64.25 o 88187 64.18/64.25 c Elapsed CPU time: 63.9133 s Remaining CPU time: 116.087 s 64.18/64.25 c =============================================================================== 64.18/64.25 c | 3198 | 3334 26678 667785 | 8892 3198 633 | 40.122 % | 64.37/64.44 c =============================================================================== 64.37/64.44 c New solution: 88186 64.37/64.44 o 88186 64.37/64.44 c Elapsed CPU time: 64.1013 s Remaining CPU time: 115.899 s 64.37/64.44 c =============================================================================== 64.37/64.44 c | 3199 | 3334 26679 669762 | 8893 3199 633 | 40.122 % | 65.17/65.28 c =============================================================================== 65.17/65.28 c New solution: 88185 65.17/65.28 o 88185 65.17/65.28 c Elapsed CPU time: 64.9391 s Remaining CPU time: 115.061 s 65.17/65.28 c =============================================================================== 65.17/65.28 c | 3214 | 3334 26680 671739 | 8893 3214 633 | 40.122 % | 65.37/65.47 c =============================================================================== 65.37/65.47 c New solution: 88184 65.37/65.47 o 88184 65.37/65.47 c Elapsed CPU time: 65.1281 s Remaining CPU time: 114.872 s 65.37/65.47 c =============================================================================== 65.37/65.47 c | 3216 | 3334 26681 673716 | 8893 3216 633 | 40.122 % | 65.57/65.69 c =============================================================================== 65.57/65.69 c New solution: 88183 65.57/65.69 o 88183 65.57/65.69 c Elapsed CPU time: 65.3521 s Remaining CPU time: 114.648 s 65.57/65.69 c =============================================================================== 65.57/65.69 c | 3223 | 3334 26682 675693 | 8894 3223 633 | 40.122 % | 66.18/66.26 c =============================================================================== 66.18/66.26 c New solution: 86705 66.18/66.26 o 86705 66.18/66.26 c Elapsed CPU time: 65.918 s Remaining CPU time: 114.082 s 66.18/66.26 c =============================================================================== 66.18/66.26 c | 3236 | 3334 26683 677670 | 8894 3236 633 | 40.122 % | 66.68/66.77 c =============================================================================== 66.68/66.77 c New solution: 86674 66.68/66.77 o 86674 66.68/66.77 c Elapsed CPU time: 66.4229 s Remaining CPU time: 113.577 s 66.68/66.77 c =============================================================================== 66.68/66.77 c | 3236 | 3334 26684 679647 | 8894 3236 633 | 40.122 % | 67.18/67.28 c =============================================================================== 67.18/67.28 c New solution: 86673 67.18/67.28 o 86673 67.18/67.28 c Elapsed CPU time: 66.9368 s Remaining CPU time: 113.063 s 67.18/67.28 c =============================================================================== 67.18/67.28 c | 3236 | 3334 26685 681624 | 8895 3236 633 | 40.122 % | 67.68/67.76 c =============================================================================== 67.68/67.76 c New solution: 86671 67.68/67.76 o 86671 67.68/67.76 c Elapsed CPU time: 67.4098 s Remaining CPU time: 112.59 s 67.68/67.76 c =============================================================================== 67.68/67.76 c | 3236 | 3334 26686 683601 | 8895 3236 633 | 40.122 % | 68.18/68.25 c =============================================================================== 68.18/68.25 c New solution: 86670 68.18/68.25 o 86670 68.18/68.25 c Elapsed CPU time: 67.9057 s Remaining CPU time: 112.094 s 68.18/68.25 c =============================================================================== 68.18/68.25 c | 3236 | 3334 26687 685578 | 8895 3236 633 | 40.122 % | 68.67/68.75 c =============================================================================== 68.67/68.75 c New solution: 86669 68.67/68.75 o 86669 68.67/68.75 c Elapsed CPU time: 68.3946 s Remaining CPU time: 111.605 s 68.67/68.75 c =============================================================================== 68.67/68.75 c | 3236 | 3334 26688 687555 | 8896 3236 633 | 40.122 % | 69.18/69.25 c =============================================================================== 69.18/69.25 c New solution: 86668 69.18/69.25 o 86668 69.18/69.25 c Elapsed CPU time: 68.9005 s Remaining CPU time: 111.099 s 69.18/69.25 c =============================================================================== 69.18/69.25 c | 3237 | 3334 26689 689532 | 8896 3237 633 | 40.122 % | 69.37/69.49 c =============================================================================== 69.37/69.49 c New solution: 86667 69.37/69.49 o 86667 69.37/69.49 c Elapsed CPU time: 69.1425 s Remaining CPU time: 110.858 s 69.37/69.49 c =============================================================================== 69.37/69.49 c | 3239 | 3334 26690 691509 | 8896 3239 633 | 40.122 % | 69.67/69.72 c =============================================================================== 69.67/69.72 c New solution: 86666 69.67/69.72 o 86666 69.67/69.72 c Elapsed CPU time: 69.3695 s Remaining CPU time: 110.631 s 69.67/69.72 c =============================================================================== 69.67/69.72 c | 3242 | 3334 26691 693486 | 8897 3242 633 | 40.122 % | 70.07/70.18 c =============================================================================== 70.07/70.18 c New solution: 86665 70.07/70.18 o 86665 70.07/70.18 c Elapsed CPU time: 69.8294 s Remaining CPU time: 110.171 s 70.07/70.18 c =============================================================================== 70.07/70.18 c | 3264 | 3334 26692 695463 | 8897 3264 633 | 40.122 % | 70.28/70.38 c =============================================================================== 70.28/70.38 c New solution: 86664 70.28/70.38 o 86664 70.28/70.38 c Elapsed CPU time: 70.0264 s Remaining CPU time: 109.974 s 70.28/70.38 c =============================================================================== 70.28/70.38 c | 3272 | 3334 26693 697440 | 8897 3272 633 | 40.122 % | 71.57/71.61 c | 3373 | 3334 26693 697440 | 9787 3373 636 | 40.122 % | 71.77/71.86 c =============================================================================== 71.77/71.86 c New solution: 86663 71.77/71.87 o 86663 71.77/71.87 c Elapsed CPU time: 71.5061 s Remaining CPU time: 108.494 s 71.77/71.87 c =============================================================================== 71.77/71.87 c | 3373 | 3334 26694 699417 | 8898 3373 636 | 40.122 % | 71.97/72.09 c =============================================================================== 71.97/72.09 c New solution: 86662 71.97/72.09 o 86662 71.97/72.09 c Elapsed CPU time: 71.7311 s Remaining CPU time: 108.269 s 71.97/72.09 c =============================================================================== 71.97/72.09 c | 3377 | 3334 26695 701394 | 8898 3377 636 | 40.122 % | 73.17/73.23 c =============================================================================== 73.17/73.23 c New solution: 86661 73.17/73.23 o 86661 73.17/73.23 c Elapsed CPU time: 72.8719 s Remaining CPU time: 107.128 s 73.17/73.23 c =============================================================================== 73.17/73.23 c | 3429 | 3334 26696 703371 | 8898 3429 637 | 40.122 % | 73.37/73.47 c =============================================================================== 73.37/73.47 c New solution: 86660 73.37/73.47 o 86660 73.37/73.47 c Elapsed CPU time: 73.1099 s Remaining CPU time: 106.89 s 73.37/73.47 c =============================================================================== 73.37/73.47 c | 3436 | 3334 26697 705348 | 8899 3436 637 | 40.122 % | 73.68/73.73 c =============================================================================== 73.68/73.73 c New solution: 86659 73.68/73.73 o 86659 73.68/73.73 c Elapsed CPU time: 73.3658 s Remaining CPU time: 106.634 s 73.68/73.73 c =============================================================================== 73.68/73.73 c | 3439 | 3334 26698 707325 | 8899 3439 637 | 40.122 % | 74.37/74.45 c =============================================================================== 74.37/74.45 c New solution: 86658 74.37/74.45 o 86658 74.37/74.45 c Elapsed CPU time: 74.0937 s Remaining CPU time: 105.906 s 74.37/74.45 c =============================================================================== 74.37/74.45 c | 3452 | 3334 26699 709302 | 8899 3452 637 | 40.122 % | 74.57/74.64 c =============================================================================== 74.57/74.64 c New solution: 86657 74.57/74.64 o 86657 74.57/74.64 c Elapsed CPU time: 74.2837 s Remaining CPU time: 105.716 s 74.57/74.64 c =============================================================================== 74.57/74.64 c | 3454 | 3334 26700 711279 | 8900 3454 637 | 40.122 % | 74.78/74.88 c =============================================================================== 74.78/74.88 c New solution: 86656 74.78/74.88 o 86656 74.78/74.88 c Elapsed CPU time: 74.5227 s Remaining CPU time: 105.477 s 74.78/74.88 c =============================================================================== 74.78/74.88 c | 3455 | 3334 26701 713256 | 8900 3455 637 | 40.122 % | 75.07/75.10 c =============================================================================== 75.07/75.10 c New solution: 86655 75.07/75.10 o 86655 75.07/75.10 c Elapsed CPU time: 74.7406 s Remaining CPU time: 105.259 s 75.07/75.10 c =============================================================================== 75.07/75.10 c | 3458 | 3334 26702 715233 | 8900 3458 637 | 40.122 % | 75.27/75.33 c =============================================================================== 75.27/75.33 c New solution: 86654 75.27/75.33 o 86654 75.27/75.33 c Elapsed CPU time: 74.9696 s Remaining CPU time: 105.03 s 75.27/75.33 c =============================================================================== 75.27/75.33 c | 3459 | 3334 26703 717210 | 8901 3459 637 | 40.122 % | 75.57/75.67 c =============================================================================== 75.57/75.67 c New solution: 86653 75.57/75.67 o 86653 75.57/75.67 c Elapsed CPU time: 75.3106 s Remaining CPU time: 104.689 s 75.57/75.67 c =============================================================================== 75.57/75.67 c | 3467 | 3334 26704 719187 | 8901 3467 638 | 40.122 % | 75.78/75.90 c =============================================================================== 75.78/75.90 c New solution: 86652 75.78/75.90 o 86652 75.78/75.90 c Elapsed CPU time: 75.5365 s Remaining CPU time: 104.463 s 75.78/75.90 c =============================================================================== 75.78/75.90 c | 3469 | 3334 26705 721164 | 8901 3469 638 | 40.122 % | 76.48/76.52 c =============================================================================== 76.48/76.52 c New solution: 86651 76.48/76.52 o 86651 76.48/76.52 c Elapsed CPU time: 76.1574 s Remaining CPU time: 103.843 s 76.48/76.52 c =============================================================================== 76.48/76.52 c | 3486 | 3334 26706 723141 | 8902 3486 638 | 40.122 % | 79.18/79.22 c | 3586 | 3334 26706 723141 | 9792 3586 639 | 40.122 % | 81.87/81.99 c | 3737 | 3334 26706 723141 | 10771 3737 642 | 40.122 % | 82.07/82.15 c =============================================================================== 82.07/82.15 c New solution: 86650 82.07/82.15 o 86650 82.07/82.15 c Elapsed CPU time: 81.7786 s Remaining CPU time: 98.2214 s 82.07/82.15 c =============================================================================== 82.07/82.15 c | 3746 | 3334 26707 725118 | 8902 3746 642 | 40.122 % | 83.58/83.60 c | 3846 | 3334 26707 725118 | 9792 3846 644 | 40.122 % | 83.77/83.85 c =============================================================================== 83.77/83.85 c New solution: 86649 83.77/83.85 o 86649 83.77/83.85 c Elapsed CPU time: 83.4823 s Remaining CPU time: 96.5177 s 83.77/83.85 c =============================================================================== 83.77/83.85 c | 3849 | 3334 26708 727095 | 8902 3849 644 | 40.122 % | 85.97/86.03 c =============================================================================== 85.97/86.03 c New solution: 86648 85.97/86.03 o 86648 85.97/86.03 c Elapsed CPU time: 85.654 s Remaining CPU time: 94.346 s 85.97/86.03 c =============================================================================== 85.97/86.03 c | 3897 | 3334 26709 729072 | 8903 3897 644 | 40.122 % | 86.36/86.42 c =============================================================================== 86.36/86.42 c New solution: 86647 86.36/86.42 o 86647 86.36/86.42 c Elapsed CPU time: 86.0429 s Remaining CPU time: 93.9571 s 86.36/86.42 c =============================================================================== 86.36/86.42 c | 3912 | 3334 26710 731049 | 8903 3912 644 | 40.122 % | 86.46/86.59 c =============================================================================== 86.46/86.59 c New solution: 86646 86.46/86.59 o 86646 86.46/86.59 c Elapsed CPU time: 86.2099 s Remaining CPU time: 93.7901 s 86.46/86.59 c =============================================================================== 86.46/86.59 c | 3919 | 3334 26711 733026 | 8903 3919 644 | 40.122 % | 86.67/86.79 c =============================================================================== 86.67/86.79 c New solution: 86645 86.67/86.79 o 86645 86.67/86.79 c Elapsed CPU time: 86.4109 s Remaining CPU time: 93.5891 s 86.67/86.79 c =============================================================================== 86.67/86.79 c | 3928 | 3334 26712 735003 | 8904 3928 644 | 40.122 % | 86.88/86.98 c =============================================================================== 86.88/86.98 c New solution: 86644 86.88/86.98 o 86644 86.88/86.98 c Elapsed CPU time: 86.6028 s Remaining CPU time: 93.3972 s 86.88/86.98 c =============================================================================== 86.88/86.98 c | 3930 | 3334 26713 736980 | 8904 3930 644 | 40.122 % | 87.07/87.19 c =============================================================================== 87.07/87.19 c New solution: 86643 87.07/87.19 o 86643 87.07/87.19 c Elapsed CPU time: 86.8068 s Remaining CPU time: 93.1932 s 87.07/87.19 c =============================================================================== 87.07/87.19 c | 3933 | 3334 26714 738957 | 8904 3933 644 | 40.122 % | 87.27/87.39 c =============================================================================== 87.27/87.39 c New solution: 86642 87.27/87.39 o 86642 87.27/87.39 c Elapsed CPU time: 87.0098 s Remaining CPU time: 92.9902 s 87.27/87.39 c =============================================================================== 87.27/87.39 c | 3937 | 3334 26715 740934 | 8905 3937 644 | 40.122 % | 88.17/88.22 c =============================================================================== 88.17/88.22 c New solution: 85173 88.17/88.22 o 85173 88.17/88.22 c Elapsed CPU time: 87.8366 s Remaining CPU time: 92.1634 s 88.17/88.22 c =============================================================================== 88.17/88.22 c | 3963 | 3334 26716 742911 | 8905 3963 644 | 40.122 % | 88.67/88.79 c =============================================================================== 88.67/88.79 c New solution: 85132 88.67/88.79 o 85132 88.67/88.79 c Elapsed CPU time: 88.4076 s Remaining CPU time: 91.5924 s 88.67/88.79 c =============================================================================== 88.67/88.79 c | 3963 | 3334 26717 744888 | 8905 3963 644 | 40.122 % | 89.27/89.36 c =============================================================================== 89.27/89.36 c New solution: 85131 89.27/89.36 o 85131 89.27/89.36 c Elapsed CPU time: 88.9705 s Remaining CPU time: 91.0295 s 89.27/89.36 c =============================================================================== 89.27/89.36 c | 3963 | 3334 26718 746865 | 8906 3963 644 | 40.122 % | 89.86/89.93 c =============================================================================== 89.86/89.93 c New solution: 85130 89.86/89.93 o 85130 89.86/89.93 c Elapsed CPU time: 89.5364 s Remaining CPU time: 90.4636 s 89.86/89.93 c =============================================================================== 89.86/89.93 c | 3963 | 3334 26719 748842 | 8906 3963 644 | 40.122 % | 90.36/90.49 c =============================================================================== 90.36/90.49 c New solution: 85129 90.36/90.49 o 85129 90.36/90.49 c Elapsed CPU time: 90.1043 s Remaining CPU time: 89.8957 s 90.36/90.49 c =============================================================================== 90.36/90.49 c | 3963 | 3334 26720 750819 | 8906 3963 644 | 40.122 % | 90.96/91.06 c =============================================================================== 90.96/91.06 c New solution: 85128 90.96/91.06 o 85128 90.96/91.06 c Elapsed CPU time: 90.6682 s Remaining CPU time: 89.3318 s 90.96/91.06 c =============================================================================== 90.96/91.06 c | 3963 | 3334 26721 752796 | 8907 3963 644 | 40.122 % | 91.57/91.62 c =============================================================================== 91.57/91.62 c New solution: 85127 91.57/91.62 o 85127 91.57/91.62 c Elapsed CPU time: 91.2341 s Remaining CPU time: 88.7659 s 91.57/91.62 c =============================================================================== 91.57/91.62 c | 3963 | 3334 26722 754773 | 8907 3963 644 | 40.122 % | 92.07/92.19 c =============================================================================== 92.07/92.19 c New solution: 85126 92.07/92.19 o 85126 92.07/92.19 c Elapsed CPU time: 91.794 s Remaining CPU time: 88.206 s 92.07/92.19 c =============================================================================== 92.07/92.19 c | 3963 | 3334 26723 756750 | 8907 3963 644 | 40.122 % | 92.67/92.75 c =============================================================================== 92.67/92.75 c New solution: 85125 92.67/92.75 o 85125 92.67/92.75 c Elapsed CPU time: 92.352 s Remaining CPU time: 87.648 s 92.67/92.75 c =============================================================================== 92.67/92.75 c | 3963 | 3334 26724 758727 | 8908 3963 644 | 40.122 % | 93.27/93.31 c =============================================================================== 93.27/93.31 c New solution: 85124 93.27/93.31 o 85124 93.27/93.31 c Elapsed CPU time: 92.9109 s Remaining CPU time: 87.0891 s 93.27/93.31 c =============================================================================== 93.27/93.31 c | 3963 | 3334 26725 760704 | 8908 3963 644 | 40.122 % | 93.77/93.86 c =============================================================================== 93.77/93.86 c New solution: 85123 93.77/93.86 o 85123 93.77/93.86 c Elapsed CPU time: 93.4668 s Remaining CPU time: 86.5332 s 93.77/93.86 c =============================================================================== 93.77/93.86 c | 3963 | 3334 26726 762681 | 8908 3963 644 | 40.122 % | 94.37/94.43 c =============================================================================== 94.37/94.43 c New solution: 85122 94.37/94.43 o 85122 94.37/94.43 c Elapsed CPU time: 94.0377 s Remaining CPU time: 85.9623 s 94.37/94.43 c =============================================================================== 94.37/94.43 c | 3964 | 3334 26727 764658 | 8909 3964 644 | 40.122 % | 94.96/95.00 c =============================================================================== 94.96/95.00 c New solution: 85121 94.96/95.00 o 85121 94.96/95.00 c Elapsed CPU time: 94.5996 s Remaining CPU time: 85.4004 s 94.96/95.00 c =============================================================================== 94.96/95.00 c | 3970 | 3334 26728 766635 | 8909 3970 644 | 40.122 % | 95.46/95.59 c =============================================================================== 95.46/95.59 c New solution: 85120 95.46/95.59 o 85120 95.46/95.59 c Elapsed CPU time: 95.1875 s Remaining CPU time: 84.8125 s 95.46/95.59 c =============================================================================== 95.46/95.59 c | 3994 | 3334 26729 768612 | 8909 3994 644 | 40.122 % | 95.77/95.88 c =============================================================================== 95.77/95.88 c New solution: 85119 95.77/95.88 o 85119 95.77/95.88 c Elapsed CPU time: 95.4745 s Remaining CPU time: 84.5255 s 95.77/95.88 c =============================================================================== 95.77/95.88 c | 3994 | 3334 26730 770589 | 8910 3994 644 | 40.122 % | 96.07/96.16 c =============================================================================== 96.07/96.16 c New solution: 85118 96.07/96.16 o 85118 96.07/96.16 c Elapsed CPU time: 95.7594 s Remaining CPU time: 84.2406 s 96.07/96.16 c =============================================================================== 96.07/96.16 c | 3994 | 3334 26731 772566 | 8910 3994 644 | 40.122 % | 96.37/96.44 c =============================================================================== 96.37/96.44 c New solution: 85117 96.37/96.44 o 85117 96.37/96.44 c Elapsed CPU time: 96.0414 s Remaining CPU time: 83.9586 s 96.37/96.44 c =============================================================================== 96.37/96.44 c | 3996 | 3334 26732 774543 | 8910 3996 644 | 40.122 % | 97.77/97.81 c | 4096 | 3334 26732 774543 | 9801 4096 646 | 40.122 % | 98.07/98.11 c =============================================================================== 98.07/98.11 c New solution: 85116 98.07/98.11 o 85116 98.07/98.11 c Elapsed CPU time: 97.6991 s Remaining CPU time: 82.3009 s 98.07/98.11 c =============================================================================== 98.07/98.11 c | 4096 | 3334 26733 776520 | 8911 4096 646 | 40.122 % | 98.27/98.39 c =============================================================================== 98.27/98.39 c New solution: 85115 98.27/98.39 o 85115 98.27/98.39 c Elapsed CPU time: 97.9861 s Remaining CPU time: 82.0139 s 98.27/98.39 c =============================================================================== 98.27/98.39 c | 4096 | 3334 26734 778497 | 8911 4096 646 | 40.122 % | 98.66/98.70 c =============================================================================== 98.66/98.70 c New solution: 85114 98.66/98.70 o 85114 98.66/98.70 c Elapsed CPU time: 98.2921 s Remaining CPU time: 81.7079 s 98.66/98.70 c =============================================================================== 98.66/98.70 c | 4117 | 3334 26735 780474 | 8911 4117 646 | 40.122 % | 101.17/101.27 c | 4218 | 3334 26735 780474 | 9802 4218 647 | 40.122 % | 103.86/103.97 c | 4369 | 3334 26735 780474 | 10783 4369 649 | 40.122 % | 104.06/104.13 c =============================================================================== 104.06/104.13 c New solution: 85113 104.06/104.13 o 85113 104.06/104.13 c Elapsed CPU time: 103.713 s Remaining CPU time: 76.2868 s 104.06/104.13 c =============================================================================== 104.06/104.13 c | 4374 | 3334 26736 782451 | 8912 4374 649 | 40.122 % | 105.37/105.46 c | 4474 | 3334 26736 782451 | 9803 4474 650 | 40.122 % | 107.67/107.80 c | 4624 | 3334 26736 782451 | 10783 4624 652 | 40.122 % | 107.96/108.03 c =============================================================================== 107.96/108.03 c New solution: 85112 107.96/108.03 o 85112 107.96/108.03 c Elapsed CPU time: 107.615 s Remaining CPU time: 72.3854 s 107.96/108.03 c =============================================================================== 107.96/108.03 c | 4626 | 3334 26737 784428 | 8912 4626 652 | 40.122 % | 108.26/108.31 c =============================================================================== 108.26/108.31 c New solution: 85111 108.26/108.31 o 85111 108.26/108.31 c Elapsed CPU time: 107.888 s Remaining CPU time: 72.1124 s 108.26/108.31 c =============================================================================== 108.26/108.31 c | 4626 | 3334 26738 786405 | 8912 4626 652 | 40.122 % | 108.46/108.58 c =============================================================================== 108.46/108.58 c New solution: 85110 108.46/108.58 o 85110 108.46/108.58 c Elapsed CPU time: 108.161 s Remaining CPU time: 71.8394 s 108.46/108.58 c =============================================================================== 108.46/108.58 c | 4627 | 3334 26739 788382 | 8913 4627 652 | 40.122 % | 110.76/110.80 c | 4727 | 3334 26739 788382 | 9804 4727 653 | 40.122 % | 112.56/112.61 c | 4877 | 3334 26739 788382 | 10784 4877 655 | 40.122 % | 112.86/112.91 c =============================================================================== 112.86/112.91 c New solution: 85109 112.86/112.91 o 85109 112.86/112.91 c Elapsed CPU time: 112.476 s Remaining CPU time: 67.5241 s 112.86/112.91 c =============================================================================== 112.86/112.91 c | 4879 | 3334 26740 790359 | 8913 4879 655 | 40.122 % | 113.36/113.46 c =============================================================================== 113.36/113.46 c New solution: 85108 113.36/113.46 o 85108 113.36/113.46 c Elapsed CPU time: 113.026 s Remaining CPU time: 66.9742 s 113.36/113.46 c =============================================================================== 113.36/113.46 c | 4879 | 3334 26741 792336 | 8913 4879 655 | 40.122 % | 113.96/114.01 c =============================================================================== 113.96/114.01 c New solution: 85107 113.96/114.01 o 85107 113.96/114.01 c Elapsed CPU time: 113.577 s Remaining CPU time: 66.4233 s 113.96/114.01 c =============================================================================== 113.96/114.01 c | 4879 | 3334 26742 794313 | 8914 4879 655 | 40.122 % | 114.16/114.28 c =============================================================================== 114.16/114.28 c New solution: 85106 114.16/114.28 o 85106 114.16/114.28 c Elapsed CPU time: 113.85 s Remaining CPU time: 66.1503 s 114.16/114.28 c =============================================================================== 114.16/114.28 c | 4880 | 3334 26743 796290 | 8914 4880 654 | 40.122 % | 114.76/114.83 c =============================================================================== 114.76/114.83 c New solution: 85105 114.76/114.83 o 85105 114.76/114.83 c Elapsed CPU time: 114.4 s Remaining CPU time: 65.6004 s 114.76/114.83 c =============================================================================== 114.76/114.83 c | 4881 | 3334 26744 798267 | 8914 4881 654 | 40.122 % | 117.67/117.78 c | 4982 | 3334 26744 798267 | 9806 4982 655 | 40.122 % | 117.96/118.00 c =============================================================================== 117.96/118.00 c New solution: 85104 117.96/118.00 o 85104 117.96/118.00 c Elapsed CPU time: 117.562 s Remaining CPU time: 62.4379 s 117.96/118.00 c =============================================================================== 117.96/118.00 c | 4984 | 3334 26745 800244 | 8915 4984 655 | 40.122 % | 118.46/118.52 c =============================================================================== 118.46/118.52 c New solution: 85103 118.46/118.52 o 85103 118.46/118.52 c Elapsed CPU time: 118.081 s Remaining CPU time: 61.919 s 118.46/118.52 c =============================================================================== 118.46/118.52 c | 4984 | 3334 26746 802221 | 8915 4984 655 | 40.122 % | 119.36/119.46 c =============================================================================== 119.36/119.46 c New solution: 85102 119.36/119.46 o 85102 119.36/119.46 c Elapsed CPU time: 119.026 s Remaining CPU time: 60.9741 s 119.36/119.46 c =============================================================================== 119.36/119.46 c | 5018 | 3334 26747 804198 | 8915 5018 656 | 40.122 % | 119.66/119.70 c =============================================================================== 119.66/119.70 c New solution: 85101 119.66/119.70 o 85101 119.66/119.70 c Elapsed CPU time: 119.258 s Remaining CPU time: 60.7421 s 119.66/119.70 c =============================================================================== 119.66/119.70 c | 5030 | 3334 26748 806175 | 8916 5030 656 | 40.122 % | 120.16/120.25 c =============================================================================== 120.16/120.25 c New solution: 85100 120.16/120.25 o 85100 120.16/120.25 c Elapsed CPU time: 119.81 s Remaining CPU time: 60.1902 s 120.16/120.25 c =============================================================================== 120.16/120.25 c | 5055 | 3334 26749 808152 | 8916 5055 656 | 40.122 % | 120.46/120.53 c =============================================================================== 120.46/120.53 c New solution: 85099 120.46/120.53 o 85099 120.46/120.53 c Elapsed CPU time: 120.091 s Remaining CPU time: 59.9093 s 120.46/120.53 c =============================================================================== 120.46/120.53 c | 5060 | 3334 26750 810129 | 8916 5060 656 | 40.122 % | 123.36/123.47 c =============================================================================== 123.36/123.47 c New solution: 83647 123.36/123.47 o 83647 123.36/123.47 c Elapsed CPU time: 123.033 s Remaining CPU time: 56.9667 s 123.36/123.47 c =============================================================================== 123.36/123.47 c | 5150 | 3334 26751 812106 | 8917 5150 656 | 40.122 % | 123.76/123.83 c =============================================================================== 123.76/123.83 c New solution: 83606 123.76/123.83 o 83606 123.76/123.83 c Elapsed CPU time: 123.388 s Remaining CPU time: 56.6118 s 123.76/123.83 c =============================================================================== 123.76/123.83 c | 5154 | 3334 26752 814083 | 8917 5154 656 | 40.122 % | 123.96/124.07 c =============================================================================== 123.96/124.07 c New solution: 83605 123.96/124.07 o 83605 123.96/124.07 c Elapsed CPU time: 123.632 s Remaining CPU time: 56.3678 s 123.96/124.07 c =============================================================================== 123.96/124.07 c | 5167 | 3334 26753 816060 | 8917 5167 656 | 40.122 % | 124.66/124.72 c =============================================================================== 124.66/124.72 c New solution: 83604 124.66/124.72 o 83604 124.66/124.72 c Elapsed CPU time: 124.276 s Remaining CPU time: 55.7239 s 124.66/124.72 c =============================================================================== 124.66/124.72 c | 5169 | 3334 26754 818037 | 8918 5169 656 | 40.122 % | 125.27/125.36 c =============================================================================== 125.27/125.36 c New solution: 83603 125.27/125.36 o 83603 125.27/125.36 c Elapsed CPU time: 124.917 s Remaining CPU time: 55.083 s 125.27/125.36 c =============================================================================== 125.27/125.36 c | 5169 | 3334 26755 820014 | 8918 5169 656 | 40.122 % | 125.86/125.99 c =============================================================================== 125.86/125.99 c New solution: 83602 125.86/125.99 o 83602 125.86/125.99 c Elapsed CPU time: 125.552 s Remaining CPU time: 54.4481 s 125.86/125.99 c =============================================================================== 125.86/125.99 c | 5169 | 3334 26756 821991 | 8918 5169 656 | 40.122 % | 126.56/126.63 c =============================================================================== 126.56/126.63 c New solution: 83601 126.56/126.63 o 83601 126.56/126.63 c Elapsed CPU time: 126.182 s Remaining CPU time: 53.8182 s 126.56/126.63 c =============================================================================== 126.56/126.63 c | 5169 | 3334 26757 823968 | 8919 5169 656 | 40.122 % | 127.26/127.31 c =============================================================================== 127.26/127.31 c New solution: 83600 127.26/127.31 o 83600 127.26/127.31 c Elapsed CPU time: 126.869 s Remaining CPU time: 53.1313 s 127.26/127.31 c =============================================================================== 127.26/127.31 c | 5172 | 3334 26758 825945 | 8919 5172 656 | 40.122 % | 127.96/128.01 c =============================================================================== 127.96/128.01 c New solution: 83599 127.96/128.01 o 83599 127.96/128.01 c Elapsed CPU time: 127.561 s Remaining CPU time: 52.4394 s 127.96/128.01 c =============================================================================== 127.96/128.01 c | 5174 | 3334 26759 827922 | 8919 5174 656 | 40.122 % | 128.26/128.35 c =============================================================================== 128.26/128.35 c New solution: 83598 128.26/128.35 o 83598 128.26/128.35 c Elapsed CPU time: 127.907 s Remaining CPU time: 52.0934 s 128.26/128.35 c =============================================================================== 128.26/128.35 c | 5183 | 3334 26760 829899 | 8920 5183 656 | 40.122 % | 129.85/129.93 c | 5283 | 3334 26760 829899 | 9812 5283 657 | 40.122 % | 130.15/130.27 c =============================================================================== 130.15/130.27 c New solution: 83597 130.15/130.27 o 83597 130.15/130.27 c Elapsed CPU time: 129.822 s Remaining CPU time: 50.1777 s 130.15/130.27 c =============================================================================== 130.15/130.27 c | 5285 | 3334 26761 831876 | 8920 5285 657 | 40.122 % | 130.45/130.59 c =============================================================================== 130.45/130.59 c New solution: 83596 130.45/130.59 o 83596 130.45/130.59 c Elapsed CPU time: 130.142 s Remaining CPU time: 49.8578 s 130.45/130.59 c =============================================================================== 130.45/130.59 c | 5288 | 3334 26762 833853 | 8920 5288 657 | 40.122 % | 132.26/132.34 c | 5389 | 3334 26762 833853 | 9812 5389 658 | 40.122 % | 132.76/132.80 c =============================================================================== 132.76/132.80 c New solution: 83595 132.76/132.80 o 83595 132.76/132.80 c Elapsed CPU time: 132.353 s Remaining CPU time: 47.6471 s 132.76/132.80 c =============================================================================== 132.76/132.80 c | 5391 | 3334 26763 835830 | 8921 5391 658 | 40.122 % | 132.97/133.05 c =============================================================================== 132.97/133.05 c New solution: 83593 132.97/133.05 o 83593 132.97/133.05 c Elapsed CPU time: 132.598 s Remaining CPU time: 47.4022 s 132.97/133.05 c =============================================================================== 132.97/133.05 c | 5400 | 3334 26764 837807 | 8921 5400 658 | 40.122 % | 133.66/133.71 c =============================================================================== 133.66/133.71 c New solution: 83592 133.66/133.71 o 83592 133.66/133.71 c Elapsed CPU time: 133.254 s Remaining CPU time: 46.7463 s 133.66/133.71 c =============================================================================== 133.66/133.71 c | 5400 | 3334 26765 839784 | 8921 5400 658 | 40.122 % | 134.26/134.36 c =============================================================================== 134.26/134.36 c New solution: 83591 134.26/134.36 o 83591 134.26/134.36 c Elapsed CPU time: 133.908 s Remaining CPU time: 46.0924 s 134.26/134.36 c =============================================================================== 134.26/134.36 c | 5400 | 3334 26766 841761 | 8922 5400 658 | 40.122 % | 134.96/135.01 c =============================================================================== 134.96/135.01 c New solution: 83590 134.96/135.01 o 83590 134.96/135.01 c Elapsed CPU time: 134.554 s Remaining CPU time: 45.4465 s 134.96/135.01 c =============================================================================== 134.96/135.01 c | 5400 | 3334 26767 843738 | 8922 5400 658 | 40.122 % | 135.56/135.65 c =============================================================================== 135.56/135.65 c New solution: 83589 135.56/135.65 o 83589 135.56/135.65 c Elapsed CPU time: 135.195 s Remaining CPU time: 44.8046 s 135.56/135.65 c =============================================================================== 135.56/135.65 c | 5400 | 3334 26768 845715 | 8922 5400 658 | 40.122 % | 136.26/136.34 c =============================================================================== 136.26/136.34 c New solution: 83588 136.26/136.34 o 83588 136.26/136.34 c Elapsed CPU time: 135.883 s Remaining CPU time: 44.1167 s 136.26/136.34 c =============================================================================== 136.26/136.34 c | 5400 | 3334 26769 847692 | 8923 5400 658 | 40.122 % | 136.85/136.98 c =============================================================================== 136.85/136.98 c New solution: 83587 136.85/136.98 o 83587 136.85/136.98 c Elapsed CPU time: 136.52 s Remaining CPU time: 43.4798 s 136.85/136.98 c =============================================================================== 136.85/136.98 c | 5400 | 3334 26770 849669 | 8923 5400 658 | 40.122 % | 137.55/137.67 c =============================================================================== 137.55/137.67 c New solution: 83586 137.55/137.67 o 83586 137.55/137.67 c Elapsed CPU time: 137.209 s Remaining CPU time: 42.7909 s 137.55/137.67 c =============================================================================== 137.55/137.67 c | 5400 | 3334 26771 851646 | 8923 5400 658 | 40.122 % | 138.25/138.31 c =============================================================================== 138.25/138.31 c New solution: 83585 138.25/138.31 o 83585 138.25/138.31 c Elapsed CPU time: 137.851 s Remaining CPU time: 42.149 s 138.25/138.31 c =============================================================================== 138.25/138.31 c | 5400 | 3334 26772 853623 | 8924 5400 658 | 40.122 % | 138.57/138.61 c =============================================================================== 138.57/138.61 c New solution: 83584 138.57/138.61 o 83584 138.57/138.61 c Elapsed CPU time: 138.153 s Remaining CPU time: 41.847 s 138.57/138.61 c =============================================================================== 138.57/138.61 c | 5400 | 3334 26773 855600 | 8924 5400 658 | 40.122 % | 139.36/139.42 c =============================================================================== 139.36/139.42 c New solution: 83583 139.36/139.42 o 83583 139.36/139.42 c Elapsed CPU time: 138.955 s Remaining CPU time: 41.0451 s 139.36/139.42 c =============================================================================== 139.36/139.42 c | 5437 | 3334 26774 857577 | 8924 5437 658 | 40.122 % | 139.57/139.65 c =============================================================================== 139.57/139.65 c New solution: 83582 139.57/139.65 o 83582 139.57/139.65 c Elapsed CPU time: 139.192 s Remaining CPU time: 40.8082 s 139.57/139.65 c =============================================================================== 139.57/139.65 c | 5439 | 3334 26775 859554 | 8925 5439 658 | 40.122 % | 139.86/139.92 c =============================================================================== 139.86/139.92 c New solution: 83581 139.86/139.92 o 83581 139.86/139.92 c Elapsed CPU time: 139.462 s Remaining CPU time: 40.5382 s 139.86/139.92 c =============================================================================== 139.86/139.92 c | 5442 | 3334 26776 861531 | 8925 5442 658 | 40.122 % | 140.16/140.21 c =============================================================================== 140.16/140.21 c New solution: 83580 140.16/140.21 o 83580 140.16/140.21 c Elapsed CPU time: 139.744 s Remaining CPU time: 40.2562 s 140.16/140.21 c =============================================================================== 140.16/140.21 c | 5444 | 3334 26777 863508 | 8925 5444 658 | 40.122 % | 142.45/142.52 c | 5544 | 3334 26777 863508 | 9818 5544 659 | 40.122 % | 142.75/142.80 c =============================================================================== 142.75/142.80 c New solution: 83579 142.75/142.80 o 83579 142.75/142.80 c Elapsed CPU time: 142.329 s Remaining CPU time: 37.6706 s 142.75/142.80 c =============================================================================== 142.75/142.80 c | 5546 | 3334 26778 865485 | 8926 5546 659 | 40.122 % | 144.85/144.99 c | 5648 | 3334 26778 865485 | 9818 5648 659 | 40.122 % | 145.16/145.24 c =============================================================================== 145.16/145.24 c New solution: 83578 145.16/145.24 o 83578 145.16/145.24 c Elapsed CPU time: 144.772 s Remaining CPU time: 35.228 s 145.16/145.24 c =============================================================================== 145.16/145.24 c | 5648 | 3334 26779 867462 | 8926 5648 659 | 40.122 % | 147.16/147.24 c =============================================================================== 147.16/147.24 c New solution: 83577 147.16/147.24 o 83577 147.16/147.24 c Elapsed CPU time: 146.764 s Remaining CPU time: 33.2363 s 147.16/147.24 c =============================================================================== 147.16/147.24 c | 5723 | 3334 26780 869439 | 8926 5723 660 | 40.122 % | 148.66/148.70 c =============================================================================== 148.66/148.70 c New solution: 83576 148.66/148.70 o 83576 148.66/148.70 c Elapsed CPU time: 148.222 s Remaining CPU time: 31.7775 s 148.66/148.70 c =============================================================================== 148.66/148.70 c | 5780 | 3334 26781 871416 | 8927 5780 660 | 40.122 % | 148.75/148.88 c =============================================================================== 148.75/148.88 c New solution: 83575 148.75/148.88 o 83575 148.75/148.88 c Elapsed CPU time: 148.403 s Remaining CPU time: 31.5966 s 148.75/148.88 c =============================================================================== 148.75/148.88 c | 5791 | 3334 26782 873393 | 8927 5791 660 | 40.122 % | 150.86/150.98 c | 5891 | 3334 26782 873393 | 9820 5891 661 | 40.122 % | 151.56/151.61 c =============================================================================== 151.56/151.61 c New solution: 83574 151.56/151.61 o 83574 151.56/151.61 c Elapsed CPU time: 151.125 s Remaining CPU time: 28.875 s 151.56/151.61 c =============================================================================== 151.56/151.61 c | 5892 | 3334 26783 875370 | 8927 5892 661 | 40.122 % | 153.25/153.39 c | 5993 | 3334 26783 875370 | 9820 5993 661 | 40.122 % | 153.55/153.66 c =============================================================================== 153.55/153.66 c New solution: 83573 153.55/153.66 o 83573 153.55/153.66 c Elapsed CPU time: 153.166 s Remaining CPU time: 26.8343 s 153.55/153.66 c =============================================================================== 153.55/153.66 c | 5993 | 3334 26784 877347 | 8928 5993 661 | 40.122 % | 153.86/153.92 c =============================================================================== 153.86/153.92 c New solution: 83572 153.86/153.92 o 83572 153.86/153.92 c Elapsed CPU time: 153.428 s Remaining CPU time: 26.5723 s 153.86/153.92 c =============================================================================== 153.86/153.92 c | 5993 | 3334 26785 879324 | 8928 5993 661 | 40.122 % | 154.05/154.18 c =============================================================================== 154.05/154.18 c New solution: 83571 154.05/154.18 o 83571 154.05/154.18 c Elapsed CPU time: 153.684 s Remaining CPU time: 26.3164 s 154.05/154.18 c =============================================================================== 154.05/154.18 c | 5993 | 3334 26786 881301 | 8928 5993 661 | 40.122 % | 154.35/154.43 c =============================================================================== 154.35/154.43 c New solution: 83570 154.35/154.43 o 83570 154.35/154.43 c Elapsed CPU time: 153.94 s Remaining CPU time: 26.0604 s 154.35/154.43 c =============================================================================== 154.35/154.43 c | 5993 | 3334 26787 883278 | 8929 5993 661 | 40.122 % | 154.55/154.68 c =============================================================================== 154.55/154.68 c New solution: 83569 154.55/154.68 o 83569 154.55/154.68 c Elapsed CPU time: 154.192 s Remaining CPU time: 25.8084 s 154.55/154.68 c =============================================================================== 154.55/154.68 c | 5993 | 3334 26788 885255 | 8929 5993 661 | 40.122 % | 154.85/154.93 c =============================================================================== 154.85/154.93 c New solution: 83568 154.85/154.93 o 83568 154.85/154.93 c Elapsed CPU time: 154.44 s Remaining CPU time: 25.5605 s 154.85/154.93 c =============================================================================== 154.85/154.93 c | 5993 | 3334 26789 887232 | 8929 5993 661 | 40.122 % | 155.06/155.18 c =============================================================================== 155.06/155.18 c New solution: 83567 155.06/155.18 o 83567 155.06/155.18 c Elapsed CPU time: 154.682 s Remaining CPU time: 25.3175 s 155.06/155.18 c =============================================================================== 155.06/155.18 c | 5993 | 3334 26790 889209 | 8930 5993 661 | 40.122 % | 155.35/155.42 c =============================================================================== 155.35/155.42 c New solution: 83566 155.35/155.42 o 83566 155.35/155.42 c Elapsed CPU time: 154.923 s Remaining CPU time: 25.0766 s 155.35/155.42 c =============================================================================== 155.35/155.42 c | 5993 | 3334 26791 891186 | 8930 5993 661 | 40.122 % | 155.55/155.67 c =============================================================================== 155.55/155.67 c New solution: 83565 155.55/155.67 o 83565 155.55/155.67 c Elapsed CPU time: 155.167 s Remaining CPU time: 24.8326 s 155.55/155.67 c =============================================================================== 155.55/155.67 c | 5993 | 3334 26792 893163 | 8930 5993 661 | 40.122 % | 155.85/155.90 c =============================================================================== 155.85/155.90 c New solution: 83564 155.85/155.90 o 83564 155.85/155.90 c Elapsed CPU time: 155.401 s Remaining CPU time: 24.5986 s 155.85/155.90 c =============================================================================== 155.85/155.90 c | 5993 | 3334 26793 895140 | 8931 5993 661 | 40.122 % | 156.06/156.13 c =============================================================================== 156.06/156.13 c New solution: 83563 156.06/156.13 o 83563 156.06/156.13 c Elapsed CPU time: 155.632 s Remaining CPU time: 24.3677 s 156.06/156.13 c =============================================================================== 156.06/156.13 c | 5993 | 3334 26794 897117 | 8931 5993 661 | 40.122 % | 156.25/156.36 c =============================================================================== 156.25/156.36 c New solution: 83562 156.25/156.36 o 83562 156.25/156.36 c Elapsed CPU time: 155.86 s Remaining CPU time: 24.1397 s 156.25/156.36 c =============================================================================== 156.25/156.36 c | 5993 | 3334 26795 899094 | 8931 5993 661 | 40.122 % | 156.45/156.59 c =============================================================================== 156.45/156.59 c New solution: 83561 156.45/156.59 o 83561 156.45/156.59 c Elapsed CPU time: 156.083 s Remaining CPU time: 23.9167 s 156.45/156.59 c =============================================================================== 156.45/156.59 c | 5993 | 3334 26796 901071 | 8932 5993 661 | 40.122 % | 156.65/156.77 c =============================================================================== 156.65/156.77 c New solution: 83560 156.65/156.77 o 83560 156.65/156.77 c Elapsed CPU time: 156.273 s Remaining CPU time: 23.7268 s 156.65/156.77 c =============================================================================== 156.65/156.77 c | 5995 | 3334 26797 903048 | 8932 5995 661 | 40.122 % | 157.65/157.76 c =============================================================================== 157.65/157.76 c New solution: 83559 157.65/157.76 o 83559 157.65/157.76 c Elapsed CPU time: 157.255 s Remaining CPU time: 22.7449 s 157.65/157.76 c =============================================================================== 157.65/157.76 c | 6016 | 3334 26798 905025 | 8932 6016 661 | 40.122 % | 158.05/158.15 c =============================================================================== 158.05/158.15 c New solution: 83558 158.05/158.15 o 83558 158.05/158.15 c Elapsed CPU time: 157.648 s Remaining CPU time: 22.352 s 158.05/158.15 c =============================================================================== 158.05/158.15 c | 6022 | 3334 26799 907002 | 8933 6022 661 | 40.122 % | 160.65/160.75 c | 6122 | 3334 26799 907002 | 9826 6122 661 | 40.122 % | 161.95/162.08 c =============================================================================== 161.95/162.08 c New solution: 83557 161.95/162.08 o 83557 161.95/162.08 c Elapsed CPU time: 161.57 s Remaining CPU time: 18.4296 s 161.95/162.08 c =============================================================================== 161.95/162.08 c | 6152 | 3334 26800 908979 | 8933 6152 661 | 40.122 % | 163.55/163.66 c =============================================================================== 163.55/163.66 c New solution: 82096 163.55/163.66 o 82096 163.55/163.66 c Elapsed CPU time: 163.149 s Remaining CPU time: 16.8508 s 163.55/163.66 c =============================================================================== 163.55/163.66 c | 6204 | 3334 26801 910956 | 8933 6204 661 | 40.122 % | 164.05/164.19 c =============================================================================== 164.05/164.19 c New solution: 82095 164.05/164.19 o 82095 164.05/164.19 c Elapsed CPU time: 163.683 s Remaining CPU time: 16.3169 s 164.05/164.19 c =============================================================================== 164.05/164.19 c | 6205 | 3334 26802 912933 | 8934 6205 661 | 40.122 % | 164.65/164.70 c =============================================================================== 164.65/164.70 c New solution: 82090 164.65/164.70 o 82090 164.65/164.70 c Elapsed CPU time: 164.191 s Remaining CPU time: 15.809 s 164.65/164.70 c =============================================================================== 164.65/164.70 c | 6205 | 3334 26803 914910 | 8934 6205 661 | 40.122 % | 165.15/165.21 c =============================================================================== 165.15/165.21 c New solution: 82089 165.15/165.21 o 82089 165.15/165.21 c Elapsed CPU time: 164.692 s Remaining CPU time: 15.308 s 165.15/165.21 c =============================================================================== 165.15/165.21 c | 6206 | 3334 26804 916887 | 8934 6206 661 | 40.122 % | 165.65/165.73 c =============================================================================== 165.65/165.73 c New solution: 82088 165.65/165.73 o 82088 165.65/165.73 c Elapsed CPU time: 165.22 s Remaining CPU time: 14.7801 s 165.65/165.73 c =============================================================================== 165.65/165.73 c | 6208 | 3334 26805 918864 | 8935 6208 661 | 40.122 % | 166.15/166.23 c =============================================================================== 166.15/166.23 c New solution: 82087 166.15/166.23 o 82087 166.15/166.23 c Elapsed CPU time: 165.716 s Remaining CPU time: 14.2842 s 166.15/166.23 c =============================================================================== 166.15/166.23 c | 6208 | 3334 26806 920841 | 8935 6208 661 | 40.122 % | 166.65/166.72 c =============================================================================== 166.65/166.72 c New solution: 82086 166.65/166.72 o 82086 166.65/166.72 c Elapsed CPU time: 166.202 s Remaining CPU time: 13.7983 s 166.65/166.72 c =============================================================================== 166.65/166.72 c | 6208 | 3334 26807 922818 | 8935 6208 661 | 40.122 % | 167.15/167.22 c =============================================================================== 167.15/167.22 c New solution: 82085 167.15/167.22 o 82085 167.15/167.22 c Elapsed CPU time: 166.701 s Remaining CPU time: 13.2993 s 167.15/167.22 c =============================================================================== 167.15/167.22 c | 6208 | 3334 26808 924795 | 8936 6208 661 | 40.122 % | 167.65/167.70 c =============================================================================== 167.65/167.70 c New solution: 82084 167.65/167.70 o 82084 167.65/167.70 c Elapsed CPU time: 167.186 s Remaining CPU time: 12.8144 s 167.65/167.70 c =============================================================================== 167.65/167.70 c | 6208 | 3334 26809 926772 | 8936 6208 661 | 40.122 % | 168.05/168.19 c =============================================================================== 168.05/168.19 c New solution: 82083 168.05/168.19 o 82083 168.05/168.19 c Elapsed CPU time: 167.675 s Remaining CPU time: 12.3255 s 168.05/168.19 c =============================================================================== 168.05/168.19 c | 6208 | 3334 26810 928749 | 8936 6208 661 | 40.122 % | 168.55/168.68 c =============================================================================== 168.55/168.68 c New solution: 82082 168.55/168.68 o 82082 168.55/168.68 c Elapsed CPU time: 168.159 s Remaining CPU time: 11.8406 s 168.55/168.68 c =============================================================================== 168.55/168.68 c | 6209 | 3334 26811 930726 | 8937 6209 661 | 40.122 % | 169.05/169.12 c =============================================================================== 169.05/169.12 c New solution: 82078 169.05/169.12 o 82078 169.05/169.12 c Elapsed CPU time: 168.596 s Remaining CPU time: 11.4036 s 169.05/169.12 c =============================================================================== 169.05/169.12 c | 6215 | 3334 26812 932703 | 8937 6215 661 | 40.122 % | 169.65/169.74 c =============================================================================== 169.65/169.74 c New solution: 82077 169.65/169.74 o 82077 169.65/169.74 c Elapsed CPU time: 169.219 s Remaining CPU time: 10.7807 s 169.65/169.74 c =============================================================================== 169.65/169.74 c | 6222 | 3334 26813 934680 | 8937 6222 661 | 40.122 % | 170.05/170.17 c =============================================================================== 170.05/170.17 c New solution: 82072 170.05/170.17 o 82072 170.05/170.17 c Elapsed CPU time: 169.646 s Remaining CPU time: 10.3538 s 170.05/170.17 c =============================================================================== 170.05/170.17 c | 6222 | 3334 26814 936657 | 8938 6222 661 | 40.122 % | 170.46/170.56 c =============================================================================== 170.46/170.56 c New solution: 82064 170.46/170.56 o 82064 170.46/170.56 c Elapsed CPU time: 170.034 s Remaining CPU time: 9.96585 s 170.46/170.56 c =============================================================================== 170.46/170.56 c | 6222 | 3334 26815 938634 | 8938 6222 661 | 40.122 % | 170.85/170.92 c =============================================================================== 170.85/170.92 c New solution: 82063 170.85/170.92 o 82063 170.85/170.92 c Elapsed CPU time: 170.401 s Remaining CPU time: 9.59891 s 170.85/170.92 c =============================================================================== 170.85/170.92 c | 6226 | 3334 26816 940611 | 8938 6226 661 | 40.122 % | 172.85/172.98 c | 6326 | 3334 26816 940611 | 9832 6326 662 | 40.122 % | 173.24/173.37 c =============================================================================== 173.24/173.37 c New solution: 82062 173.24/173.37 o 82062 173.24/173.37 c Elapsed CPU time: 172.844 s Remaining CPU time: 7.15628 s 173.24/173.37 c =============================================================================== 173.24/173.37 c | 6327 | 3334 26817 942588 | 8939 6327 662 | 40.122 % | 173.75/173.81 c =============================================================================== 173.75/173.81 c New solution: 82061 173.75/173.81 o 82061 173.75/173.81 c Elapsed CPU time: 173.283 s Remaining CPU time: 6.71734 s 173.75/173.81 c =============================================================================== 173.75/173.81 c | 6329 | 3334 26818 944565 | 8939 6329 662 | 40.122 % | 174.04/174.18 c =============================================================================== 174.04/174.18 c New solution: 82060 174.04/174.18 o 82060 174.04/174.18 c Elapsed CPU time: 173.651 s Remaining CPU time: 6.3494 s 174.04/174.18 c =============================================================================== 174.04/174.18 c | 6329 | 3334 26819 946542 | 8939 6329 662 | 40.122 % | 175.65/175.74 c =============================================================================== 175.65/175.74 c New solution: 82059 175.65/175.74 o 82059 175.65/175.74 c Elapsed CPU time: 175.204 s Remaining CPU time: 4.79564 s 175.65/175.74 c =============================================================================== 175.65/175.74 c | 6391 | 3334 26820 948519 | 8940 6391 662 | 40.122 % | 175.86/175.98 c =============================================================================== 175.86/175.98 c New solution: 82058 175.86/175.98 o 82058 175.86/175.98 c Elapsed CPU time: 175.45 s Remaining CPU time: 4.54967 s 175.86/175.98 c =============================================================================== 175.86/175.98 c | 6404 | 3334 26821 950496 | 8940 6404 662 | 40.122 % | 178.34/178.40 c | 6504 | 3334 26821 950496 | 9834 6504 663 | 40.122 % | 178.64/178.72 c =============================================================================== 178.64/178.72 c New solution: 82057 178.64/178.72 o 82057 178.64/178.72 c Elapsed CPU time: 178.181 s Remaining CPU time: 1.81909 s 178.64/178.72 c =============================================================================== 178.64/178.72 c | 6506 | 3334 26822 952473 | 8940 6506 663 | 40.122 % | 178.94/179.08 c =============================================================================== 178.94/179.08 c New solution: 82056 178.94/179.08 o 82056 178.94/179.08 c Elapsed CPU time: 178.539 s Remaining CPU time: 1.46114 s 178.94/179.08 c =============================================================================== 178.94/179.08 c | 6509 | 3334 26823 954450 | 8941 6509 663 | 40.122 % | 179.44/179.59 c =============================================================================== 179.44/179.59 c New solution: 82055 179.44/179.59 o 82055 179.44/179.59 c Elapsed CPU time: 179.05 s Remaining CPU time: 0.95022 s 179.44/179.59 c =============================================================================== 179.44/179.59 c | 6527 | 3334 26824 956427 | 8941 6527 663 | 40.122 % | 179.84/179.91 c =============================================================================== 179.84/179.91 c New solution: 82054 179.84/179.91 o 82054 179.84/179.91 c Elapsed CPU time: 179.372 s Remaining CPU time: 0.628269 s 179.84/179.91 c =============================================================================== 179.84/179.91 c | 6539 | 3334 26825 958404 | 8941 6539 663 | 40.122 % | 180.44/180.56 c There are 2234 assigned variables. 548 in cost function. 182.55/182.68 c core #1 182.55/182.68 c core #2 182.55/182.68 c core #3 182.55/182.68 c core #4 182.55/182.68 c core #5 182.55/182.68 c core #6 182.55/182.68 c core #7 182.55/182.68 c core #8 182.55/182.68 c core #9 182.55/182.68 c core #10 182.55/182.68 c core #11 182.55/182.68 c core #12 182.55/182.68 c core #13 182.55/182.68 c core #14 182.55/182.68 c core #15 182.55/182.68 c core #16 182.55/182.68 c core #17 182.55/182.68 c core #18 182.55/182.68 c core #19 182.55/182.68 c core #20 182.55/182.68 c core #21 182.55/182.68 c core #22 182.55/182.68 c core #23 182.55/182.68 c core #24 182.55/182.68 c core #25 182.55/182.68 c core #26 182.55/182.68 c core #27 182.55/182.68 c core #28 182.55/182.68 c core #29 182.55/182.68 c core #30 182.55/182.68 c core #31 182.55/182.68 c core #32 182.55/182.68 c core #33 182.55/182.68 c core #34 182.55/182.68 c ============================[ Search Statistics ]============================== 182.55/182.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.68 c =============================================================================== 182.55/182.68 c | 0 | 818 15229 8118 | 5076 0 nan | 0.000 % | 182.55/182.68 c =============================================================================== 182.65/182.74 c core #35 182.65/182.74 c ============================[ Search Statistics ]============================== 182.65/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.65/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.65/182.74 c =============================================================================== 182.65/182.74 c | 0 | 838 15239 8222 | 5079 0 nan | 0.000 % | 182.65/182.74 c =============================================================================== 182.65/182.76 c #cores: 35 182.65/182.76 c Final Weight: 11142 182.65/182.76 o 11142 182.65/182.76 s OPTIMUM FOUND 182.65/182.76 v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049 -x4050 -x4051 x4052 -x4053 -x4054 -x4055 x4056 x4057 -x4058 -x4059 x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086 x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 x4352 x4353 x4354 x4355 x4356 x4357 x4358 x4359 x4360 -x4361 x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 x4372 x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 x4414 -x4415 x4416 -x4417 x4418 x4419 x4420 x4421 x4422 x4423 -x4424 -x4425 -x4426 x4427 x4428 -x4429 x4430 x4431 x4432 -x4433 -x4434 x4435 x4436 x4437 -x4438 -x4439 x4440 x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 x4449 x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 x4480 x4481 x4482 x4483 x4484 -x4485 -x4486 -x4487 -x4488 x4489 x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 x4547 -x4548 x4549 x4550 -x4551 x4552 x4553 x4554 x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 x4568 -x4569 x4570 x4571 x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 x4587 x4588 x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 -x4604 x4605 -x4606 x4607 -x4608 x4609 x4610 x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 x4620 x4621 -x4622 -x4623 x4624 x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 x4632 -x4633 -x4634 x4635 x4636 -x4637 x4638 -x4639 x4640 -x4641 x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 x4665 x4666 -x4667 x4668 -x4669 x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 x4677 x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 x4685 -x4686 -x4687 x4688 x4689 x4690 x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 x4719 x4720 x4721 x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 x4730 -x4731 x4732 -x4733 -x4734 -x4735 -x4736 x4737 x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 x4753 x4754 x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 x4762 x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796 x4797 -x4798 x4799 x4800 x4801 x4802 -x4803 -x4804 -x4805 -x4806 x4807 x4808 -x4809 -x4810 x4811 x4812 x4813 x4814 -x4815 -x4816 -x4817 x4818 -x4819 x4820 x4821 -x4822 -x4823 -x4824 x4825 -x4826 x4827 x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 x4865 x4866 x4867 x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 x4894 -x4895 x4896 x4897 x4898 -x4899 x4900 -x4901 -x4902 -x4903 x4904 x4905 -x4906 x4907 x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 x4923 -x4924 -x4925 x4926 x4927 x4928 x4929 x4930 x4931 x4932 x4933 x4934 x4935 -x4936 -x4937 x4938 -x4939 x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950 -x4951 -x4952 x4953 x4954 x4955 -x4956 x4957 -x4958 -x4959 x4960 x4961 -x4962 x4963 x4964 x4965 x4966 x4967 x4968 x4969 x4970 -x4971 x4972 x4973 x4974 x4975 -x4976 -x4977 x4978 x4979 x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 x5028 -x5029 x5030 x5031 x5032 x5033 x5034 -x5035 x5036 -x5037 -x5038 x5039 -x5040 -x5041 x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 x5055 -x5056 -x5057 -x5058 -x5059 x5060 x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 x5073 -x5074 x5075 x5076 x5077 -x5078 -x5079 -x5080 -x5081 x5082 x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 x5090 x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 x5102 x5103 -x5104 -x5105 x5106 x5107 -x5108 x5109 x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 x5121 -x5122 -x5123 x5124 x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 x5136 x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 x5148 x5149 x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 x5165 x5166 x5167 -x5168 x5169 -x5170 x5171 -x5172 -x5173 x5174 x5175 x5176 x5177 -x5178 -x5179 x5180 x5181 -x5182 x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 x5190 x5191 x5192 -x5193 x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 x5202 -x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 x5259 -x5260 -x5261 x5262 -x5263 -x5264 x5265 -x5266 x5267 -x5268 x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 x5286 -x5287 -x5288 x5289 x5290 x5291 x5292 x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 x5309 x5310 -x5311 x5312 x5313 x5314 -x5315 -x5316 -x5317 x5318 x5319 x5320 x5321 x5322 x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 x5435 x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 x5455 x5456 x5457 x5458 x5459 x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 x5477 x5478 x5479 x5480 -x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 x5528 x5529 x5530 x5531 x5532 x5533 x5534 -x5535 -x5536 x5537 x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 x5568 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 -x2026 x2027 x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 x2040 x2041 -x2042 x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 x2050 x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2073 x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2083 x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 -x2100 x2101 -x2102 x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 x2131 -x2132 x2133 -x2134 -x2135 -x2136 x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 x2159 x2160 x2161 x2162 -x2163 x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 x2188 x2189 -x2190 x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 x2202 -x2203 x2204 -x2205 x2206 -x2207 x2208 -x2209 -x2210 -x2211 x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 x2230 -x2231 x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 x2251 x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 x2272 -x2273 x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 x2306 x2307 -x2308 x2309 x2310 x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 x2338 x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 x2357 -x2358 x2359 -x2360 -x2361 x2362 x2363 x2364 -x2365 x2366 -x2367 -x2368 x2369 x2370 -x2371 -x2372 x2373 -x2374 x2375 x2376 -x2377 x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 x2386 x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 x2420 -x2421 x2422 x2423 x2424 -x2425 -x2426 -x2427 x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 x2445 -x2446 -x2447 x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 x2459 -x2460 -x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 x2481 x2482 -x2483 x2484 -x2485 -x2486 x2487 -x2488 x2489 -x2490 x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 x2505 -x2506 x2507 x2508 x2509 -x2510 x2511 -x2512 -x2513 x2514 -x2515 x2516 -x2517 x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 -x2540 -x2541 x2542 x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 x2574 x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 x2600 -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 x2620 x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 x2635 x2636 x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 x2654 x2655 x2656 -x2657 -x2658 x2659 -x2660 x2661 -x2662 -x2663 x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 x2686 -x2687 -x2688 -x2689 x2690 x2691 x2692 -x2693 x2694 x2695 x2696 -x2697 x2698 x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 x2750 -x2751 -x2752 x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 x2773 -x2774 x2775 x2776 x2777 -x2778 x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 x2812 -x2813 -x2814 x2815 x2816 -x2817 x2818 -x2819 x2820 x2821 x2822 -x2823 -x2824 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2832 x2833 -x2834 x2835 -x2836 x2837 -x2838 x2839 -x2840 x2841 x2842 -x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 x2851 x2852 x2853 -x2854 -x2855 -x2856 x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 x2871 x2872 x2873 x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 x2920 -x2921 -x2922 x2923 -x2924 -x2925 x2926 -x2927 x2928 -x2929 -x2930 x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 182.65/182.76 c Total CPU time: 182.165 s
OK 11142
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683408-1277509494/watcher-2683408-1277509494 -o /tmp/evaluation-result-2683408-1277509494/solver-2683408-1277509494 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683408-1277509494.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/107 25735 /proc/meminfo: memFree=1838936/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=3648 CPUtime=0 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 370 0 0 0 0 0 0 0 15 0 1 0 124605180 3735552 288 1992294400 134512640 135751879 4294163648 18446744073709551615 134561518 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 912 288 143 303 0 415 0 [startup+0.0381011 s] /proc/loadavg: 0.92 0.98 0.99 3/107 25735 /proc/meminfo: memFree=1838936/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=4408 CPUtime=0.03 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 592 0 0 0 3 0 0 0 17 0 1 0 124605180 4513792 510 1992294400 134512640 135751879 4294163648 18446744073709551615 135196495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 1102 510 193 303 0 605 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4408 [startup+0.101105 s] /proc/loadavg: 0.92 0.98 0.99 3/107 25735 /proc/meminfo: memFree=1838936/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=5292 CPUtime=0.09 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 894 0 0 0 9 0 0 0 17 0 1 0 124605180 5419008 812 1992294400 134512640 135751879 4294163648 18446744073709551615 135192394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 1323 812 297 303 0 826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5292 [startup+0.301123 s] /proc/loadavg: 0.92 0.98 0.99 3/107 25735 /proc/meminfo: memFree=1838936/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=6456 CPUtime=0.29 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 1431 0 0 0 29 0 0 0 17 0 1 0 124605180 6610944 1157 1992294400 134512640 135751879 4294163648 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 1614 1157 146 303 0 1309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6456 [startup+0.701159 s] /proc/loadavg: 0.92 0.98 0.99 3/107 25735 /proc/meminfo: memFree=1838936/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=6456 CPUtime=0.69 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 1440 0 0 0 69 0 0 0 17 0 1 0 124605180 6610944 1166 1992294400 134512640 135751879 4294163648 18446744073709551615 134579870 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 1614 1166 146 303 0 1309 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6456 [startup+1.50123 s] /proc/loadavg: 0.92 0.98 0.99 2/108 25736 /proc/meminfo: memFree=1834712/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=6984 CPUtime=1.49 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 1570 0 0 0 149 0 0 0 18 0 1 0 124605180 7151616 1296 1992294400 134512640 135751879 4294163648 18446744073709551615 134579932 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 1746 1296 146 303 0 1441 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6984 [startup+3.10137 s] /proc/loadavg: 0.92 0.98 0.99 2/108 25736 /proc/meminfo: memFree=1832976/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=8040 CPUtime=3.09 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 1844 0 0 0 303 6 0 0 21 0 1 0 124605180 8232960 1570 1992294400 134512640 135751879 4294163648 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 2010 1570 146 303 0 1705 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8040 [startup+6.30066 s] /proc/loadavg: 0.93 0.98 0.99 2/108 25736 /proc/meminfo: memFree=1830992/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=10536 CPUtime=6.28 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 2441 0 0 0 617 11 0 0 25 0 1 0 124605180 10788864 2167 1992294400 134512640 135751879 4294163648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 2634 2167 147 303 0 2329 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10536 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/108 25736 /proc/meminfo: memFree=1826032/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=14896 CPUtime=12.69 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 3557 0 0 0 1251 18 0 0 25 0 1 0 124605180 15253504 3283 1992294400 134512640 135751879 4294163648 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 3724 3283 147 303 0 3419 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14896 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/108 25738 /proc/meminfo: memFree=1821568/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=19576 CPUtime=25.48 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 4707 0 0 0 2528 20 0 0 25 0 1 0 124605180 20045824 4433 1992294400 134512640 135751879 4294163648 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 4894 4433 147 303 0 4589 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19576 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 0.99 2/108 25738 /proc/meminfo: memFree=1813260/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=27616 CPUtime=51.08 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 6738 0 0 0 5079 29 0 0 25 0 1 0 124605180 28278784 6464 1992294400 134512640 135751879 4294163648 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 6904 6464 147 303 0 6599 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27616 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 25740 /proc/meminfo: memFree=1803340/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=37208 CPUtime=102.27 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 9132 0 0 0 10189 38 0 0 25 0 1 0 124605180 38100992 8858 1992294400 134512640 135751879 4294163648 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 9302 8858 147 303 0 8997 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37208 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25740 /proc/meminfo: memFree=1794784/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=45692 CPUtime=162.25 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 11240 0 0 0 16178 47 0 0 25 0 1 0 124605180 46788608 10966 1992294400 134512640 135751879 4294163648 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 11423 10966 147 303 0 11118 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45692 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1794288/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=46088 CPUtime=166.25 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 11349 0 0 0 16578 47 0 0 25 0 1 0 124605180 47194112 11075 1992294400 134512640 135751879 4294163648 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 11522 11075 147 303 0 11217 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 46088 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1793544/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=46868 CPUtime=172.65 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 11538 0 0 0 17217 48 0 0 25 0 1 0 124605180 47992832 11264 1992294400 134512640 135751879 4294163648 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 11717 11264 147 303 0 11412 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 46868 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1792800/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=47780 CPUtime=179.04 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 11763 0 0 0 17855 49 0 0 25 0 1 0 124605180 48926720 11489 1992294400 134512640 135751879 4294163648 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 11945 11489 147 303 0 11640 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 47780 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1792428/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=54324 CPUtime=180.65 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 13422 0 0 0 18015 50 0 0 25 0 1 0 124605180 55627776 13129 1992294400 134512640 135751879 4294163648 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 13581 13129 149 303 0 13276 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 54324 [startup+181.508 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1785980/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=54148 CPUtime=181.46 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 13529 0 0 0 18096 50 0 0 25 0 1 0 124605180 55447552 13104 1992294400 134512640 135751879 4294163648 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 13537 13104 150 303 0 13232 0 Current children cumulated CPU time (s) 181.46 Current children cumulated vsize (KiB) 54148 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1785980/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=90660 CPUtime=182.24 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 22635 0 0 0 18171 53 0 0 25 0 1 0 124605180 92835840 22210 1992294400 134512640 135751879 4294163648 18446744073709551615 135206213 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 22665 22210 150 303 0 22360 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 90660 [startup+182.701 s] /proc/loadavg: 0.99 0.98 0.99 2/108 25742 /proc/meminfo: memFree=1741836/2059040 swapFree=4138980/4192956 [pid=25735] ppid=25733 vsize=106196 CPUtime=182.65 /proc/25735/stat : 25735 (wbo1.4b) R 25733 25735 25348 0 -1 4202496 26521 0 0 0 18210 55 0 0 25 0 1 0 124605180 108744704 26096 1992294400 134512640 135751879 4294163648 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25735/statm: 26549 26096 151 303 0 26244 0 Current children cumulated CPU time (s) 182.65 Current children cumulated vsize (KiB) 106196 Child status: 0 Real time (s): 182.777 CPU time (s): 182.732 CPU user time (s): 182.165 CPU system time (s): 0.566913 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 106196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.165 system time used= 0.566913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27132 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= 135 involuntary context switches= 298 runsolver used 0.321951 second user time and 0.899863 second system time The end
Begin job on node025 at 2010-06-26 01:44:54 IDJOB=2683408 IDBENCH=72110 IDSOLVER=1161 FILE ID=node025/2683408-1277509494 PBS_JOBID= 11190603 Free space on /tmp= 62308 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683408-1277509494/watcher-2683408-1277509494 -o /tmp/evaluation-result-2683408-1277509494/solver-2683408-1277509494 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683408-1277509494.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 10e38bf32434d32a3c213648ff6f5ee4 RANDOM SEED=468860735 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840128 kB Buffers: 28376 kB Cached: 93656 kB SwapCached: 6384 kB Active: 72632 kB Inactive: 62520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840128 kB SwapTotal: 4192956 kB SwapFree: 4138980 kB Dirty: 3376 kB Writeback: 0 kB AnonPages: 11608 kB Mapped: 11972 kB Slab: 61752 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183756 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683408-1277509494.opb Free space on /tmp at the end= 62304 MiB End job on node025 at 2010-06-26 01:47:57