Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 6259 | 184.467 | 184.516 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd92c9f.cudf.paranoid.opb |
MD5SUM | a9ecc28516d3a3a7225c9fe76fccfe7f |
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 | 6259 |
Best CPU time to get the best result obtained on this benchmark | 2.30065 |
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 | 5458 |
Total number of constraints | 24252 |
Number of constraints which are clauses | 23991 |
Number of constraints which are cardinality constraints (but not clauses) | 261 |
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 | 2059 |
Biggest coefficient in the objective function | 1510 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 833518 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1510 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 833518 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2683445-1277509750.opb. 0.00/0.00 c Instance file HOME/instance-2683445-1277509750.opb 0.00/0.00 c File size is 768436 bytes. 0.10/0.11 c Highest Coefficient sum: 553 0.10/0.11 c ============================[ Problem Statistics ]============================= 0.10/0.11 c | | 0.10/0.11 c | Parsing time: 0.11 s | 0.10/0.11 c | Number Variables: 5458 | 0.10/0.11 c | Number Clauses: 23991 | 0.10/0.11 c | Number Cardinality: 261 | 0.10/0.11 c | Number PB Constraints: 0 | 2.20/2.20 c ============================[ Search Statistics ]============================== 2.20/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.20 c =============================================================================== 2.20/2.20 c | 0 | 3644 25739 48037 | 8084 0 nan | 0.000 % | 2.20/2.21 c =============================================================================== 2.20/2.21 c New solution: 512507 2.20/2.21 o 512507 2.20/2.21 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s 2.20/2.21 c =============================================================================== 2.20/2.21 c | 8 | 3644 25740 49994 | 8580 8 4 | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c New solution: 495885 2.20/2.22 o 495885 2.20/2.22 c Elapsed CPU time: 2.20466 s Remaining CPU time: 177.795 s 2.20/2.22 c =============================================================================== 2.20/2.22 c | 13 | 3644 25741 51951 | 8580 13 4 | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 443005 2.20/2.23 o 443005 2.20/2.23 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 13 | 3644 25742 53908 | 8580 13 4 | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: 421862 2.20/2.23 o 421862 2.20/2.23 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 13 | 3644 25743 55865 | 8581 13 4 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 397692 2.20/2.25 o 397692 2.20/2.25 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 22 | 3644 25744 57822 | 8581 22 3 | 0.000 % | 2.20/2.26 c =============================================================================== 2.20/2.26 c New solution: 381102 2.20/2.26 o 381102 2.20/2.26 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s 2.20/2.26 c =============================================================================== 2.20/2.26 c | 25 | 3644 25745 59779 | 8581 25 4 | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c New solution: 375047 2.20/2.27 o 375047 2.20/2.27 c Elapsed CPU time: 2.24166 s Remaining CPU time: 177.758 s 2.20/2.27 c =============================================================================== 2.20/2.27 c | 27 | 3644 25746 61736 | 8582 27 4 | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 344824 2.20/2.28 o 344824 2.20/2.28 c Elapsed CPU time: 2.24866 s Remaining CPU time: 177.751 s 2.20/2.28 c =============================================================================== 2.20/2.28 c | 29 | 3644 25747 63693 | 8582 29 4 | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.29 c New solution: 344823 2.20/2.29 o 344823 2.20/2.29 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s 2.20/2.29 c =============================================================================== 2.20/2.29 c | 32 | 3644 25748 65650 | 8582 32 4 | 0.000 % | 2.30/2.31 c =============================================================================== 2.30/2.31 c New solution: 313110 2.30/2.31 o 313110 2.30/2.31 c Elapsed CPU time: 2.27365 s Remaining CPU time: 177.726 s 2.30/2.31 c =============================================================================== 2.30/2.31 c | 39 | 3644 25749 67607 | 8583 39 4 | 0.000 % | 2.30/2.34 c =============================================================================== 2.30/2.34 c New solution: 282918 2.30/2.34 o 282918 2.30/2.34 c Elapsed CPU time: 2.30265 s Remaining CPU time: 177.697 s 2.30/2.34 c =============================================================================== 2.30/2.34 c | 68 | 3644 25750 69564 | 8583 68 4 | 0.000 % | 2.30/2.35 c =============================================================================== 2.30/2.35 c New solution: 282900 2.30/2.35 o 282900 2.30/2.35 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s 2.30/2.35 c =============================================================================== 2.30/2.35 c | 70 | 3644 25751 71521 | 8583 70 4 | 0.000 % | 2.30/2.37 c =============================================================================== 2.30/2.37 c New solution: 282883 2.30/2.37 o 282883 2.30/2.37 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s 2.30/2.37 c =============================================================================== 2.30/2.37 c | 71 | 3644 25752 73478 | 8584 71 4 | 0.000 % | 2.30/2.38 c =============================================================================== 2.30/2.38 c New solution: 276838 2.30/2.38 o 276838 2.30/2.38 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s 2.30/2.38 c =============================================================================== 2.30/2.38 c | 75 | 3644 25753 75435 | 8584 75 4 | 0.000 % | 2.30/2.40 c =============================================================================== 2.30/2.40 c New solution: 275350 2.30/2.40 o 275350 2.30/2.40 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s 2.30/2.40 c =============================================================================== 2.30/2.40 c | 79 | 3644 25754 77392 | 8584 79 12 | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 168257 2.39/2.43 o 168257 2.39/2.43 c Elapsed CPU time: 2.38764 s Remaining CPU time: 177.612 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 116 | 3644 25755 79349 | 8585 116 9 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 168228 2.39/2.45 o 168228 2.39/2.45 c Elapsed CPU time: 2.40563 s Remaining CPU time: 177.594 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 121 | 3644 25756 81306 | 8585 121 14 | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: 168138 2.39/2.49 o 168138 2.39/2.49 c Elapsed CPU time: 2.44063 s Remaining CPU time: 177.559 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 141 | 3644 25757 83263 | 8585 141 12 | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c New solution: 168137 2.49/2.54 o 168137 2.49/2.54 c Elapsed CPU time: 2.48362 s Remaining CPU time: 177.516 s 2.49/2.54 c =============================================================================== 2.49/2.54 c | 149 | 3644 25758 85220 | 8586 149 15 | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c New solution: 166686 2.49/2.56 o 166686 2.49/2.56 c Elapsed CPU time: 2.50762 s Remaining CPU time: 177.492 s 2.49/2.56 c =============================================================================== 2.49/2.56 c | 156 | 3644 25759 87177 | 8586 156 15 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 147022 2.49/2.58 o 147022 2.49/2.58 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 161 | 3644 25760 89134 | 8586 161 14 | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: 147021 2.59/2.63 o 147021 2.59/2.63 c Elapsed CPU time: 2.57661 s Remaining CPU time: 177.423 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 166 | 3644 25761 91091 | 8587 166 21 | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: 139553 2.59/2.66 o 139553 2.59/2.66 c Elapsed CPU time: 2.6016 s Remaining CPU time: 177.398 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 176 | 3644 25762 93048 | 8587 176 20 | 0.000 % | 2.59/2.67 c =============================================================================== 2.59/2.67 c New solution: 125965 2.59/2.67 o 125965 2.59/2.67 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s 2.59/2.67 c =============================================================================== 2.59/2.67 c | 180 | 3644 25763 95005 | 8587 180 20 | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c New solution: 125950 2.69/2.71 o 125950 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 | 200 | 3644 25764 96962 | 8588 200 21 | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: 124454 2.69/2.73 o 124454 2.69/2.73 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 200 | 3644 25765 98919 | 8588 200 21 | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c New solution: 124432 2.69/2.74 o 124432 2.69/2.74 c Elapsed CPU time: 2.68059 s Remaining CPU time: 177.319 s 2.69/2.74 c =============================================================================== 2.69/2.74 c | 201 | 3644 25766 100876 | 8588 201 21 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 124412 2.69/2.76 o 124412 2.69/2.76 c Elapsed CPU time: 2.69359 s Remaining CPU time: 177.306 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 201 | 3644 25767 102833 | 8589 201 21 | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: 122914 2.69/2.77 o 122914 2.69/2.77 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 202 | 3644 25768 104790 | 8589 202 24 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 122913 2.79/2.81 o 122913 2.79/2.81 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 215 | 3644 25769 106747 | 8589 215 28 | 0.000 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c New solution: 122912 2.89/2.99 o 122912 2.89/2.99 c Elapsed CPU time: 2.92056 s Remaining CPU time: 177.079 s 2.89/2.99 c =============================================================================== 2.89/2.99 c | 241 | 3644 25770 108704 | 8590 241 47 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: 122911 2.99/3.09 o 122911 2.99/3.09 c Elapsed CPU time: 3.01354 s Remaining CPU time: 176.986 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 265 | 3644 25771 110661 | 8590 265 57 | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: 122901 3.09/3.14 o 122901 3.09/3.14 c Elapsed CPU time: 3.06453 s Remaining CPU time: 176.935 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 275 | 3644 25772 112618 | 8590 275 63 | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c New solution: 121449 3.09/3.16 o 121449 3.09/3.16 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s 3.09/3.16 c =============================================================================== 3.09/3.16 c | 280 | 3644 25773 114575 | 8591 280 62 | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c New solution: 121448 3.09/3.18 o 121448 3.09/3.18 c Elapsed CPU time: 3.10253 s Remaining CPU time: 176.897 s 3.09/3.18 c =============================================================================== 3.09/3.18 c | 283 | 3644 25774 116532 | 8591 283 66 | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.24 c New solution: 121414 3.19/3.24 o 121414 3.19/3.24 c Elapsed CPU time: 3.15752 s Remaining CPU time: 176.842 s 3.19/3.24 c =============================================================================== 3.19/3.24 c | 286 | 3644 25775 118489 | 8591 286 67 | 0.000 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c New solution: 121413 3.30/3.36 o 121413 3.30/3.36 c Elapsed CPU time: 3.2795 s Remaining CPU time: 176.72 s 3.30/3.36 c =============================================================================== 3.30/3.36 c | 352 | 3644 25776 120446 | 8592 352 159 | 0.000 % | 3.49/3.53 c | 453 | 3644 25776 120446 | 9451 453 259 | 33.236 % | 3.49/3.56 c =============================================================================== 3.49/3.56 c New solution: 121412 3.49/3.56 o 121412 3.49/3.56 c Elapsed CPU time: 3.48047 s Remaining CPU time: 176.52 s 3.49/3.56 c =============================================================================== 3.49/3.56 c | 459 | 3644 25777 122403 | 8592 459 259 | 33.236 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 121411 3.69/3.74 o 121411 3.69/3.74 c Elapsed CPU time: 3.65044 s Remaining CPU time: 176.35 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 529 | 3644 25778 124360 | 8592 529 297 | 33.236 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c New solution: 121410 3.69/3.77 o 121410 3.69/3.77 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s 3.69/3.77 c =============================================================================== 3.69/3.77 c | 533 | 3644 25779 126317 | 8593 533 297 | 33.236 % | 3.89/3.94 c =============================================================================== 3.89/3.94 c New solution: 121409 3.89/3.94 o 121409 3.89/3.94 c Elapsed CPU time: 3.84442 s Remaining CPU time: 176.156 s 3.89/3.94 c =============================================================================== 3.89/3.94 c | 614 | 3644 25780 128274 | 8593 614 338 | 33.236 % | 4.09/4.20 c | 714 | 3644 25780 128274 | 9452 714 372 | 33.236 % | 4.19/4.23 c =============================================================================== 4.19/4.23 c New solution: 121408 4.19/4.23 o 121408 4.19/4.23 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s 4.19/4.23 c =============================================================================== 4.19/4.23 c | 738 | 3644 25781 130231 | 8593 738 378 | 33.236 % | 4.29/4.38 c | 838 | 3644 25781 130231 | 9453 838 410 | 33.236 % | 4.59/4.64 c | 989 | 3644 25781 130231 | 10398 989 443 | 33.236 % | 4.79/4.80 c =============================================================================== 4.79/4.80 c New solution: 121407 4.79/4.80 o 121407 4.79/4.80 c Elapsed CPU time: 4.70029 s Remaining CPU time: 175.3 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 1042 | 3644 25782 132188 | 8594 1042 449 | 33.236 % | 4.89/4.90 c =============================================================================== 4.89/4.90 c New solution: 121393 4.89/4.90 o 121393 4.89/4.90 c Elapsed CPU time: 4.79927 s Remaining CPU time: 175.201 s 4.89/4.90 c =============================================================================== 4.89/4.90 c | 1059 | 3644 25783 134145 | 8594 1059 450 | 33.236 % | 4.89/4.93 c =============================================================================== 4.89/4.93 c New solution: 121369 4.89/4.93 o 121369 4.89/4.93 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s 4.89/4.93 c =============================================================================== 4.89/4.93 c | 1063 | 3644 25784 136102 | 8594 1063 449 | 33.236 % | 4.89/4.96 c =============================================================================== 4.89/4.96 c New solution: 119895 4.89/4.96 o 119895 4.89/4.96 c Elapsed CPU time: 4.85526 s Remaining CPU time: 175.145 s 4.89/4.96 c =============================================================================== 4.89/4.96 c | 1066 | 3644 25785 138059 | 8595 1066 449 | 33.236 % | 4.89/4.98 c =============================================================================== 4.89/4.98 c New solution: 119865 4.89/4.98 o 119865 4.89/4.98 c Elapsed CPU time: 4.88126 s Remaining CPU time: 175.119 s 4.89/4.98 c =============================================================================== 4.89/4.98 c | 1067 | 3644 25786 140016 | 8595 1067 449 | 33.236 % | 4.99/5.03 c =============================================================================== 4.99/5.03 c New solution: 119864 4.99/5.03 o 119864 4.99/5.03 c Elapsed CPU time: 4.92325 s Remaining CPU time: 175.077 s 4.99/5.03 c =============================================================================== 4.99/5.03 c | 1077 | 3644 25787 141973 | 8595 1077 449 | 33.236 % | 5.19/5.24 c | 1180 | 3644 25787 141973 | 9455 1180 463 | 33.236 % | 5.29/5.31 c =============================================================================== 5.29/5.31 c New solution: 119863 5.29/5.31 o 119863 5.29/5.31 c Elapsed CPU time: 5.20821 s Remaining CPU time: 174.792 s 5.29/5.31 c =============================================================================== 5.29/5.31 c | 1185 | 3644 25788 143930 | 8596 1185 463 | 33.236 % | 5.29/5.35 c =============================================================================== 5.29/5.35 c New solution: 119862 5.29/5.35 o 119862 5.29/5.35 c Elapsed CPU time: 5.2482 s Remaining CPU time: 174.752 s 5.29/5.35 c =============================================================================== 5.29/5.35 c | 1195 | 3644 25789 145887 | 8596 1195 463 | 33.236 % | 5.29/5.39 c =============================================================================== 5.29/5.39 c New solution: 119861 5.29/5.39 o 119861 5.29/5.39 c Elapsed CPU time: 5.2802 s Remaining CPU time: 174.72 s 5.29/5.39 c =============================================================================== 5.29/5.39 c | 1203 | 3644 25790 147844 | 8596 1203 464 | 33.236 % | 5.39/5.47 c =============================================================================== 5.39/5.47 c New solution: 119860 5.39/5.47 o 119860 5.39/5.47 c Elapsed CPU time: 5.36418 s Remaining CPU time: 174.636 s 5.39/5.47 c =============================================================================== 5.39/5.47 c | 1222 | 3644 25791 149801 | 8597 1222 466 | 33.236 % | 5.69/5.72 c | 1324 | 3644 25791 149801 | 9456 1324 475 | 33.236 % | 5.69/5.76 c =============================================================================== 5.69/5.76 c New solution: 119859 5.69/5.76 o 119859 5.69/5.76 c Elapsed CPU time: 5.64414 s Remaining CPU time: 174.356 s 5.69/5.76 c =============================================================================== 5.69/5.76 c | 1337 | 3644 25792 151758 | 8597 1337 476 | 33.236 % | 5.79/5.81 c =============================================================================== 5.79/5.81 c New solution: 119858 5.79/5.81 o 119858 5.79/5.81 c Elapsed CPU time: 5.69513 s Remaining CPU time: 174.305 s 5.79/5.81 c =============================================================================== 5.79/5.81 c | 1341 | 3644 25793 153715 | 8597 1341 475 | 33.236 % | 5.89/6.00 c | 1441 | 3644 25793 153715 | 9457 1441 485 | 33.236 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c New solution: 119857 5.99/6.07 o 119857 5.99/6.07 c Elapsed CPU time: 5.95609 s Remaining CPU time: 174.044 s 5.99/6.07 c =============================================================================== 5.99/6.07 c | 1443 | 3644 25794 155672 | 8598 1443 485 | 33.236 % | 6.09/6.14 c =============================================================================== 6.09/6.14 c New solution: 119856 6.09/6.14 o 119856 6.09/6.14 c Elapsed CPU time: 6.02608 s Remaining CPU time: 173.974 s 6.09/6.14 c =============================================================================== 6.09/6.14 c | 1472 | 3644 25795 157629 | 8598 1472 486 | 33.236 % | 6.09/6.19 c =============================================================================== 6.09/6.19 c New solution: 119855 6.09/6.19 o 119855 6.09/6.19 c Elapsed CPU time: 6.06808 s Remaining CPU time: 173.932 s 6.09/6.19 c =============================================================================== 6.09/6.19 c | 1474 | 3644 25796 159586 | 8598 1474 486 | 33.236 % | 6.19/6.26 c =============================================================================== 6.19/6.26 c New solution: 119854 6.19/6.26 o 119854 6.19/6.26 c Elapsed CPU time: 6.14307 s Remaining CPU time: 173.857 s 6.19/6.26 c =============================================================================== 6.19/6.26 c | 1479 | 3644 25797 161543 | 8599 1479 485 | 33.236 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c New solution: 119853 6.29/6.30 o 119853 6.29/6.30 c Elapsed CPU time: 6.18506 s Remaining CPU time: 173.815 s 6.29/6.30 c =============================================================================== 6.29/6.30 c | 1481 | 3644 25798 163500 | 8599 1481 485 | 33.236 % | 6.49/6.56 c | 1581 | 3644 25798 163500 | 9459 1581 492 | 33.236 % | 6.60/6.61 c =============================================================================== 6.60/6.61 c New solution: 119852 6.60/6.61 o 119852 6.60/6.61 c Elapsed CPU time: 6.48501 s Remaining CPU time: 173.515 s 6.60/6.61 c =============================================================================== 6.60/6.61 c | 1594 | 3644 25799 165457 | 8599 1594 493 | 33.236 % | 6.60/6.70 c =============================================================================== 6.60/6.70 c New solution: 119851 6.60/6.70 o 119851 6.60/6.70 c Elapsed CPU time: 6.576 s Remaining CPU time: 173.424 s 6.60/6.70 c =============================================================================== 6.60/6.70 c | 1603 | 3644 25800 167414 | 8600 1603 493 | 33.236 % | 6.69/6.75 c =============================================================================== 6.69/6.75 c New solution: 119850 6.69/6.75 o 119850 6.69/6.75 c Elapsed CPU time: 6.62599 s Remaining CPU time: 173.374 s 6.69/6.75 c =============================================================================== 6.69/6.75 c | 1615 | 3644 25801 169371 | 8600 1615 494 | 33.236 % | 6.79/6.80 c =============================================================================== 6.79/6.80 c New solution: 118404 6.79/6.80 o 118404 6.79/6.80 c Elapsed CPU time: 6.67098 s Remaining CPU time: 173.329 s 6.79/6.80 c =============================================================================== 6.79/6.80 c | 1618 | 3644 25802 171328 | 8600 1618 493 | 33.236 % | 6.79/6.84 c =============================================================================== 6.79/6.84 c New solution: 118403 6.79/6.84 o 118403 6.79/6.84 c Elapsed CPU time: 6.71498 s Remaining CPU time: 173.285 s 6.79/6.84 c =============================================================================== 6.79/6.84 c | 1620 | 3644 25803 173285 | 8601 1620 493 | 33.236 % | 6.89/6.91 c =============================================================================== 6.89/6.91 c New solution: 118402 6.89/6.91 o 118402 6.89/6.91 c Elapsed CPU time: 6.78397 s Remaining CPU time: 173.216 s 6.89/6.91 c =============================================================================== 6.89/6.91 c | 1630 | 3644 25804 175242 | 8601 1630 494 | 33.236 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c New solution: 118346 6.89/6.96 o 118346 6.89/6.96 c Elapsed CPU time: 6.83496 s Remaining CPU time: 173.165 s 6.89/6.96 c =============================================================================== 6.89/6.96 c | 1633 | 3644 25805 177199 | 8601 1633 494 | 33.236 % | 6.99/7.04 c =============================================================================== 6.99/7.04 c New solution: 118345 6.99/7.04 o 118345 6.99/7.04 c Elapsed CPU time: 6.90895 s Remaining CPU time: 173.091 s 6.99/7.04 c =============================================================================== 6.99/7.04 c | 1633 | 3644 25806 179156 | 8602 1633 494 | 33.236 % | 7.09/7.14 c =============================================================================== 7.09/7.14 c New solution: 118344 7.09/7.14 o 118344 7.09/7.14 c Elapsed CPU time: 7.01393 s Remaining CPU time: 172.986 s 7.09/7.14 c =============================================================================== 7.09/7.14 c | 1642 | 3644 25807 181113 | 8602 1642 494 | 33.236 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c New solution: 118343 7.19/7.24 o 118343 7.19/7.24 c Elapsed CPU time: 7.10992 s Remaining CPU time: 172.89 s 7.19/7.24 c =============================================================================== 7.19/7.24 c | 1668 | 3644 25808 183070 | 8602 1668 496 | 33.236 % | 7.49/7.54 c | 1769 | 3644 25808 183070 | 9462 1769 502 | 33.236 % | 7.59/7.65 c =============================================================================== 7.59/7.65 c New solution: 118342 7.59/7.65 o 118342 7.59/7.65 c Elapsed CPU time: 7.51286 s Remaining CPU time: 172.487 s 7.59/7.65 c =============================================================================== 7.59/7.65 c | 1773 | 3644 25809 185027 | 8603 1773 502 | 33.236 % | 7.59/7.68 c =============================================================================== 7.59/7.68 c New solution: 118341 7.59/7.68 o 118341 7.59/7.68 c Elapsed CPU time: 7.54885 s Remaining CPU time: 172.451 s 7.59/7.68 c =============================================================================== 7.59/7.68 c | 1784 | 3644 25810 186984 | 8603 1784 502 | 33.236 % | 7.69/7.74 c =============================================================================== 7.69/7.74 c New solution: 118340 7.69/7.74 o 118340 7.69/7.74 c Elapsed CPU time: 7.60084 s Remaining CPU time: 172.399 s 7.69/7.74 c =============================================================================== 7.69/7.74 c | 1786 | 3644 25811 188941 | 8603 1786 502 | 33.236 % | 7.79/7.82 c =============================================================================== 7.79/7.82 c New solution: 118339 7.79/7.82 o 118339 7.79/7.82 c Elapsed CPU time: 7.68083 s Remaining CPU time: 172.319 s 7.79/7.82 c =============================================================================== 7.79/7.82 c | 1786 | 3644 25812 190898 | 8604 1786 502 | 33.236 % | 7.88/7.99 c =============================================================================== 7.88/7.99 c New solution: 118338 7.88/7.99 o 118338 7.88/7.99 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s 7.88/7.99 c =============================================================================== 7.88/7.99 c | 1801 | 3644 25813 192855 | 8604 1801 502 | 33.236 % | 7.99/8.04 c =============================================================================== 7.99/8.04 c New solution: 118337 7.99/8.04 o 118337 7.99/8.04 c Elapsed CPU time: 7.9048 s Remaining CPU time: 172.095 s 7.99/8.04 c =============================================================================== 7.99/8.04 c | 1815 | 3644 25814 194812 | 8604 1815 502 | 33.236 % | 8.09/8.18 c =============================================================================== 8.09/8.18 c New solution: 118336 8.09/8.18 o 118336 8.09/8.18 c Elapsed CPU time: 8.04178 s Remaining CPU time: 171.958 s 8.09/8.18 c =============================================================================== 8.09/8.18 c | 1834 | 3644 25815 196769 | 8605 1834 504 | 33.236 % | 8.29/8.39 c =============================================================================== 8.29/8.39 c New solution: 116903 8.29/8.39 o 116903 8.29/8.39 c Elapsed CPU time: 8.24875 s Remaining CPU time: 171.751 s 8.29/8.39 c =============================================================================== 8.29/8.39 c | 1889 | 3644 25816 198726 | 8605 1889 506 | 33.236 % | 8.39/8.47 c =============================================================================== 8.39/8.47 c New solution: 116859 8.39/8.47 o 116859 8.39/8.47 c Elapsed CPU time: 8.32473 s Remaining CPU time: 171.675 s 8.39/8.47 c =============================================================================== 8.39/8.47 c | 1890 | 3644 25817 200683 | 8605 1890 506 | 33.236 % | 8.49/8.59 c =============================================================================== 8.49/8.59 c New solution: 116858 8.49/8.59 o 116858 8.49/8.59 c Elapsed CPU time: 8.44472 s Remaining CPU time: 171.555 s 8.49/8.59 c =============================================================================== 8.49/8.59 c | 1892 | 3644 25818 202640 | 8606 1892 506 | 33.236 % | 8.59/8.65 c =============================================================================== 8.59/8.65 c New solution: 116855 8.59/8.65 o 116855 8.59/8.65 c Elapsed CPU time: 8.50771 s Remaining CPU time: 171.492 s 8.59/8.65 c =============================================================================== 8.59/8.65 c | 1892 | 3644 25819 204597 | 8606 1892 506 | 33.236 % | 8.69/8.71 c =============================================================================== 8.69/8.71 c New solution: 116852 8.69/8.71 o 116852 8.69/8.71 c Elapsed CPU time: 8.5697 s Remaining CPU time: 171.43 s 8.69/8.71 c =============================================================================== 8.69/8.71 c | 1892 | 3644 25820 206554 | 8606 1892 506 | 33.236 % | 8.69/8.78 c =============================================================================== 8.69/8.78 c New solution: 116851 8.69/8.78 o 116851 8.69/8.78 c Elapsed CPU time: 8.63269 s Remaining CPU time: 171.367 s 8.69/8.78 c =============================================================================== 8.69/8.78 c | 1892 | 3644 25821 208511 | 8607 1892 506 | 33.236 % | 8.79/8.90 c =============================================================================== 8.79/8.90 c New solution: 116850 8.79/8.90 o 116850 8.79/8.90 c Elapsed CPU time: 8.74867 s Remaining CPU time: 171.251 s 8.79/8.90 c =============================================================================== 8.79/8.90 c | 1894 | 3644 25822 210468 | 8607 1894 506 | 33.236 % | 8.89/8.96 c =============================================================================== 8.89/8.96 c New solution: 116849 8.89/8.96 o 116849 8.89/8.96 c Elapsed CPU time: 8.81066 s Remaining CPU time: 171.189 s 8.89/8.96 c =============================================================================== 8.89/8.96 c | 1894 | 3644 25823 212425 | 8607 1894 506 | 33.236 % | 8.99/9.02 c =============================================================================== 8.99/9.02 c New solution: 116848 8.99/9.02 o 116848 8.99/9.02 c Elapsed CPU time: 8.87265 s Remaining CPU time: 171.127 s 8.99/9.02 c =============================================================================== 8.99/9.02 c | 1894 | 3644 25824 214382 | 8608 1894 506 | 33.236 % | 8.99/9.08 c =============================================================================== 8.99/9.08 c New solution: 116847 8.99/9.08 o 116847 8.99/9.08 c Elapsed CPU time: 8.93164 s Remaining CPU time: 171.068 s 8.99/9.08 c =============================================================================== 8.99/9.08 c | 1894 | 3644 25825 216339 | 8608 1894 506 | 33.236 % | 9.09/9.14 c =============================================================================== 9.09/9.14 c New solution: 116846 9.09/9.14 o 116846 9.09/9.14 c Elapsed CPU time: 8.99163 s Remaining CPU time: 171.008 s 9.09/9.14 c =============================================================================== 9.09/9.14 c | 1894 | 3644 25826 218296 | 8608 1894 506 | 33.236 % | 9.19/9.22 c =============================================================================== 9.19/9.22 c New solution: 116845 9.19/9.22 o 116845 9.19/9.22 c Elapsed CPU time: 9.06362 s Remaining CPU time: 170.936 s 9.19/9.22 c =============================================================================== 9.19/9.22 c | 1894 | 3644 25827 220253 | 8609 1894 506 | 33.236 % | 9.19/9.27 c =============================================================================== 9.19/9.27 c New solution: 116844 9.19/9.27 o 116844 9.19/9.27 c Elapsed CPU time: 9.11861 s Remaining CPU time: 170.881 s 9.19/9.27 c =============================================================================== 9.19/9.27 c | 1895 | 3644 25828 222210 | 8609 1895 506 | 33.236 % | 9.68/9.70 c =============================================================================== 9.68/9.70 c New solution: 116843 9.68/9.70 o 116843 9.68/9.70 c Elapsed CPU time: 9.53855 s Remaining CPU time: 170.461 s 9.68/9.70 c =============================================================================== 9.68/9.70 c | 1978 | 3644 25829 224167 | 8609 1978 510 | 33.236 % | 9.68/9.77 c =============================================================================== 9.68/9.77 c New solution: 116842 9.68/9.77 o 116842 9.68/9.77 c Elapsed CPU time: 9.60954 s Remaining CPU time: 170.39 s 9.68/9.77 c =============================================================================== 9.68/9.77 c | 1980 | 3644 25830 226124 | 8610 1980 510 | 33.236 % | 9.78/9.89 c =============================================================================== 9.78/9.89 c New solution: 116841 9.78/9.89 o 116841 9.78/9.89 c Elapsed CPU time: 9.72952 s Remaining CPU time: 170.27 s 9.78/9.89 c =============================================================================== 9.78/9.89 c | 1981 | 3644 25831 228081 | 8610 1981 510 | 33.236 % | 10.00/10.03 c =============================================================================== 10.00/10.03 c New solution: 116840 10.00/10.03 o 116840 10.00/10.03 c Elapsed CPU time: 9.8675 s Remaining CPU time: 170.133 s 10.00/10.03 c =============================================================================== 10.00/10.03 c | 2022 | 3644 25832 230038 | 8610 2022 511 | 33.236 % | 10.09/10.18 c =============================================================================== 10.09/10.18 c New solution: 116839 10.09/10.18 o 116839 10.09/10.18 c Elapsed CPU time: 10.0195 s Remaining CPU time: 169.981 s 10.09/10.18 c =============================================================================== 10.09/10.18 c | 2092 | 3644 25833 231995 | 8611 2092 513 | 33.236 % | 10.19/10.24 c =============================================================================== 10.19/10.24 c New solution: 115408 10.19/10.24 o 115408 10.19/10.24 c Elapsed CPU time: 10.0815 s Remaining CPU time: 169.919 s 10.19/10.24 c =============================================================================== 10.19/10.24 c | 2097 | 3644 25834 233952 | 8611 2097 512 | 33.236 % | 10.39/10.40 c =============================================================================== 10.39/10.40 c New solution: 115406 10.39/10.40 o 115406 10.39/10.40 c Elapsed CPU time: 10.2434 s Remaining CPU time: 169.757 s 10.39/10.40 c =============================================================================== 10.39/10.40 c | 2103 | 3644 25835 235909 | 8611 2103 512 | 33.236 % | 10.49/10.55 c =============================================================================== 10.49/10.55 c New solution: 115405 10.49/10.55 o 115405 10.49/10.55 c Elapsed CPU time: 10.3894 s Remaining CPU time: 169.611 s 10.49/10.55 c =============================================================================== 10.49/10.55 c | 2105 | 3644 25836 237866 | 8612 2105 512 | 33.236 % | 10.49/10.59 c =============================================================================== 10.49/10.59 c New solution: 115363 10.49/10.59 o 115363 10.49/10.59 c Elapsed CPU time: 10.4344 s Remaining CPU time: 169.566 s 10.49/10.59 c =============================================================================== 10.49/10.59 c | 2106 | 3644 25837 239823 | 8612 2106 512 | 33.236 % | 10.59/10.63 c =============================================================================== 10.59/10.63 c New solution: 115362 10.59/10.63 o 115362 10.59/10.63 c Elapsed CPU time: 10.4664 s Remaining CPU time: 169.534 s 10.59/10.63 c =============================================================================== 10.59/10.63 c | 2106 | 3644 25838 241780 | 8612 2106 512 | 33.236 % | 10.59/10.67 c =============================================================================== 10.59/10.67 c New solution: 115361 10.59/10.67 o 115361 10.59/10.67 c Elapsed CPU time: 10.5014 s Remaining CPU time: 169.499 s 10.59/10.67 c =============================================================================== 10.59/10.67 c | 2106 | 3644 25839 243737 | 8613 2106 512 | 33.236 % | 10.69/10.70 c =============================================================================== 10.69/10.70 c New solution: 115360 10.69/10.70 o 115360 10.69/10.70 c Elapsed CPU time: 10.5384 s Remaining CPU time: 169.462 s 10.69/10.70 c =============================================================================== 10.69/10.70 c | 2106 | 3644 25840 245694 | 8613 2106 512 | 33.236 % | 10.69/10.74 c =============================================================================== 10.69/10.74 c New solution: 115359 10.69/10.74 o 115359 10.69/10.74 c Elapsed CPU time: 10.5724 s Remaining CPU time: 169.428 s 10.69/10.74 c =============================================================================== 10.69/10.74 c | 2107 | 3644 25841 247651 | 8613 2107 512 | 33.236 % | 10.79/10.81 c =============================================================================== 10.79/10.81 c New solution: 115358 10.79/10.81 o 115358 10.79/10.81 c Elapsed CPU time: 10.6414 s Remaining CPU time: 169.359 s 10.79/10.81 c =============================================================================== 10.79/10.81 c | 2107 | 3644 25842 249608 | 8614 2107 512 | 33.236 % | 10.79/10.86 c =============================================================================== 10.79/10.86 c New solution: 113902 10.79/10.86 o 113902 10.79/10.86 c Elapsed CPU time: 10.6954 s Remaining CPU time: 169.305 s 10.79/10.86 c =============================================================================== 10.79/10.86 c | 2108 | 3644 25843 251565 | 8614 2108 512 | 33.236 % | 10.99/11.03 c =============================================================================== 10.99/11.03 c New solution: 113876 10.99/11.03 o 113876 10.99/11.03 c Elapsed CPU time: 10.8633 s Remaining CPU time: 169.137 s 10.99/11.03 c =============================================================================== 10.99/11.03 c | 2112 | 3644 25844 253522 | 8614 2112 512 | 33.236 % | 10.99/11.08 c =============================================================================== 10.99/11.08 c New solution: 112414 10.99/11.08 o 112414 10.99/11.08 c Elapsed CPU time: 10.9103 s Remaining CPU time: 169.09 s 10.99/11.08 c =============================================================================== 10.99/11.08 c | 2114 | 3644 25845 255479 | 8615 2114 511 | 33.236 % | 11.10/11.11 c =============================================================================== 11.10/11.11 c New solution: 110906 11.10/11.11 o 110906 11.10/11.11 c Elapsed CPU time: 10.9413 s Remaining CPU time: 169.059 s 11.10/11.11 c =============================================================================== 11.10/11.11 c | 2114 | 3644 25846 257436 | 8615 2114 511 | 33.236 % | 11.10/11.15 c =============================================================================== 11.10/11.15 c New solution: 110884 11.10/11.15 o 110884 11.10/11.15 c Elapsed CPU time: 10.9803 s Remaining CPU time: 169.02 s 11.10/11.15 c =============================================================================== 11.10/11.15 c | 2114 | 3644 25847 259393 | 8615 2114 511 | 33.236 % | 11.10/11.19 c =============================================================================== 11.10/11.19 c New solution: 109389 11.10/11.19 o 109389 11.10/11.19 c Elapsed CPU time: 11.0113 s Remaining CPU time: 168.989 s 11.10/11.19 c =============================================================================== 11.10/11.19 c | 2114 | 3644 25848 261350 | 8616 2114 511 | 33.236 % | 11.18/11.24 c =============================================================================== 11.18/11.24 c New solution: 109369 11.18/11.24 o 109369 11.18/11.24 c Elapsed CPU time: 11.0643 s Remaining CPU time: 168.936 s 11.18/11.24 c =============================================================================== 11.18/11.24 c | 2114 | 3644 25849 263307 | 8616 2114 511 | 33.236 % | 11.18/11.29 c =============================================================================== 11.18/11.29 c New solution: 107888 11.18/11.30 o 107888 11.18/11.30 c Elapsed CPU time: 11.1163 s Remaining CPU time: 168.884 s 11.18/11.30 c =============================================================================== 11.18/11.30 c | 2114 | 3644 25850 265264 | 8616 2114 511 | 33.236 % | 11.49/11.52 c =============================================================================== 11.49/11.52 c New solution: 107837 11.49/11.52 o 107837 11.49/11.52 c Elapsed CPU time: 11.3383 s Remaining CPU time: 168.662 s 11.49/11.52 c =============================================================================== 11.49/11.52 c | 2169 | 3644 25851 267221 | 8617 2169 511 | 33.236 % | 11.49/11.58 c =============================================================================== 11.49/11.58 c New solution: 106353 11.49/11.58 o 106353 11.49/11.58 c Elapsed CPU time: 11.3983 s Remaining CPU time: 168.602 s 11.49/11.58 c =============================================================================== 11.49/11.58 c | 2169 | 3644 25852 269178 | 8617 2169 511 | 33.236 % | 11.59/11.63 c =============================================================================== 11.59/11.63 c New solution: 106351 11.59/11.63 o 106351 11.59/11.63 c Elapsed CPU time: 11.4463 s Remaining CPU time: 168.554 s 11.59/11.63 c =============================================================================== 11.59/11.63 c | 2169 | 3644 25853 271135 | 8617 2169 511 | 33.236 % | 11.59/11.67 c =============================================================================== 11.59/11.67 c New solution: 106345 11.59/11.67 o 106345 11.59/11.67 c Elapsed CPU time: 11.4893 s Remaining CPU time: 168.511 s 11.59/11.67 c =============================================================================== 11.59/11.67 c | 2169 | 3644 25854 273092 | 8618 2169 511 | 33.236 % | 11.69/11.72 c =============================================================================== 11.69/11.72 c New solution: 106344 11.69/11.72 o 106344 11.69/11.72 c Elapsed CPU time: 11.5352 s Remaining CPU time: 168.465 s 11.69/11.72 c =============================================================================== 11.69/11.72 c | 2169 | 3644 25855 275049 | 8618 2169 511 | 33.236 % | 11.69/11.76 c =============================================================================== 11.69/11.76 c New solution: 106343 11.69/11.76 o 106343 11.69/11.76 c Elapsed CPU time: 11.5752 s Remaining CPU time: 168.425 s 11.69/11.76 c =============================================================================== 11.69/11.76 c | 2169 | 3644 25856 277006 | 8618 2169 511 | 33.236 % | 11.79/11.80 c =============================================================================== 11.79/11.80 c New solution: 106342 11.79/11.80 o 106342 11.79/11.80 c Elapsed CPU time: 11.6122 s Remaining CPU time: 168.388 s 11.79/11.80 c =============================================================================== 11.79/11.80 c | 2169 | 3644 25857 278963 | 8619 2169 511 | 33.236 % | 11.79/11.84 c =============================================================================== 11.79/11.84 c New solution: 106341 11.79/11.84 o 106341 11.79/11.84 c Elapsed CPU time: 11.6512 s Remaining CPU time: 168.349 s 11.79/11.84 c =============================================================================== 11.79/11.84 c | 2169 | 3644 25858 280920 | 8619 2169 511 | 33.236 % | 11.79/11.89 c =============================================================================== 11.79/11.89 c New solution: 104841 11.79/11.89 o 104841 11.79/11.89 c Elapsed CPU time: 11.6982 s Remaining CPU time: 168.302 s 11.79/11.89 c =============================================================================== 11.79/11.89 c | 2170 | 3644 25859 282877 | 8619 2170 511 | 33.236 % | 11.89/11.98 c =============================================================================== 11.89/11.98 c New solution: 104825 11.89/11.98 o 104825 11.89/11.98 c Elapsed CPU time: 11.7942 s Remaining CPU time: 168.206 s 11.89/11.98 c =============================================================================== 11.89/11.98 c | 2171 | 3644 25860 284834 | 8620 2171 511 | 33.236 % | 12.10/12.15 c =============================================================================== 12.10/12.15 c New solution: 104824 12.10/12.15 o 104824 12.10/12.15 c Elapsed CPU time: 11.9612 s Remaining CPU time: 168.039 s 12.10/12.15 c =============================================================================== 12.10/12.15 c | 2172 | 3644 25861 286791 | 8620 2172 511 | 33.236 % | 12.20/12.21 c =============================================================================== 12.20/12.21 c New solution: 103333 12.20/12.21 o 103333 12.20/12.21 c Elapsed CPU time: 12.0182 s Remaining CPU time: 167.982 s 12.20/12.21 c =============================================================================== 12.20/12.21 c | 2174 | 3644 25862 288748 | 8620 2174 511 | 33.236 % | 12.29/12.37 c =============================================================================== 12.29/12.37 c New solution: 103286 12.29/12.37 o 103286 12.29/12.37 c Elapsed CPU time: 12.1781 s Remaining CPU time: 167.822 s 12.29/12.37 c =============================================================================== 12.29/12.37 c | 2176 | 3644 25863 290705 | 8621 2176 511 | 33.236 % | 12.39/12.44 c =============================================================================== 12.39/12.44 c New solution: 101837 12.39/12.44 o 101837 12.39/12.44 c Elapsed CPU time: 12.2451 s Remaining CPU time: 167.755 s 12.39/12.44 c =============================================================================== 12.39/12.44 c | 2177 | 3644 25864 292662 | 8621 2177 511 | 33.236 % | 12.39/12.49 c =============================================================================== 12.39/12.49 c New solution: 101836 12.39/12.49 o 101836 12.39/12.49 c Elapsed CPU time: 12.2931 s Remaining CPU time: 167.707 s 12.39/12.49 c =============================================================================== 12.39/12.49 c | 2179 | 3644 25865 294619 | 8621 2179 511 | 33.236 % | 12.49/12.53 c =============================================================================== 12.49/12.53 c New solution: 101824 12.49/12.53 o 101824 12.49/12.53 c Elapsed CPU time: 12.3351 s Remaining CPU time: 167.665 s 12.49/12.53 c =============================================================================== 12.49/12.53 c | 2179 | 3644 25866 296576 | 8622 2179 511 | 33.236 % | 12.49/12.59 c =============================================================================== 12.49/12.60 c New solution: 100332 12.49/12.60 o 100332 12.49/12.60 c Elapsed CPU time: 12.3961 s Remaining CPU time: 167.604 s 12.49/12.60 c =============================================================================== 12.49/12.60 c | 2182 | 3644 25867 298533 | 8622 2182 511 | 33.236 % | 12.69/12.75 c =============================================================================== 12.69/12.75 c New solution: 100253 12.69/12.75 o 100253 12.69/12.75 c Elapsed CPU time: 12.5541 s Remaining CPU time: 167.446 s 12.69/12.75 c =============================================================================== 12.69/12.75 c | 2185 | 3644 25868 300490 | 8622 2185 511 | 33.236 % | 12.79/12.83 c =============================================================================== 12.79/12.83 c New solution: 98807 12.79/12.83 o 98807 12.79/12.83 c Elapsed CPU time: 12.6321 s Remaining CPU time: 167.368 s 12.79/12.83 c =============================================================================== 12.79/12.83 c | 2190 | 3644 25869 302447 | 8623 2190 511 | 33.236 % | 12.89/12.95 c =============================================================================== 12.89/12.95 c New solution: 98780 12.89/12.95 o 98780 12.89/12.95 c Elapsed CPU time: 12.7461 s Remaining CPU time: 167.254 s 12.89/12.95 c =============================================================================== 12.89/12.95 c | 2194 | 3644 25870 304404 | 8623 2194 510 | 33.236 % | 12.99/13.04 c =============================================================================== 12.99/13.04 c New solution: 98779 12.99/13.04 o 98779 12.99/13.04 c Elapsed CPU time: 12.833 s Remaining CPU time: 167.167 s 12.99/13.04 c =============================================================================== 12.99/13.04 c | 2195 | 3644 25871 306361 | 8623 2195 510 | 33.236 % | 13.09/13.18 c =============================================================================== 13.09/13.18 c New solution: 98778 13.09/13.18 o 98778 13.09/13.18 c Elapsed CPU time: 12.971 s Remaining CPU time: 167.029 s 13.09/13.18 c =============================================================================== 13.09/13.18 c | 2210 | 3644 25872 308318 | 8624 2210 511 | 33.236 % | 13.29/13.36 c =============================================================================== 13.29/13.36 c New solution: 98751 13.29/13.36 o 98751 13.29/13.36 c Elapsed CPU time: 13.153 s Remaining CPU time: 166.847 s 13.29/13.36 c =============================================================================== 13.29/13.36 c | 2217 | 3644 25873 310275 | 8624 2217 510 | 33.236 % | 13.48/13.50 c =============================================================================== 13.48/13.50 c New solution: 98750 13.48/13.50 o 98750 13.48/13.50 c Elapsed CPU time: 13.288 s Remaining CPU time: 166.712 s 13.48/13.50 c =============================================================================== 13.48/13.50 c | 2220 | 3644 25874 312232 | 8624 2220 510 | 33.236 % | 13.58/13.61 c =============================================================================== 13.58/13.61 c New solution: 97303 13.58/13.61 o 97303 13.58/13.61 c Elapsed CPU time: 13.398 s Remaining CPU time: 166.602 s 13.58/13.61 c =============================================================================== 13.58/13.61 c | 2220 | 3644 25875 314189 | 8625 2220 510 | 33.236 % | 13.69/13.71 c =============================================================================== 13.69/13.71 c New solution: 97301 13.69/13.71 o 97301 13.69/13.71 c Elapsed CPU time: 13.5019 s Remaining CPU time: 166.498 s 13.69/13.71 c =============================================================================== 13.69/13.71 c | 2220 | 3644 25876 316146 | 8625 2220 510 | 33.236 % | 13.79/13.82 c =============================================================================== 13.79/13.82 c New solution: 97300 13.79/13.82 o 97300 13.79/13.82 c Elapsed CPU time: 13.6069 s Remaining CPU time: 166.393 s 13.79/13.82 c =============================================================================== 13.79/13.82 c | 2220 | 3644 25877 318103 | 8625 2220 510 | 33.236 % | 13.89/13.92 c =============================================================================== 13.89/13.92 c New solution: 97299 13.89/13.92 o 97299 13.89/13.92 c Elapsed CPU time: 13.7119 s Remaining CPU time: 166.288 s 13.89/13.92 c =============================================================================== 13.89/13.92 c | 2220 | 3644 25878 320060 | 8626 2220 510 | 33.236 % | 13.99/14.02 c =============================================================================== 13.99/14.02 c New solution: 97298 13.99/14.02 o 97298 13.99/14.02 c Elapsed CPU time: 13.8099 s Remaining CPU time: 166.19 s 13.99/14.02 c =============================================================================== 13.99/14.02 c | 2221 | 3644 25879 322017 | 8626 2221 510 | 33.236 % | 14.09/14.13 c =============================================================================== 14.09/14.13 c New solution: 97297 14.09/14.13 o 97297 14.09/14.13 c Elapsed CPU time: 13.9199 s Remaining CPU time: 166.08 s 14.09/14.13 c =============================================================================== 14.09/14.13 c | 2243 | 3644 25880 323974 | 8626 2243 512 | 33.236 % | 14.29/14.35 c =============================================================================== 14.29/14.35 c New solution: 97257 14.29/14.35 o 97257 14.29/14.35 c Elapsed CPU time: 14.1388 s Remaining CPU time: 165.861 s 14.29/14.35 c =============================================================================== 14.29/14.35 c | 2246 | 3644 25881 325931 | 8627 2246 511 | 33.236 % | 14.39/14.48 c =============================================================================== 14.39/14.48 c New solution: 97244 14.39/14.48 o 97244 14.39/14.48 c Elapsed CPU time: 14.2638 s Remaining CPU time: 165.736 s 14.39/14.48 c =============================================================================== 14.39/14.48 c | 2281 | 3644 25882 327888 | 8627 2281 512 | 33.236 % | 14.58/14.61 c =============================================================================== 14.58/14.61 c New solution: 97242 14.58/14.61 o 97242 14.58/14.61 c Elapsed CPU time: 14.3858 s Remaining CPU time: 165.614 s 14.58/14.61 c =============================================================================== 14.58/14.61 c | 2292 | 3644 25883 329845 | 8627 2292 512 | 33.236 % | 14.68/14.72 c =============================================================================== 14.68/14.72 c New solution: 95799 14.68/14.72 o 95799 14.68/14.72 c Elapsed CPU time: 14.5038 s Remaining CPU time: 165.496 s 14.68/14.72 c =============================================================================== 14.68/14.72 c | 2296 | 3644 25884 331802 | 8628 2296 512 | 33.236 % | 14.78/14.88 c =============================================================================== 14.78/14.88 c New solution: 95798 14.78/14.88 o 95798 14.78/14.88 c Elapsed CPU time: 14.6618 s Remaining CPU time: 165.338 s 14.78/14.88 c =============================================================================== 14.78/14.88 c | 2308 | 3644 25885 333759 | 8628 2308 513 | 33.236 % | 14.99/15.04 c =============================================================================== 14.99/15.04 c New solution: 95728 14.99/15.04 o 95728 14.99/15.04 c Elapsed CPU time: 14.8187 s Remaining CPU time: 165.181 s 14.99/15.04 c =============================================================================== 14.99/15.04 c | 2311 | 3644 25886 335716 | 8628 2311 512 | 33.236 % | 15.09/15.18 c =============================================================================== 15.09/15.18 c New solution: 95718 15.09/15.18 o 95718 15.09/15.18 c Elapsed CPU time: 14.9557 s Remaining CPU time: 165.044 s 15.09/15.18 c =============================================================================== 15.09/15.18 c | 2312 | 3644 25887 337673 | 8629 2312 512 | 33.236 % | 15.69/15.72 c | 2412 | 3644 25887 337673 | 9491 2412 515 | 33.236 % | 15.79/15.86 c =============================================================================== 15.79/15.86 c New solution: 95717 15.79/15.86 o 95717 15.79/15.86 c Elapsed CPU time: 15.6356 s Remaining CPU time: 164.364 s 15.79/15.86 c =============================================================================== 15.79/15.86 c | 2446 | 3644 25888 339630 | 8629 2446 515 | 33.236 % | 16.09/16.14 c =============================================================================== 16.09/16.14 c New solution: 95716 16.09/16.14 o 95716 16.09/16.14 c Elapsed CPU time: 15.9146 s Remaining CPU time: 164.085 s 16.09/16.14 c =============================================================================== 16.09/16.14 c | 2468 | 3644 25889 341587 | 8629 2468 516 | 33.236 % | 17.09/17.13 c | 2569 | 3644 25889 341587 | 9492 2569 518 | 33.236 % | 17.29/17.33 c =============================================================================== 17.29/17.33 c New solution: 95715 17.29/17.33 o 95715 17.29/17.33 c Elapsed CPU time: 17.1074 s Remaining CPU time: 162.893 s 17.29/17.33 c =============================================================================== 17.29/17.33 c | 2578 | 3644 25890 343544 | 8630 2578 518 | 33.236 % | 17.69/17.77 c =============================================================================== 17.69/17.77 c New solution: 95714 17.69/17.77 o 95714 17.69/17.77 c Elapsed CPU time: 17.5483 s Remaining CPU time: 162.452 s 17.69/17.77 c =============================================================================== 17.69/17.77 c | 2607 | 3644 25891 345501 | 8630 2607 518 | 33.236 % | 17.79/17.87 c =============================================================================== 17.79/17.87 c New solution: 95713 17.79/17.87 o 95713 17.79/17.87 c Elapsed CPU time: 17.6503 s Remaining CPU time: 162.35 s 17.79/17.87 c =============================================================================== 17.79/17.87 c | 2608 | 3644 25892 347458 | 8630 2608 518 | 33.236 % | 17.99/18.00 c =============================================================================== 17.99/18.00 c New solution: 95712 17.99/18.00 o 95712 17.99/18.00 c Elapsed CPU time: 17.7763 s Remaining CPU time: 162.224 s 17.99/18.00 c =============================================================================== 17.99/18.00 c | 2615 | 3644 25893 349415 | 8631 2615 518 | 33.236 % | 18.19/18.28 c =============================================================================== 18.19/18.28 c New solution: 95711 18.19/18.28 o 95711 18.19/18.28 c Elapsed CPU time: 18.0583 s Remaining CPU time: 161.942 s 18.19/18.28 c =============================================================================== 18.19/18.28 c | 2628 | 3644 25894 351372 | 8631 2628 518 | 33.236 % | 18.29/18.36 c =============================================================================== 18.29/18.36 c New solution: 95710 18.29/18.36 o 95710 18.29/18.36 c Elapsed CPU time: 18.1352 s Remaining CPU time: 161.865 s 18.29/18.36 c =============================================================================== 18.29/18.36 c | 2639 | 3644 25895 353329 | 8631 2639 518 | 33.236 % | 18.48/18.50 c =============================================================================== 18.48/18.50 c New solution: 95709 18.48/18.50 o 95709 18.48/18.50 c Elapsed CPU time: 18.2762 s Remaining CPU time: 161.724 s 18.48/18.50 c =============================================================================== 18.48/18.50 c | 2642 | 3644 25896 355286 | 8632 2642 518 | 33.236 % | 18.88/18.93 c =============================================================================== 18.88/18.93 c New solution: 95708 18.88/18.93 o 95708 18.88/18.93 c Elapsed CPU time: 18.7002 s Remaining CPU time: 161.3 s 18.88/18.93 c =============================================================================== 18.88/18.93 c | 2719 | 3644 25897 357243 | 8632 2719 521 | 33.236 % | 19.08/19.11 c =============================================================================== 19.08/19.11 c New solution: 95707 19.08/19.11 o 95707 19.08/19.11 c Elapsed CPU time: 18.8841 s Remaining CPU time: 161.116 s 19.08/19.11 c =============================================================================== 19.08/19.11 c | 2729 | 3644 25898 359200 | 8632 2729 521 | 33.236 % | 19.18/19.25 c =============================================================================== 19.18/19.25 c New solution: 95706 19.18/19.25 o 95706 19.18/19.25 c Elapsed CPU time: 19.0241 s Remaining CPU time: 160.976 s 19.18/19.25 c =============================================================================== 19.18/19.25 c | 2732 | 3644 25899 361157 | 8633 2732 521 | 33.236 % | 19.58/19.67 c =============================================================================== 19.58/19.67 c New solution: 95705 19.58/19.67 o 95705 19.58/19.67 c Elapsed CPU time: 19.441 s Remaining CPU time: 160.559 s 19.58/19.67 c =============================================================================== 19.58/19.67 c | 2772 | 3644 25900 363114 | 8633 2772 522 | 33.236 % | 19.68/19.77 c =============================================================================== 19.68/19.77 c New solution: 95704 19.68/19.77 o 95704 19.68/19.77 c Elapsed CPU time: 19.538 s Remaining CPU time: 160.462 s 19.68/19.77 c =============================================================================== 19.68/19.77 c | 2789 | 3644 25901 365071 | 8633 2789 522 | 33.236 % | 19.90/19.91 c =============================================================================== 19.90/19.91 c New solution: 94294 19.90/19.91 o 94294 19.90/19.91 c Elapsed CPU time: 19.682 s Remaining CPU time: 160.318 s 19.90/19.91 c =============================================================================== 19.90/19.91 c | 2789 | 3644 25902 367028 | 8634 2789 522 | 33.236 % | 19.99/20.05 c =============================================================================== 19.99/20.05 c New solution: 94285 19.99/20.05 o 94285 19.99/20.05 c Elapsed CPU time: 19.816 s Remaining CPU time: 160.184 s 19.99/20.05 c =============================================================================== 19.99/20.05 c | 2793 | 3644 25903 368985 | 8634 2793 522 | 33.236 % | 20.09/20.16 c | 2894 | 3644 25903 368985 | 9497 2894 521 | 33.236 % | 20.39/20.49 c =============================================================================== 20.39/20.49 c New solution: 94283 20.39/20.49 o 94283 20.39/20.49 c Elapsed CPU time: 20.2549 s Remaining CPU time: 159.745 s 20.39/20.49 c =============================================================================== 20.39/20.49 c | 2907 | 3644 25904 370942 | 8634 2907 521 | 33.236 % | 20.69/20.73 c =============================================================================== 20.69/20.73 c New solution: 94238 20.69/20.73 o 94238 20.69/20.73 c Elapsed CPU time: 20.4979 s Remaining CPU time: 159.502 s 20.69/20.73 c =============================================================================== 20.69/20.73 c | 2909 | 3644 25905 372899 | 8635 2909 521 | 33.236 % | 20.79/20.88 c =============================================================================== 20.79/20.88 c New solution: 94237 20.79/20.88 o 94237 20.79/20.88 c Elapsed CPU time: 20.6409 s Remaining CPU time: 159.359 s 20.79/20.88 c =============================================================================== 20.79/20.88 c | 2913 | 3644 25906 374856 | 8635 2913 521 | 33.236 % | 20.89/20.99 c =============================================================================== 20.89/20.99 c New solution: 94207 20.89/20.99 o 94207 20.89/20.99 c Elapsed CPU time: 20.7578 s Remaining CPU time: 159.242 s 20.89/20.99 c =============================================================================== 20.89/20.99 c | 2919 | 3644 25907 376813 | 8635 2919 521 | 33.236 % | 21.58/21.64 c | 3020 | 3644 25907 376813 | 9499 3020 524 | 33.236 % | 21.88/21.95 c =============================================================================== 21.88/21.95 c New solution: 94206 21.88/21.95 o 94206 21.88/21.95 c Elapsed CPU time: 21.7077 s Remaining CPU time: 158.292 s 21.88/21.95 c =============================================================================== 21.88/21.95 c | 3051 | 3644 25908 378770 | 8636 3051 523 | 33.236 % | 22.09/22.17 c =============================================================================== 22.09/22.17 c New solution: 92765 22.09/22.17 o 92765 22.09/22.17 c Elapsed CPU time: 21.9317 s Remaining CPU time: 158.068 s 22.09/22.17 c =============================================================================== 22.09/22.17 c | 3150 | 3644 25909 380727 | 8636 3150 522 | 33.236 % | 22.28/22.35 c =============================================================================== 22.28/22.35 c New solution: 92696 22.28/22.35 o 92696 22.28/22.35 c Elapsed CPU time: 22.1096 s Remaining CPU time: 157.89 s 22.28/22.35 c =============================================================================== 22.28/22.35 c | 3152 | 3644 25910 382684 | 8636 3152 522 | 33.236 % | 22.59/22.69 c =============================================================================== 22.59/22.69 c New solution: 92695 22.59/22.69 o 92695 22.59/22.69 c Elapsed CPU time: 22.4436 s Remaining CPU time: 157.556 s 22.59/22.69 c =============================================================================== 22.59/22.69 c | 3176 | 3644 25911 384641 | 8637 3176 523 | 33.236 % | 22.79/22.86 c =============================================================================== 22.79/22.86 c New solution: 92694 22.79/22.86 o 92694 22.79/22.86 c Elapsed CPU time: 22.6196 s Remaining CPU time: 157.38 s 22.79/22.86 c =============================================================================== 22.79/22.86 c | 3177 | 3644 25912 386598 | 8637 3177 523 | 33.236 % | 22.99/23.02 c =============================================================================== 22.99/23.02 c New solution: 92693 22.99/23.02 o 92693 22.99/23.02 c Elapsed CPU time: 22.7775 s Remaining CPU time: 157.222 s 22.99/23.02 c =============================================================================== 22.99/23.02 c | 3178 | 3644 25913 388555 | 8637 3178 523 | 33.236 % | 23.19/23.21 c =============================================================================== 23.19/23.21 c New solution: 92692 23.19/23.21 o 92692 23.19/23.21 c Elapsed CPU time: 22.9605 s Remaining CPU time: 157.039 s 23.19/23.21 c =============================================================================== 23.19/23.21 c | 3180 | 3644 25914 390512 | 8638 3180 523 | 33.236 % | 23.28/23.35 c =============================================================================== 23.28/23.35 c New solution: 92691 23.28/23.35 o 92691 23.28/23.35 c Elapsed CPU time: 23.0985 s Remaining CPU time: 156.902 s 23.28/23.35 c =============================================================================== 23.28/23.35 c | 3184 | 3644 25915 392469 | 8638 3184 523 | 33.236 % | 23.58/23.60 c | 3284 | 3644 25915 392469 | 9502 3284 523 | 33.236 % | 23.68/23.79 c =============================================================================== 23.68/23.79 c New solution: 92690 23.68/23.79 o 92690 23.68/23.79 c Elapsed CPU time: 23.5454 s Remaining CPU time: 156.455 s 23.68/23.79 c =============================================================================== 23.68/23.79 c | 3285 | 3644 25916 394426 | 8638 3285 523 | 33.236 % | 24.48/24.56 c =============================================================================== 24.48/24.56 c New solution: 92689 24.48/24.56 o 92689 24.48/24.56 c Elapsed CPU time: 24.3113 s Remaining CPU time: 155.689 s 24.48/24.56 c =============================================================================== 24.48/24.56 c | 3378 | 3644 25917 396383 | 8639 3378 526 | 33.236 % | 24.68/24.72 c =============================================================================== 24.68/24.72 c New solution: 92688 24.68/24.72 o 92688 24.68/24.72 c Elapsed CPU time: 24.4663 s Remaining CPU time: 155.534 s 24.68/24.72 c =============================================================================== 24.68/24.72 c | 3405 | 3644 25918 398340 | 8639 3405 526 | 33.236 % | 24.89/24.91 c =============================================================================== 24.89/24.91 c New solution: 92687 24.89/24.91 o 92687 24.89/24.91 c Elapsed CPU time: 24.6593 s Remaining CPU time: 155.341 s 24.89/24.91 c =============================================================================== 24.89/24.91 c | 3416 | 3644 25919 400297 | 8639 3416 526 | 33.236 % | 25.29/25.37 c | 3516 | 3644 25919 400297 | 9503 3516 527 | 33.236 % | 25.39/25.44 c =============================================================================== 25.39/25.44 c New solution: 92686 25.39/25.44 o 92686 25.39/25.44 c Elapsed CPU time: 25.1802 s Remaining CPU time: 154.82 s 25.39/25.44 c =============================================================================== 25.39/25.44 c | 3520 | 3644 25920 402254 | 8640 3520 527 | 33.236 % | 25.59/25.65 c =============================================================================== 25.59/25.65 c New solution: 92685 25.59/25.65 o 92685 25.59/25.65 c Elapsed CPU time: 25.3871 s Remaining CPU time: 154.613 s 25.59/25.65 c =============================================================================== 25.59/25.65 c | 3525 | 3644 25921 404211 | 8640 3525 526 | 33.236 % | 25.78/25.88 c =============================================================================== 25.78/25.88 c New solution: 92684 25.78/25.88 o 92684 25.78/25.88 c Elapsed CPU time: 25.6211 s Remaining CPU time: 154.379 s 25.78/25.88 c =============================================================================== 25.78/25.88 c | 3530 | 3644 25922 406168 | 8640 3530 526 | 33.236 % | 26.68/26.79 c | 3630 | 3644 25922 406168 | 9504 3630 529 | 33.236 % | 26.88/26.99 c =============================================================================== 26.88/26.99 c New solution: 92681 26.88/26.99 o 92681 26.88/26.99 c Elapsed CPU time: 26.7209 s Remaining CPU time: 153.279 s 26.88/26.99 c =============================================================================== 26.88/26.99 c | 3633 | 3644 25923 408125 | 8641 3633 529 | 33.236 % | 27.49/27.59 c | 3736 | 3644 25923 408125 | 9505 3736 530 | 33.236 % | 27.78/27.84 c =============================================================================== 27.78/27.84 c New solution: 92680 27.78/27.84 o 92680 27.78/27.84 c Elapsed CPU time: 27.5728 s Remaining CPU time: 152.427 s 27.78/27.84 c =============================================================================== 27.78/27.84 c | 3739 | 3644 25924 410082 | 8641 3739 530 | 33.236 % | 28.18/28.27 c =============================================================================== 28.18/28.27 c New solution: 92679 28.18/28.27 o 92679 28.18/28.27 c Elapsed CPU time: 28.0017 s Remaining CPU time: 151.998 s 28.18/28.27 c =============================================================================== 28.18/28.27 c | 3784 | 3644 25925 412039 | 8641 3784 531 | 33.236 % | 28.48/28.53 c =============================================================================== 28.48/28.53 c New solution: 92678 28.48/28.53 o 92678 28.48/28.53 c Elapsed CPU time: 28.2627 s Remaining CPU time: 151.737 s 28.48/28.53 c =============================================================================== 28.48/28.53 c | 3791 | 3644 25926 413996 | 8642 3791 531 | 33.236 % | 28.69/28.75 c =============================================================================== 28.69/28.75 c New solution: 92677 28.69/28.75 o 92677 28.69/28.75 c Elapsed CPU time: 28.4817 s Remaining CPU time: 151.518 s 28.69/28.75 c =============================================================================== 28.69/28.75 c | 3793 | 3644 25927 415953 | 8642 3793 531 | 33.236 % | 28.88/28.95 c =============================================================================== 28.88/28.95 c New solution: 92676 28.88/28.95 o 92676 28.88/28.95 c Elapsed CPU time: 28.6776 s Remaining CPU time: 151.322 s 28.88/28.95 c =============================================================================== 28.88/28.95 c | 3796 | 3644 25928 417910 | 8642 3796 531 | 33.236 % | 29.08/29.11 c =============================================================================== 29.08/29.11 c New solution: 92672 29.08/29.11 o 92672 29.08/29.11 c Elapsed CPU time: 28.8426 s Remaining CPU time: 151.157 s 29.08/29.11 c =============================================================================== 29.08/29.11 c | 3810 | 3644 25929 419867 | 8643 3810 531 | 33.236 % | 30.08/30.16 c =============================================================================== 30.08/30.16 c New solution: 91258 30.08/30.16 o 91258 30.08/30.16 c Elapsed CPU time: 29.8885 s Remaining CPU time: 150.112 s 30.08/30.16 c =============================================================================== 30.08/30.16 c | 3839 | 3644 25930 421824 | 8643 3839 529 | 33.236 % | 30.38/30.42 c =============================================================================== 30.38/30.42 c New solution: 91235 30.38/30.42 o 91235 30.38/30.42 c Elapsed CPU time: 30.1464 s Remaining CPU time: 149.854 s 30.38/30.42 c =============================================================================== 30.38/30.42 c | 3843 | 3644 25931 423781 | 8643 3843 529 | 33.236 % | 30.58/30.65 c | 3944 | 3644 25931 423781 | 9508 3944 528 | 33.236 % | 30.79/30.85 c =============================================================================== 30.79/30.85 c New solution: 91197 30.79/30.85 o 91197 30.79/30.85 c Elapsed CPU time: 30.5754 s Remaining CPU time: 149.425 s 30.79/30.85 c =============================================================================== 30.79/30.85 c | 3944 | 3644 25932 425738 | 8644 3944 528 | 33.236 % | 30.98/31.05 c =============================================================================== 30.98/31.05 c New solution: 91196 30.98/31.05 o 91196 30.98/31.05 c Elapsed CPU time: 30.7663 s Remaining CPU time: 149.234 s 30.98/31.05 c =============================================================================== 30.98/31.05 c | 3945 | 3644 25933 427695 | 8644 3945 528 | 33.236 % | 31.28/31.37 c =============================================================================== 31.28/31.37 c New solution: 91195 31.28/31.37 o 91195 31.28/31.37 c Elapsed CPU time: 31.0903 s Remaining CPU time: 148.91 s 31.28/31.37 c =============================================================================== 31.28/31.37 c | 3963 | 3644 25934 429652 | 8644 3963 528 | 33.236 % | 31.48/31.58 c =============================================================================== 31.48/31.58 c New solution: 91194 31.48/31.58 o 91194 31.48/31.58 c Elapsed CPU time: 31.3022 s Remaining CPU time: 148.698 s 31.48/31.58 c =============================================================================== 31.48/31.58 c | 3964 | 3644 25935 431609 | 8645 3964 528 | 33.236 % | 31.78/31.84 c =============================================================================== 31.78/31.84 c New solution: 91193 31.78/31.84 o 91193 31.78/31.84 c Elapsed CPU time: 31.5622 s Remaining CPU time: 148.438 s 31.78/31.84 c =============================================================================== 31.78/31.84 c | 3964 | 3644 25936 433566 | 8645 3964 528 | 33.236 % | 31.99/32.03 c =============================================================================== 31.99/32.03 c New solution: 91192 31.99/32.03 o 91192 31.99/32.03 c Elapsed CPU time: 31.7472 s Remaining CPU time: 148.253 s 31.99/32.03 c =============================================================================== 31.99/32.03 c | 3968 | 3644 25937 435523 | 8645 3968 528 | 33.236 % | 32.08/32.19 c =============================================================================== 32.08/32.19 c New solution: 91191 32.08/32.19 o 91191 32.08/32.19 c Elapsed CPU time: 31.9021 s Remaining CPU time: 148.098 s 32.08/32.19 c =============================================================================== 32.08/32.19 c | 3970 | 3644 25938 437480 | 8646 3970 528 | 33.236 % | 32.39/32.40 c =============================================================================== 32.39/32.40 c New solution: 91187 32.39/32.40 o 91187 32.39/32.40 c Elapsed CPU time: 32.1191 s Remaining CPU time: 147.881 s 32.39/32.40 c =============================================================================== 32.39/32.40 c | 3975 | 3644 25939 439437 | 8646 3975 528 | 33.236 % | 32.39/32.49 c =============================================================================== 32.39/32.49 c New solution: 89729 32.39/32.49 o 89729 32.39/32.49 c Elapsed CPU time: 32.2051 s Remaining CPU time: 147.795 s 32.39/32.49 c =============================================================================== 32.39/32.49 c | 3977 | 3644 25940 441394 | 8646 3977 528 | 33.236 % | 32.79/32.87 c =============================================================================== 32.79/32.87 c New solution: 89728 32.79/32.87 o 89728 32.79/32.87 c Elapsed CPU time: 32.579 s Remaining CPU time: 147.421 s 32.79/32.87 c =============================================================================== 32.79/32.87 c | 3980 | 3644 25941 443351 | 8647 3980 528 | 33.236 % | 32.89/32.95 c =============================================================================== 32.89/32.95 c New solution: 89727 32.89/32.95 o 89727 32.89/32.95 c Elapsed CPU time: 32.661 s Remaining CPU time: 147.339 s 32.89/32.95 c =============================================================================== 32.89/32.95 c | 3980 | 3644 25942 445308 | 8647 3980 528 | 33.236 % | 33.28/33.35 c =============================================================================== 33.28/33.35 c New solution: 89726 33.28/33.35 o 89726 33.28/33.35 c Elapsed CPU time: 33.059 s Remaining CPU time: 146.941 s 33.28/33.35 c =============================================================================== 33.28/33.35 c | 3984 | 3644 25943 447265 | 8647 3984 527 | 33.236 % | 33.48/33.57 c =============================================================================== 33.48/33.57 c New solution: 89714 33.48/33.57 o 89714 33.48/33.57 c Elapsed CPU time: 33.2769 s Remaining CPU time: 146.723 s 33.48/33.57 c =============================================================================== 33.48/33.57 c | 3987 | 3644 25944 449222 | 8648 3987 527 | 33.236 % | 33.58/33.65 c =============================================================================== 33.58/33.65 c New solution: 89698 33.58/33.65 o 89698 33.58/33.65 c Elapsed CPU time: 33.3559 s Remaining CPU time: 146.644 s 33.58/33.65 c =============================================================================== 33.58/33.65 c | 3988 | 3644 25945 451179 | 8648 3988 527 | 33.236 % | 33.68/33.71 c =============================================================================== 33.68/33.71 c New solution: 89697 33.68/33.71 o 89697 33.68/33.71 c Elapsed CPU time: 33.4229 s Remaining CPU time: 146.577 s 33.68/33.71 c =============================================================================== 33.68/33.71 c | 3989 | 3644 25946 453136 | 8648 3989 527 | 33.236 % | 33.68/33.80 c =============================================================================== 33.68/33.80 c New solution: 88234 33.68/33.80 o 88234 33.68/33.80 c Elapsed CPU time: 33.5039 s Remaining CPU time: 146.496 s 33.68/33.80 c =============================================================================== 33.68/33.80 c | 3990 | 3644 25947 455093 | 8649 3990 527 | 33.236 % | 33.78/33.86 c =============================================================================== 33.78/33.86 c New solution: 88211 33.78/33.86 o 88211 33.78/33.86 c Elapsed CPU time: 33.5689 s Remaining CPU time: 146.431 s 33.78/33.86 c =============================================================================== 33.78/33.86 c | 3990 | 3644 25948 457050 | 8649 3990 527 | 33.236 % | 34.99/35.07 c | 4091 | 3644 25948 457050 | 9514 4091 530 | 33.236 % | 35.19/35.20 c =============================================================================== 35.19/35.20 c New solution: 88186 35.19/35.20 o 88186 35.19/35.20 c Elapsed CPU time: 34.9057 s Remaining CPU time: 145.094 s 35.19/35.20 c =============================================================================== 35.19/35.20 c | 4102 | 3644 25949 459007 | 8649 4102 531 | 33.236 % | 35.38/35.49 c =============================================================================== 35.38/35.49 c New solution: 88149 35.38/35.49 o 88149 35.38/35.49 c Elapsed CPU time: 35.1946 s Remaining CPU time: 144.805 s 35.38/35.49 c =============================================================================== 35.38/35.49 c | 4104 | 3644 25950 460964 | 8650 4104 530 | 33.236 % | 35.88/35.92 c | 4204 | 3644 25950 460964 | 9515 4204 530 | 33.236 % | 36.08/36.16 c =============================================================================== 36.08/36.16 c New solution: 88148 36.08/36.16 o 88148 36.08/36.16 c Elapsed CPU time: 35.8625 s Remaining CPU time: 144.137 s 36.08/36.16 c =============================================================================== 36.08/36.16 c | 4206 | 3644 25951 462921 | 8650 4206 530 | 33.236 % | 36.18/36.29 c =============================================================================== 36.18/36.29 c New solution: 86706 36.18/36.29 o 86706 36.18/36.29 c Elapsed CPU time: 35.9915 s Remaining CPU time: 144.008 s 36.18/36.29 c =============================================================================== 36.18/36.29 c | 4206 | 3644 25952 464878 | 8650 4206 530 | 33.236 % | 36.39/36.43 c =============================================================================== 36.39/36.43 c New solution: 86698 36.39/36.43 o 86698 36.39/36.43 c Elapsed CPU time: 36.1285 s Remaining CPU time: 143.871 s 36.39/36.43 c =============================================================================== 36.39/36.43 c | 4207 | 3644 25953 466835 | 8651 4207 530 | 33.236 % | 36.48/36.54 c =============================================================================== 36.48/36.54 c New solution: 86697 36.48/36.54 o 86697 36.48/36.54 c Elapsed CPU time: 36.2385 s Remaining CPU time: 143.762 s 36.48/36.54 c =============================================================================== 36.48/36.54 c | 4207 | 3644 25954 468792 | 8651 4207 530 | 33.236 % | 36.59/36.66 c =============================================================================== 36.59/36.66 c New solution: 86696 36.59/36.66 o 86696 36.59/36.66 c Elapsed CPU time: 36.3525 s Remaining CPU time: 143.648 s 36.59/36.66 c =============================================================================== 36.59/36.66 c | 4208 | 3644 25955 470749 | 8651 4208 530 | 33.236 % | 38.49/38.55 c | 4310 | 3644 25955 470749 | 9516 4310 529 | 33.236 % | 38.59/38.70 c =============================================================================== 38.59/38.70 c New solution: 86695 38.59/38.70 o 86695 38.59/38.70 c Elapsed CPU time: 38.3872 s Remaining CPU time: 141.613 s 38.59/38.70 c =============================================================================== 38.59/38.70 c | 4310 | 3644 25956 472706 | 8652 4310 529 | 33.236 % | 38.88/38.93 c =============================================================================== 38.88/38.93 c New solution: 86693 38.88/38.93 o 86693 38.88/38.93 c Elapsed CPU time: 38.6201 s Remaining CPU time: 141.38 s 38.88/38.93 c =============================================================================== 38.88/38.93 c | 4311 | 3644 25957 474663 | 8652 4311 529 | 33.236 % | 39.18/39.23 c =============================================================================== 39.18/39.23 c New solution: 86670 39.18/39.23 o 86670 39.18/39.23 c Elapsed CPU time: 38.9211 s Remaining CPU time: 141.079 s 39.18/39.23 c =============================================================================== 39.18/39.23 c | 4312 | 3644 25958 476620 | 8652 4312 529 | 33.236 % | 39.48/39.54 c =============================================================================== 39.48/39.54 c New solution: 86669 39.48/39.54 o 86669 39.48/39.54 c Elapsed CPU time: 39.229 s Remaining CPU time: 140.771 s 39.48/39.54 c =============================================================================== 39.48/39.54 c | 4316 | 3644 25959 478577 | 8653 4316 529 | 33.236 % | 39.88/39.93 c =============================================================================== 39.88/39.93 c New solution: 86668 39.88/39.93 o 86668 39.88/39.93 c Elapsed CPU time: 39.617 s Remaining CPU time: 140.383 s 39.88/39.93 c =============================================================================== 39.88/39.93 c | 4345 | 3644 25960 480534 | 8653 4345 530 | 33.236 % | 40.08/40.13 c =============================================================================== 40.08/40.13 c New solution: 86659 40.08/40.13 o 86659 40.08/40.13 c Elapsed CPU time: 39.8179 s Remaining CPU time: 140.182 s 40.08/40.13 c =============================================================================== 40.08/40.13 c | 4346 | 3644 25961 482491 | 8653 4346 530 | 33.236 % | 40.28/40.30 c =============================================================================== 40.28/40.30 c New solution: 86658 40.28/40.30 o 86658 40.28/40.30 c Elapsed CPU time: 39.9829 s Remaining CPU time: 140.017 s 40.28/40.30 c =============================================================================== 40.28/40.30 c | 4353 | 3644 25962 484448 | 8654 4353 530 | 33.236 % | 40.69/40.80 c =============================================================================== 40.69/40.80 c New solution: 86657 40.69/40.80 o 86657 40.69/40.80 c Elapsed CPU time: 40.4808 s Remaining CPU time: 139.519 s 40.69/40.80 c =============================================================================== 40.69/40.80 c | 4399 | 3644 25963 486405 | 8654 4399 530 | 33.236 % | 41.18/41.23 c =============================================================================== 41.18/41.23 c New solution: 86656 41.18/41.23 o 86656 41.18/41.23 c Elapsed CPU time: 40.9158 s Remaining CPU time: 139.084 s 41.18/41.23 c =============================================================================== 41.18/41.23 c | 4418 | 3644 25964 488362 | 8654 4418 531 | 33.236 % | 41.38/41.46 c =============================================================================== 41.38/41.46 c New solution: 86655 41.38/41.46 o 86655 41.38/41.46 c Elapsed CPU time: 41.1447 s Remaining CPU time: 138.855 s 41.38/41.46 c =============================================================================== 41.38/41.46 c | 4456 | 3644 25965 490319 | 8655 4456 530 | 33.236 % | 42.68/42.75 c | 4556 | 3644 25965 490319 | 9520 4556 532 | 33.236 % | 42.99/43.03 c =============================================================================== 42.99/43.03 c New solution: 86654 42.99/43.03 o 86654 42.99/43.03 c Elapsed CPU time: 42.7075 s Remaining CPU time: 137.292 s 42.99/43.03 c =============================================================================== 42.99/43.03 c | 4560 | 3644 25966 492276 | 8655 4560 532 | 33.236 % | 43.08/43.18 c =============================================================================== 43.08/43.18 c New solution: 86653 43.08/43.18 o 86653 43.08/43.18 c Elapsed CPU time: 42.8575 s Remaining CPU time: 137.143 s 43.08/43.18 c =============================================================================== 43.08/43.18 c | 4560 | 3644 25967 494233 | 8655 4560 532 | 33.236 % | 43.28/43.33 c =============================================================================== 43.28/43.33 c New solution: 86652 43.28/43.33 o 86652 43.28/43.33 c Elapsed CPU time: 43.0035 s Remaining CPU time: 136.997 s 43.28/43.33 c =============================================================================== 43.28/43.33 c | 4560 | 3644 25968 496190 | 8656 4560 532 | 33.236 % | 43.38/43.48 c =============================================================================== 43.38/43.48 c New solution: 86651 43.38/43.48 o 86651 43.38/43.48 c Elapsed CPU time: 43.1514 s Remaining CPU time: 136.849 s 43.38/43.48 c =============================================================================== 43.38/43.48 c | 4560 | 3644 25969 498147 | 8656 4560 532 | 33.236 % | 43.58/43.64 c =============================================================================== 43.58/43.64 c New solution: 86650 43.58/43.64 o 86650 43.58/43.64 c Elapsed CPU time: 43.3134 s Remaining CPU time: 136.687 s 43.58/43.64 c =============================================================================== 43.58/43.64 c | 4562 | 3644 25970 500104 | 8656 4562 531 | 33.236 % | 43.78/43.84 c =============================================================================== 43.78/43.84 c New solution: 86649 43.78/43.84 o 86649 43.78/43.84 c Elapsed CPU time: 43.5184 s Remaining CPU time: 136.482 s 43.78/43.84 c =============================================================================== 43.78/43.84 c | 4568 | 3644 25971 502061 | 8657 4568 532 | 33.236 % | 43.98/44.00 c =============================================================================== 43.98/44.00 c New solution: 86648 43.98/44.00 o 86648 43.98/44.00 c Elapsed CPU time: 43.6784 s Remaining CPU time: 136.322 s 43.98/44.00 c =============================================================================== 43.98/44.00 c | 4573 | 3644 25972 504018 | 8657 4573 532 | 33.236 % | 44.98/45.08 c =============================================================================== 44.98/45.08 c New solution: 86647 44.98/45.08 o 86647 44.98/45.08 c Elapsed CPU time: 44.7492 s Remaining CPU time: 135.251 s 44.98/45.08 c =============================================================================== 44.98/45.08 c | 4649 | 3644 25973 505975 | 8657 4649 533 | 33.236 % | 45.28/45.35 c =============================================================================== 45.28/45.35 c New solution: 86646 45.28/45.35 o 86646 45.28/45.35 c Elapsed CPU time: 45.0242 s Remaining CPU time: 134.976 s 45.28/45.35 c =============================================================================== 45.28/45.35 c | 4672 | 3644 25974 507932 | 8658 4672 533 | 33.236 % | 45.58/45.66 c =============================================================================== 45.58/45.66 c New solution: 86645 45.58/45.66 o 86645 45.58/45.66 c Elapsed CPU time: 45.3291 s Remaining CPU time: 134.671 s 45.58/45.66 c =============================================================================== 45.58/45.66 c | 4696 | 3644 25975 509889 | 8658 4696 533 | 33.236 % | 45.77/45.87 c =============================================================================== 45.77/45.87 c New solution: 86644 45.77/45.87 o 86644 45.77/45.87 c Elapsed CPU time: 45.5381 s Remaining CPU time: 134.462 s 45.77/45.87 c =============================================================================== 45.77/45.87 c | 4710 | 3644 25976 511846 | 8658 4710 533 | 33.236 % | 46.29/46.33 c =============================================================================== 46.29/46.33 c New solution: 86643 46.29/46.33 o 86643 46.29/46.33 c Elapsed CPU time: 46.004 s Remaining CPU time: 133.996 s 46.29/46.33 c =============================================================================== 46.29/46.33 c | 4737 | 3644 25977 513803 | 8659 4737 533 | 33.236 % | 46.78/46.81 c =============================================================================== 46.78/46.81 c New solution: 86642 46.78/46.81 o 86642 46.78/46.81 c Elapsed CPU time: 46.4859 s Remaining CPU time: 133.514 s 46.78/46.81 c =============================================================================== 46.78/46.81 c | 4746 | 3644 25978 515760 | 8659 4746 533 | 33.236 % | 47.08/47.12 c =============================================================================== 47.08/47.12 c New solution: 85216 47.08/47.12 o 85216 47.08/47.12 c Elapsed CPU time: 46.7939 s Remaining CPU time: 133.206 s 47.08/47.12 c =============================================================================== 47.08/47.12 c | 4750 | 3644 25979 517717 | 8659 4750 533 | 33.236 % | 47.29/47.31 c =============================================================================== 47.29/47.31 c New solution: 85139 47.29/47.31 o 85139 47.29/47.31 c Elapsed CPU time: 46.9819 s Remaining CPU time: 133.018 s 47.29/47.31 c =============================================================================== 47.29/47.31 c | 4752 | 3644 25980 519674 | 8660 4752 533 | 33.236 % | 47.48/47.51 c =============================================================================== 47.48/47.51 c New solution: 83687 47.48/47.51 o 83687 47.48/47.51 c Elapsed CPU time: 47.1728 s Remaining CPU time: 132.827 s 47.48/47.51 c =============================================================================== 47.48/47.51 c | 4754 | 3644 25981 521631 | 8660 4754 533 | 33.236 % | 47.58/47.68 c =============================================================================== 47.58/47.68 c New solution: 83645 47.58/47.68 o 83645 47.58/47.68 c Elapsed CPU time: 47.3518 s Remaining CPU time: 132.648 s 47.58/47.68 c =============================================================================== 47.58/47.68 c | 4755 | 3644 25982 523588 | 8660 4755 533 | 33.236 % | 47.78/47.85 c =============================================================================== 47.78/47.85 c New solution: 83644 47.78/47.85 o 83644 47.78/47.85 c Elapsed CPU time: 47.5218 s Remaining CPU time: 132.478 s 47.78/47.85 c =============================================================================== 47.78/47.85 c | 4757 | 3644 25983 525545 | 8661 4757 533 | 33.236 % | 47.88/47.98 c =============================================================================== 47.88/47.98 c New solution: 82186 47.88/47.98 o 82186 47.88/47.98 c Elapsed CPU time: 47.6478 s Remaining CPU time: 132.352 s 47.88/47.98 c =============================================================================== 47.88/47.98 c | 4758 | 3644 25984 527502 | 8661 4758 533 | 33.236 % | 48.28/48.30 c =============================================================================== 48.28/48.30 c New solution: 82182 48.28/48.30 o 82182 48.28/48.30 c Elapsed CPU time: 47.9647 s Remaining CPU time: 132.035 s 48.28/48.30 c =============================================================================== 48.28/48.30 c | 4763 | 3644 25985 529459 | 8661 4763 533 | 33.236 % | 48.48/48.54 c =============================================================================== 48.48/48.54 c New solution: 82150 48.48/48.54 o 82150 48.48/48.54 c Elapsed CPU time: 48.1997 s Remaining CPU time: 131.8 s 48.48/48.54 c =============================================================================== 48.48/48.54 c | 4765 | 3644 25986 531416 | 8662 4765 533 | 33.236 % | 48.57/48.68 c =============================================================================== 48.57/48.68 c New solution: 82149 48.57/48.68 o 82149 48.57/48.68 c Elapsed CPU time: 48.3456 s Remaining CPU time: 131.654 s 48.57/48.68 c =============================================================================== 48.57/48.68 c | 4767 | 3644 25987 533373 | 8662 4767 533 | 33.236 % | 48.87/48.99 c =============================================================================== 48.87/48.99 c New solution: 82139 48.87/48.99 o 82139 48.87/48.99 c Elapsed CPU time: 48.6496 s Remaining CPU time: 131.35 s 48.87/48.99 c =============================================================================== 48.87/48.99 c | 4768 | 3644 25988 535330 | 8662 4768 533 | 33.236 % | 49.08/49.19 c =============================================================================== 49.08/49.19 c New solution: 82138 49.08/49.19 o 82138 49.08/49.19 c Elapsed CPU time: 48.8516 s Remaining CPU time: 131.148 s 49.08/49.19 c =============================================================================== 49.08/49.19 c | 4781 | 3644 25989 537287 | 8663 4781 534 | 33.236 % | 49.49/49.53 c =============================================================================== 49.49/49.53 c New solution: 82137 49.49/49.53 o 82137 49.49/49.53 c Elapsed CPU time: 49.1915 s Remaining CPU time: 130.808 s 49.49/49.53 c =============================================================================== 49.49/49.53 c | 4788 | 3644 25990 539244 | 8663 4788 534 | 33.236 % | 50.28/50.30 c =============================================================================== 50.28/50.30 c New solution: 82136 50.28/50.30 o 82136 50.28/50.30 c Elapsed CPU time: 49.9624 s Remaining CPU time: 130.038 s 50.28/50.30 c =============================================================================== 50.28/50.30 c | 4816 | 3644 25991 541201 | 8663 4816 534 | 33.236 % | 51.28/51.34 c | 4916 | 3644 25991 541201 | 9530 4916 535 | 33.236 % | 51.38/51.47 c =============================================================================== 51.38/51.47 c New solution: 82135 51.38/51.47 o 82135 51.38/51.47 c Elapsed CPU time: 51.1252 s Remaining CPU time: 128.875 s 51.38/51.47 c =============================================================================== 51.38/51.47 c | 4921 | 3644 25992 543158 | 8664 4921 535 | 33.236 % | 51.68/51.78 c =============================================================================== 51.68/51.78 c New solution: 82120 51.68/51.78 o 82120 51.68/51.78 c Elapsed CPU time: 51.4322 s Remaining CPU time: 128.568 s 51.68/51.78 c =============================================================================== 51.68/51.78 c | 4927 | 3644 25993 545115 | 8664 4927 535 | 33.236 % | 51.87/51.96 c =============================================================================== 51.87/51.96 c New solution: 82119 51.87/51.96 o 82119 51.87/51.96 c Elapsed CPU time: 51.6142 s Remaining CPU time: 128.386 s 51.87/51.96 c =============================================================================== 51.87/51.96 c | 4928 | 3644 25994 547072 | 8664 4928 535 | 33.236 % | 52.08/52.14 c =============================================================================== 52.08/52.14 c New solution: 82118 52.08/52.14 o 82118 52.08/52.14 c Elapsed CPU time: 51.7901 s Remaining CPU time: 128.21 s 52.08/52.14 c =============================================================================== 52.08/52.14 c | 4929 | 3644 25995 549029 | 8665 4929 535 | 33.236 % | 52.28/52.38 c =============================================================================== 52.28/52.38 c New solution: 82117 52.28/52.38 o 82117 52.28/52.38 c Elapsed CPU time: 52.0311 s Remaining CPU time: 127.969 s 52.28/52.38 c =============================================================================== 52.28/52.38 c | 4949 | 3644 25996 550986 | 8665 4949 536 | 33.236 % | 52.68/52.79 c =============================================================================== 52.68/52.79 c New solution: 82116 52.68/52.79 o 82116 52.68/52.79 c Elapsed CPU time: 52.433 s Remaining CPU time: 127.567 s 52.68/52.79 c =============================================================================== 52.68/52.79 c | 4973 | 3644 25997 552943 | 8665 4973 536 | 33.236 % | 54.67/54.75 c | 5073 | 3644 25997 552943 | 9532 5073 537 | 33.236 % | 56.27/56.33 c | 5224 | 3644 25997 552943 | 10485 5224 539 | 33.236 % | 56.47/56.52 c =============================================================================== 56.47/56.52 c New solution: 82091 56.47/56.52 o 82091 56.47/56.52 c Elapsed CPU time: 56.1655 s Remaining CPU time: 123.835 s 56.47/56.52 c =============================================================================== 56.47/56.52 c | 5236 | 3644 25998 554900 | 8666 5236 539 | 33.236 % | 57.29/57.31 c =============================================================================== 57.29/57.31 c New solution: 80655 57.29/57.31 o 80655 57.29/57.31 c Elapsed CPU time: 56.9443 s Remaining CPU time: 123.056 s 57.29/57.31 c =============================================================================== 57.29/57.31 c | 5306 | 3644 25999 556857 | 8666 5306 540 | 33.236 % | 57.68/57.73 c =============================================================================== 57.68/57.73 c New solution: 80654 57.68/57.73 o 80654 57.68/57.73 c Elapsed CPU time: 57.3643 s Remaining CPU time: 122.636 s 57.68/57.73 c =============================================================================== 57.68/57.73 c | 5308 | 3644 26000 558814 | 8666 5308 540 | 33.236 % | 57.98/58.04 c =============================================================================== 57.98/58.04 c New solution: 80622 57.98/58.04 o 80622 57.98/58.04 c Elapsed CPU time: 57.6762 s Remaining CPU time: 122.324 s 57.98/58.04 c =============================================================================== 57.98/58.04 c | 5310 | 3644 26001 560771 | 8667 5310 540 | 33.236 % | 58.39/58.47 c =============================================================================== 58.39/58.47 c New solution: 80621 58.39/58.47 o 80621 58.39/58.47 c Elapsed CPU time: 58.1062 s Remaining CPU time: 121.894 s 58.39/58.47 c =============================================================================== 58.39/58.47 c | 5328 | 3644 26002 562728 | 8667 5328 540 | 33.236 % | 58.68/58.75 c =============================================================================== 58.68/58.75 c New solution: 80620 58.68/58.75 o 80620 58.68/58.75 c Elapsed CPU time: 58.3921 s Remaining CPU time: 121.608 s 58.68/58.75 c =============================================================================== 58.68/58.75 c | 5330 | 3644 26003 564685 | 8667 5330 540 | 33.236 % | 59.78/59.85 c | 5430 | 3644 26003 564685 | 9534 5430 542 | 33.236 % | 60.08/60.16 c =============================================================================== 60.08/60.16 c New solution: 80601 60.08/60.16 o 80601 60.08/60.16 c Elapsed CPU time: 59.7989 s Remaining CPU time: 120.201 s 60.08/60.16 c =============================================================================== 60.08/60.16 c | 5431 | 3644 26004 566642 | 8668 5431 542 | 33.236 % | 60.18/60.27 c =============================================================================== 60.18/60.27 c New solution: 80600 60.18/60.27 o 80600 60.18/60.27 c Elapsed CPU time: 59.9029 s Remaining CPU time: 120.097 s 60.18/60.27 c =============================================================================== 60.18/60.27 c | 5437 | 3644 26005 568599 | 8668 5437 542 | 33.236 % | 60.78/60.83 c =============================================================================== 60.78/60.83 c New solution: 80599 60.78/60.83 o 80599 60.78/60.83 c Elapsed CPU time: 60.4598 s Remaining CPU time: 119.54 s 60.78/60.83 c =============================================================================== 60.78/60.83 c | 5451 | 3644 26006 570556 | 8668 5451 542 | 33.236 % | 60.98/61.09 c =============================================================================== 60.98/61.09 c New solution: 80598 60.98/61.09 o 80598 60.98/61.09 c Elapsed CPU time: 60.7248 s Remaining CPU time: 119.275 s 60.98/61.09 c =============================================================================== 60.98/61.09 c | 5453 | 3644 26007 572513 | 8669 5453 542 | 33.236 % | 61.28/61.36 c =============================================================================== 61.28/61.36 c New solution: 79143 61.28/61.36 o 79143 61.28/61.36 c Elapsed CPU time: 60.9937 s Remaining CPU time: 119.006 s 61.28/61.36 c =============================================================================== 61.28/61.36 c | 5469 | 3644 26008 574470 | 8669 5469 542 | 33.236 % | 61.68/61.72 c =============================================================================== 61.68/61.72 c New solution: 79112 61.68/61.72 o 79112 61.68/61.72 c Elapsed CPU time: 61.3547 s Remaining CPU time: 118.645 s 61.68/61.72 c =============================================================================== 61.68/61.72 c | 5472 | 3644 26009 576427 | 8669 5472 542 | 33.236 % | 61.97/62.01 c =============================================================================== 61.97/62.01 c New solution: 79111 61.97/62.01 o 79111 61.97/62.01 c Elapsed CPU time: 61.6396 s Remaining CPU time: 118.36 s 61.97/62.01 c =============================================================================== 61.97/62.01 c | 5473 | 3644 26010 578384 | 8670 5473 542 | 33.236 % | 62.27/62.31 c =============================================================================== 62.27/62.31 c New solution: 79110 62.27/62.31 o 79110 62.27/62.31 c Elapsed CPU time: 61.9386 s Remaining CPU time: 118.061 s 62.27/62.31 c =============================================================================== 62.27/62.31 c | 5476 | 3644 26011 580341 | 8670 5476 542 | 33.236 % | 62.57/62.66 c =============================================================================== 62.57/62.66 c New solution: 79109 62.57/62.66 o 79109 62.57/62.66 c Elapsed CPU time: 62.2925 s Remaining CPU time: 117.707 s 62.57/62.66 c =============================================================================== 62.57/62.66 c | 5493 | 3644 26012 582298 | 8670 5493 542 | 33.236 % | 62.87/62.98 c =============================================================================== 62.87/62.98 c New solution: 79108 62.87/62.98 o 79108 62.87/62.98 c Elapsed CPU time: 62.6085 s Remaining CPU time: 117.392 s 62.87/62.98 c =============================================================================== 62.87/62.98 c | 5501 | 3644 26013 584255 | 8671 5501 542 | 33.236 % | 64.77/64.86 c | 5601 | 3644 26013 584255 | 9538 5601 542 | 33.236 % | 65.07/65.11 c =============================================================================== 65.07/65.11 c New solution: 79090 65.07/65.11 o 79090 65.07/65.11 c Elapsed CPU time: 64.7302 s Remaining CPU time: 115.27 s 65.07/65.11 c =============================================================================== 65.07/65.11 c | 5602 | 3644 26014 586212 | 8671 5602 542 | 33.236 % | 65.37/65.49 c =============================================================================== 65.37/65.49 c New solution: 79089 65.37/65.49 o 79089 65.37/65.49 c Elapsed CPU time: 65.1111 s Remaining CPU time: 114.889 s 65.37/65.49 c =============================================================================== 65.37/65.49 c | 5610 | 3644 26015 588169 | 8671 5610 542 | 33.236 % | 65.77/65.80 c =============================================================================== 65.77/65.80 c New solution: 79088 65.77/65.80 o 79088 65.77/65.80 c Elapsed CPU time: 65.4261 s Remaining CPU time: 114.574 s 65.77/65.80 c =============================================================================== 65.77/65.80 c | 5611 | 3644 26016 590126 | 8672 5611 542 | 33.236 % | 66.08/66.12 c =============================================================================== 66.08/66.12 c New solution: 79087 66.08/66.12 o 79087 66.08/66.12 c Elapsed CPU time: 65.736 s Remaining CPU time: 114.264 s 66.08/66.12 c =============================================================================== 66.08/66.12 c | 5613 | 3644 26017 592083 | 8672 5613 542 | 33.236 % | 66.27/66.35 c =============================================================================== 66.27/66.35 c New solution: 79086 66.27/66.35 o 79086 66.27/66.35 c Elapsed CPU time: 65.974 s Remaining CPU time: 114.026 s 66.27/66.35 c =============================================================================== 66.27/66.35 c | 5620 | 3644 26018 594040 | 8672 5620 542 | 33.236 % | 66.57/66.64 c =============================================================================== 66.57/66.64 c New solution: 79085 66.57/66.64 o 79085 66.57/66.64 c Elapsed CPU time: 66.2599 s Remaining CPU time: 113.74 s 66.57/66.64 c =============================================================================== 66.57/66.64 c | 5638 | 3644 26019 595997 | 8673 5638 542 | 33.236 % | 68.18/68.28 c | 5739 | 3644 26019 595997 | 9540 5739 541 | 33.236 % | 70.37/70.41 c | 5890 | 3644 26019 595997 | 10494 5890 543 | 33.236 % | 73.17/73.28 c | 6116 | 3644 26019 595997 | 11543 6116 545 | 33.236 % | 75.07/75.11 c =============================================================================== 75.07/75.11 c New solution: 79084 75.07/75.11 o 79084 75.07/75.11 c Elapsed CPU time: 74.7216 s Remaining CPU time: 105.278 s 75.07/75.11 c =============================================================================== 75.07/75.11 c | 6199 | 3644 26020 597954 | 8673 6199 546 | 33.236 % | 75.27/75.37 c =============================================================================== 75.27/75.37 c New solution: 79083 75.27/75.37 o 79083 75.27/75.37 c Elapsed CPU time: 74.9766 s Remaining CPU time: 105.023 s 75.27/75.37 c =============================================================================== 75.27/75.37 c | 6209 | 3644 26021 599911 | 8673 6209 546 | 33.236 % | 75.67/75.70 c =============================================================================== 75.67/75.70 c New solution: 79082 75.67/75.70 o 79082 75.67/75.70 c Elapsed CPU time: 75.3066 s Remaining CPU time: 104.693 s 75.67/75.70 c =============================================================================== 75.67/75.70 c | 6254 | 3644 26022 601868 | 8674 6254 546 | 33.236 % | 76.98/77.09 c | 6355 | 3644 26022 601868 | 9541 6355 546 | 33.236 % | 77.17/77.24 c =============================================================================== 77.17/77.24 c New solution: 79081 77.17/77.24 o 79081 77.17/77.24 c Elapsed CPU time: 76.8483 s Remaining CPU time: 103.152 s 77.17/77.24 c =============================================================================== 77.17/77.24 c | 6358 | 3644 26023 603825 | 8674 6358 546 | 33.236 % | 77.47/77.57 c =============================================================================== 77.47/77.57 c New solution: 79080 77.47/77.57 o 79080 77.47/77.57 c Elapsed CPU time: 77.1783 s Remaining CPU time: 102.822 s 77.47/77.57 c =============================================================================== 77.47/77.57 c | 6361 | 3644 26024 605782 | 8674 6361 546 | 33.236 % | 77.77/77.82 c =============================================================================== 77.77/77.82 c New solution: 79079 77.77/77.82 o 79079 77.77/77.82 c Elapsed CPU time: 77.4282 s Remaining CPU time: 102.572 s 77.77/77.82 c =============================================================================== 77.77/77.82 c | 6364 | 3644 26025 607739 | 8675 6364 546 | 33.236 % | 78.07/78.14 c =============================================================================== 78.07/78.14 c New solution: 79078 78.07/78.14 o 79078 78.07/78.14 c Elapsed CPU time: 77.7412 s Remaining CPU time: 102.259 s 78.07/78.14 c =============================================================================== 78.07/78.14 c | 6374 | 3644 26026 609696 | 8675 6374 546 | 33.236 % | 78.37/78.43 c =============================================================================== 78.37/78.43 c New solution: 79077 78.37/78.43 o 79077 78.37/78.43 c Elapsed CPU time: 78.0311 s Remaining CPU time: 101.969 s 78.37/78.43 c =============================================================================== 78.37/78.43 c | 6375 | 3644 26027 611653 | 8675 6375 546 | 33.236 % | 78.77/78.81 c =============================================================================== 78.77/78.81 c New solution: 79076 78.77/78.81 o 79076 78.77/78.81 c Elapsed CPU time: 78.4131 s Remaining CPU time: 101.587 s 78.77/78.81 c =============================================================================== 78.77/78.81 c | 6378 | 3644 26028 613610 | 8676 6378 546 | 33.236 % | 78.97/79.03 c =============================================================================== 78.97/79.03 c New solution: 79075 78.97/79.03 o 79075 78.97/79.03 c Elapsed CPU time: 78.629 s Remaining CPU time: 101.371 s 78.97/79.03 c =============================================================================== 78.97/79.03 c | 6381 | 3644 26029 615567 | 8676 6381 546 | 33.236 % | 79.17/79.30 c =============================================================================== 79.17/79.30 c New solution: 79074 79.17/79.30 o 79074 79.17/79.30 c Elapsed CPU time: 78.904 s Remaining CPU time: 101.096 s 79.17/79.30 c =============================================================================== 79.17/79.30 c | 6383 | 3644 26030 617524 | 8676 6383 546 | 33.236 % | 79.47/79.56 c =============================================================================== 79.47/79.56 c New solution: 77665 79.47/79.56 o 77665 79.47/79.56 c Elapsed CPU time: 79.166 s Remaining CPU time: 100.834 s 79.47/79.56 c =============================================================================== 79.47/79.57 c | 6385 | 3644 26031 619481 | 8677 6385 546 | 33.236 % | 79.77/79.84 c =============================================================================== 79.77/79.84 c New solution: 77610 79.77/79.84 o 77610 79.77/79.84 c Elapsed CPU time: 79.4429 s Remaining CPU time: 100.557 s 79.77/79.84 c =============================================================================== 79.77/79.84 c | 6396 | 3644 26032 621438 | 8677 6396 546 | 33.236 % | 80.07/80.16 c =============================================================================== 80.07/80.16 c New solution: 77609 80.07/80.16 o 77609 80.07/80.16 c Elapsed CPU time: 79.7579 s Remaining CPU time: 100.242 s 80.07/80.16 c =============================================================================== 80.07/80.16 c | 6396 | 3644 26033 623395 | 8677 6396 546 | 33.236 % | 80.38/80.43 c =============================================================================== 80.38/80.43 c New solution: 77608 80.38/80.43 o 77608 80.38/80.43 c Elapsed CPU time: 80.0218 s Remaining CPU time: 99.9782 s 80.38/80.43 c =============================================================================== 80.38/80.43 c | 6399 | 3644 26034 625352 | 8678 6399 546 | 33.236 % | 80.67/80.76 c =============================================================================== 80.67/80.76 c New solution: 77607 80.67/80.76 o 77607 80.67/80.76 c Elapsed CPU time: 80.3518 s Remaining CPU time: 99.6482 s 80.67/80.76 c =============================================================================== 80.67/80.76 c | 6404 | 3644 26035 627309 | 8678 6404 546 | 33.236 % | 81.07/81.11 c =============================================================================== 81.07/81.11 c New solution: 77606 81.07/81.11 o 77606 81.07/81.11 c Elapsed CPU time: 80.7067 s Remaining CPU time: 99.2933 s 81.07/81.11 c =============================================================================== 81.07/81.11 c | 6406 | 3644 26036 629266 | 8678 6406 546 | 33.236 % | 81.38/81.41 c =============================================================================== 81.38/81.41 c New solution: 77605 81.38/81.41 o 77605 81.38/81.41 c Elapsed CPU time: 81.0027 s Remaining CPU time: 98.9973 s 81.38/81.41 c =============================================================================== 81.38/81.41 c | 6409 | 3644 26037 631223 | 8679 6409 546 | 33.236 % | 81.57/81.64 c =============================================================================== 81.57/81.64 c New solution: 77604 81.57/81.64 o 77604 81.57/81.64 c Elapsed CPU time: 81.2366 s Remaining CPU time: 98.7634 s 81.57/81.64 c =============================================================================== 81.57/81.64 c | 6410 | 3644 26038 633180 | 8679 6410 546 | 33.236 % | 81.97/82.00 c =============================================================================== 81.97/82.00 c New solution: 77595 81.97/82.00 o 77595 81.97/82.00 c Elapsed CPU time: 81.5966 s Remaining CPU time: 98.4034 s 81.97/82.00 c =============================================================================== 81.97/82.00 c | 6426 | 3644 26039 635137 | 8679 6426 546 | 33.236 % | 82.17/82.21 c =============================================================================== 82.17/82.21 c New solution: 77594 82.17/82.21 o 77594 82.17/82.21 c Elapsed CPU time: 81.8006 s Remaining CPU time: 98.1994 s 82.17/82.21 c =============================================================================== 82.17/82.21 c | 6427 | 3644 26040 637094 | 8680 6427 546 | 33.236 % | 82.37/82.46 c =============================================================================== 82.37/82.46 c New solution: 77593 82.37/82.46 o 77593 82.37/82.46 c Elapsed CPU time: 82.0565 s Remaining CPU time: 97.9435 s 82.37/82.46 c =============================================================================== 82.37/82.46 c | 6431 | 3644 26041 639051 | 8680 6431 546 | 33.236 % | 84.07/84.12 c | 6532 | 3644 26041 639051 | 9548 6532 547 | 33.236 % | 84.37/84.46 c =============================================================================== 84.37/84.46 c New solution: 77592 84.37/84.46 o 77592 84.37/84.46 c Elapsed CPU time: 84.0492 s Remaining CPU time: 95.9508 s 84.37/84.46 c =============================================================================== 84.37/84.46 c | 6532 | 3644 26042 641008 | 8680 6532 547 | 33.236 % | 84.68/84.74 c =============================================================================== 84.68/84.74 c New solution: 77587 84.68/84.74 o 77587 84.68/84.74 c Elapsed CPU time: 84.3292 s Remaining CPU time: 95.6708 s 84.68/84.74 c =============================================================================== 84.68/84.74 c | 6544 | 3644 26043 642965 | 8681 6544 547 | 33.236 % | 84.97/85.03 c =============================================================================== 84.97/85.03 c New solution: 77577 84.97/85.03 o 77577 84.97/85.03 c Elapsed CPU time: 84.6151 s Remaining CPU time: 95.3849 s 84.97/85.03 c =============================================================================== 84.97/85.03 c | 6551 | 3644 26044 644922 | 8681 6551 547 | 33.236 % | 85.37/85.43 c =============================================================================== 85.37/85.43 c New solution: 77576 85.37/85.43 o 77576 85.37/85.43 c Elapsed CPU time: 85.0211 s Remaining CPU time: 94.9789 s 85.37/85.43 c =============================================================================== 85.37/85.43 c | 6576 | 3644 26045 646879 | 8681 6576 547 | 33.236 % | 85.67/85.74 c =============================================================================== 85.67/85.74 c New solution: 77575 85.67/85.74 o 77575 85.67/85.74 c Elapsed CPU time: 85.328 s Remaining CPU time: 94.672 s 85.67/85.74 c =============================================================================== 85.67/85.74 c | 6576 | 3644 26046 648836 | 8682 6576 547 | 33.236 % | 85.97/86.03 c =============================================================================== 85.97/86.03 c New solution: 77574 85.97/86.03 o 77574 85.97/86.03 c Elapsed CPU time: 85.615 s Remaining CPU time: 94.385 s 85.97/86.03 c =============================================================================== 85.97/86.03 c | 6582 | 3644 26047 650793 | 8682 6582 547 | 33.236 % | 86.27/86.30 c =============================================================================== 86.27/86.30 c New solution: 77573 86.27/86.30 o 77573 86.27/86.30 c Elapsed CPU time: 85.8859 s Remaining CPU time: 94.1141 s 86.27/86.30 c =============================================================================== 86.27/86.30 c | 6584 | 3644 26048 652750 | 8682 6584 547 | 33.236 % | 87.47/87.52 c | 6685 | 3644 26048 652750 | 9550 6685 547 | 33.236 % | 87.67/87.72 c =============================================================================== 87.67/87.72 c New solution: 77572 87.67/87.72 o 77572 87.67/87.72 c Elapsed CPU time: 87.3077 s Remaining CPU time: 92.6923 s 87.67/87.72 c =============================================================================== 87.67/87.72 c | 6691 | 3644 26049 654707 | 8683 6691 547 | 33.236 % | 87.97/88.01 c =============================================================================== 87.97/88.01 c New solution: 77571 87.97/88.01 o 77571 87.97/88.01 c Elapsed CPU time: 87.5947 s Remaining CPU time: 92.4053 s 87.97/88.01 c =============================================================================== 87.97/88.01 c | 6705 | 3644 26050 656664 | 8683 6705 547 | 33.236 % | 88.46/88.55 c =============================================================================== 88.46/88.55 c New solution: 76148 88.46/88.55 o 76148 88.46/88.55 c Elapsed CPU time: 88.1276 s Remaining CPU time: 91.8724 s 88.46/88.55 c =============================================================================== 88.46/88.55 c | 6720 | 3644 26051 658621 | 8683 6720 547 | 33.236 % | 88.87/88.95 c =============================================================================== 88.87/88.95 c New solution: 76095 88.87/88.95 o 76095 88.87/88.95 c Elapsed CPU time: 88.5245 s Remaining CPU time: 91.4755 s 88.87/88.95 c =============================================================================== 88.87/88.95 c | 6722 | 3644 26052 660578 | 8684 6722 547 | 33.236 % | 89.27/89.31 c =============================================================================== 89.27/89.31 c New solution: 76094 89.27/89.31 o 76094 89.27/89.31 c Elapsed CPU time: 88.8925 s Remaining CPU time: 91.1075 s 89.27/89.31 c =============================================================================== 89.27/89.31 c | 6732 | 3644 26053 662535 | 8684 6732 547 | 33.236 % | 89.57/89.66 c =============================================================================== 89.57/89.66 c New solution: 76093 89.57/89.66 o 76093 89.57/89.66 c Elapsed CPU time: 89.2344 s Remaining CPU time: 90.7656 s 89.57/89.66 c =============================================================================== 89.57/89.66 c | 6735 | 3644 26054 664492 | 8684 6735 547 | 33.236 % | 89.97/90.08 c =============================================================================== 89.97/90.08 c New solution: 76092 89.97/90.08 o 76092 89.97/90.08 c Elapsed CPU time: 89.6584 s Remaining CPU time: 90.3416 s 89.97/90.08 c =============================================================================== 89.97/90.08 c | 6741 | 3644 26055 666449 | 8685 6741 547 | 33.236 % | 90.27/90.38 c =============================================================================== 90.27/90.38 c New solution: 76091 90.27/90.38 o 76091 90.27/90.38 c Elapsed CPU time: 89.9503 s Remaining CPU time: 90.0497 s 90.27/90.38 c =============================================================================== 90.27/90.38 c | 6744 | 3644 26056 668406 | 8685 6744 547 | 33.236 % | 90.57/90.61 c =============================================================================== 90.57/90.61 c New solution: 76090 90.57/90.61 o 76090 90.57/90.61 c Elapsed CPU time: 90.1853 s Remaining CPU time: 89.8147 s 90.57/90.61 c =============================================================================== 90.57/90.61 c | 6745 | 3644 26057 670363 | 8685 6745 547 | 33.236 % | 90.86/90.97 c =============================================================================== 90.86/90.97 c New solution: 76089 90.86/90.97 o 76089 90.86/90.97 c Elapsed CPU time: 90.5432 s Remaining CPU time: 89.4568 s 90.86/90.97 c =============================================================================== 90.86/90.97 c | 6747 | 3644 26058 672320 | 8686 6747 547 | 33.236 % | 91.16/91.21 c =============================================================================== 91.16/91.21 c New solution: 76088 91.16/91.21 o 76088 91.16/91.21 c Elapsed CPU time: 90.7842 s Remaining CPU time: 89.2158 s 91.16/91.21 c =============================================================================== 91.16/91.21 c | 6747 | 3644 26059 674277 | 8686 6747 547 | 33.236 % | 91.66/91.75 c =============================================================================== 91.66/91.75 c New solution: 76087 91.66/91.75 o 76087 91.66/91.75 c Elapsed CPU time: 91.3231 s Remaining CPU time: 88.6769 s 91.66/91.75 c =============================================================================== 91.66/91.75 c | 6774 | 3644 26060 676234 | 8686 6774 547 | 33.236 % | 93.06/93.10 c | 6874 | 3644 26060 676234 | 9555 6874 548 | 33.236 % | 93.47/93.56 c =============================================================================== 93.47/93.56 c New solution: 76086 93.47/93.56 o 76086 93.47/93.56 c Elapsed CPU time: 93.1238 s Remaining CPU time: 86.8762 s 93.47/93.56 c =============================================================================== 93.47/93.56 c | 6876 | 3644 26061 678191 | 8687 6876 548 | 33.236 % | 93.77/93.88 c =============================================================================== 93.77/93.88 c New solution: 76085 93.77/93.88 o 76085 93.77/93.88 c Elapsed CPU time: 93.4438 s Remaining CPU time: 86.5562 s 93.77/93.88 c =============================================================================== 93.77/93.88 c | 6882 | 3644 26062 680148 | 8687 6882 548 | 33.236 % | 94.27/94.36 c =============================================================================== 94.27/94.36 c New solution: 76084 94.27/94.36 o 76084 94.27/94.36 c Elapsed CPU time: 93.9217 s Remaining CPU time: 86.0783 s 94.27/94.36 c =============================================================================== 94.27/94.36 c | 6884 | 3644 26063 682105 | 8687 6884 548 | 33.236 % | 94.67/94.75 c =============================================================================== 94.67/94.75 c New solution: 76083 94.67/94.75 o 76083 94.67/94.75 c Elapsed CPU time: 94.3197 s Remaining CPU time: 85.6803 s 94.67/94.75 c =============================================================================== 94.67/94.75 c | 6886 | 3644 26064 684062 | 8688 6886 548 | 33.236 % | 95.07/95.18 c =============================================================================== 95.07/95.18 c New solution: 76075 95.07/95.18 o 76075 95.07/95.18 c Elapsed CPU time: 94.7466 s Remaining CPU time: 85.2534 s 95.07/95.18 c =============================================================================== 95.07/95.18 c | 6886 | 3644 26065 686019 | 8688 6886 548 | 33.236 % | 95.56/95.61 c =============================================================================== 95.56/95.61 c New solution: 76072 95.56/95.61 o 76072 95.56/95.61 c Elapsed CPU time: 95.1685 s Remaining CPU time: 84.8315 s 95.56/95.61 c =============================================================================== 95.56/95.61 c | 6886 | 3644 26066 687976 | 8688 6886 548 | 33.236 % | 96.06/96.13 c =============================================================================== 96.06/96.13 c New solution: 76071 96.06/96.13 o 76071 96.06/96.13 c Elapsed CPU time: 95.6915 s Remaining CPU time: 84.3085 s 96.06/96.13 c =============================================================================== 96.06/96.13 c | 6890 | 3644 26067 689933 | 8689 6890 548 | 33.236 % | 96.26/96.38 c =============================================================================== 96.26/96.38 c New solution: 76070 96.26/96.38 o 76070 96.26/96.38 c Elapsed CPU time: 95.9374 s Remaining CPU time: 84.0626 s 96.26/96.38 c =============================================================================== 96.26/96.38 c | 6890 | 3644 26068 691890 | 8689 6890 548 | 33.236 % | 96.56/96.63 c =============================================================================== 96.56/96.63 c New solution: 76069 96.56/96.63 o 76069 96.56/96.63 c Elapsed CPU time: 96.1864 s Remaining CPU time: 83.8136 s 96.56/96.63 c =============================================================================== 96.56/96.63 c | 6890 | 3644 26069 693847 | 8689 6890 548 | 33.236 % | 96.77/96.87 c =============================================================================== 96.77/96.87 c New solution: 76068 96.77/96.87 o 76068 96.77/96.87 c Elapsed CPU time: 96.4293 s Remaining CPU time: 83.5707 s 96.77/96.87 c =============================================================================== 96.77/96.87 c | 6890 | 3644 26070 695804 | 8690 6890 548 | 33.236 % | 97.06/97.12 c =============================================================================== 97.06/97.12 c New solution: 76067 97.06/97.12 o 76067 97.06/97.12 c Elapsed CPU time: 96.6753 s Remaining CPU time: 83.3247 s 97.06/97.12 c =============================================================================== 97.06/97.12 c | 6890 | 3644 26071 697761 | 8690 6890 548 | 33.236 % | 97.26/97.37 c =============================================================================== 97.26/97.37 c New solution: 76066 97.26/97.37 o 76066 97.26/97.37 c Elapsed CPU time: 96.9283 s Remaining CPU time: 83.0717 s 97.26/97.37 c =============================================================================== 97.26/97.37 c | 6891 | 3644 26072 699718 | 8690 6891 548 | 33.236 % | 97.47/97.58 c =============================================================================== 97.47/97.58 c New solution: 76065 97.47/97.58 o 76065 97.47/97.58 c Elapsed CPU time: 97.1382 s Remaining CPU time: 82.8618 s 97.47/97.58 c =============================================================================== 97.47/97.58 c | 6897 | 3644 26073 701675 | 8691 6897 548 | 33.236 % | 97.77/97.88 c =============================================================================== 97.77/97.88 c New solution: 76064 97.77/97.88 o 76064 97.77/97.88 c Elapsed CPU time: 97.4302 s Remaining CPU time: 82.5698 s 97.77/97.88 c =============================================================================== 97.77/97.88 c | 6912 | 3644 26074 703632 | 8691 6912 548 | 33.236 % | 98.17/98.21 c =============================================================================== 98.17/98.21 c New solution: 76063 98.17/98.21 o 76063 98.17/98.21 c Elapsed CPU time: 97.7621 s Remaining CPU time: 82.2379 s 98.17/98.21 c =============================================================================== 98.17/98.21 c | 6921 | 3644 26075 705589 | 8691 6921 548 | 33.236 % | 98.37/98.42 c =============================================================================== 98.37/98.42 c New solution: 76062 98.37/98.42 o 76062 98.37/98.42 c Elapsed CPU time: 97.9761 s Remaining CPU time: 82.0239 s 98.37/98.42 c =============================================================================== 98.37/98.42 c | 6926 | 3644 26076 707546 | 8692 6926 548 | 33.236 % | 99.56/99.69 c | 7028 | 3644 26076 707546 | 9561 7028 549 | 33.236 % | 99.86/99.93 c =============================================================================== 99.86/99.93 c New solution: 76061 99.86/99.93 o 76061 99.86/99.93 c Elapsed CPU time: 99.4759 s Remaining CPU time: 80.5241 s 99.86/99.93 c =============================================================================== 99.86/99.93 c | 7045 | 3644 26077 709503 | 8692 7045 549 | 33.236 % | 100.07/100.19 c =============================================================================== 100.07/100.19 c New solution: 76060 100.07/100.19 o 76060 100.07/100.19 c Elapsed CPU time: 99.7398 s Remaining CPU time: 80.2602 s 100.07/100.19 c =============================================================================== 100.07/100.19 c | 7054 | 3644 26078 711460 | 8692 7054 549 | 33.236 % | 100.26/100.39 c =============================================================================== 100.26/100.39 c New solution: 76059 100.26/100.39 o 76059 100.26/100.39 c Elapsed CPU time: 99.9418 s Remaining CPU time: 80.0582 s 100.26/100.39 c =============================================================================== 100.26/100.39 c | 7055 | 3644 26079 713417 | 8693 7055 549 | 33.236 % | 100.96/101.00 c =============================================================================== 100.96/101.00 c New solution: 76058 100.96/101.00 o 76058 100.96/101.00 c Elapsed CPU time: 100.547 s Remaining CPU time: 79.4533 s 100.96/101.00 c =============================================================================== 100.96/101.00 c | 7124 | 3644 26080 715374 | 8693 7124 548 | 33.236 % | 101.27/101.38 c | 7224 | 3644 26080 715374 | 9562 7224 547 | 33.236 % | 101.67/101.75 c =============================================================================== 101.67/101.75 c New solution: 74652 101.67/101.75 o 74652 101.67/101.75 c Elapsed CPU time: 101.296 s Remaining CPU time: 78.7044 s 101.67/101.75 c =============================================================================== 101.67/101.75 c | 7225 | 3644 26081 717331 | 8693 7225 547 | 33.236 % | 102.06/102.10 c =============================================================================== 102.06/102.10 c New solution: 74626 102.06/102.10 o 74626 102.06/102.10 c Elapsed CPU time: 101.644 s Remaining CPU time: 78.3565 s 102.06/102.10 c =============================================================================== 102.06/102.10 c | 7225 | 3644 26082 719288 | 8694 7225 547 | 33.236 % | 102.27/102.39 c =============================================================================== 102.27/102.39 c New solution: 74625 102.27/102.39 o 74625 102.27/102.39 c Elapsed CPU time: 101.929 s Remaining CPU time: 78.0715 s 102.27/102.39 c =============================================================================== 102.27/102.39 c | 7225 | 3644 26083 721245 | 8694 7225 547 | 33.236 % | 102.56/102.69 c =============================================================================== 102.56/102.69 c New solution: 74624 102.56/102.69 o 74624 102.56/102.69 c Elapsed CPU time: 102.233 s Remaining CPU time: 77.7665 s 102.56/102.69 c =============================================================================== 102.56/102.69 c | 7226 | 3644 26084 723202 | 8694 7226 547 | 33.236 % | 103.06/103.13 c =============================================================================== 103.06/103.13 c New solution: 74586 103.06/103.13 o 74586 103.06/103.13 c Elapsed CPU time: 102.664 s Remaining CPU time: 77.3356 s 103.06/103.13 c =============================================================================== 103.06/103.13 c | 7227 | 3644 26085 725159 | 8695 7227 547 | 33.236 % | 103.16/103.25 c =============================================================================== 103.16/103.25 c New solution: 74585 103.16/103.25 o 74585 103.16/103.25 c Elapsed CPU time: 102.79 s Remaining CPU time: 77.2096 s 103.16/103.25 c =============================================================================== 103.16/103.25 c | 7231 | 3644 26086 727116 | 8695 7231 547 | 33.236 % | 103.47/103.58 c =============================================================================== 103.47/103.58 c New solution: 74584 103.47/103.58 o 74584 103.47/103.58 c Elapsed CPU time: 103.12 s Remaining CPU time: 76.8797 s 103.47/103.58 c =============================================================================== 103.47/103.58 c | 7234 | 3644 26087 729073 | 8695 7234 547 | 33.236 % | 103.66/103.79 c =============================================================================== 103.66/103.79 c New solution: 74583 103.66/103.79 o 74583 103.66/103.79 c Elapsed CPU time: 103.324 s Remaining CPU time: 76.6757 s 103.66/103.79 c =============================================================================== 103.66/103.79 c | 7235 | 3644 26088 731030 | 8696 7235 547 | 33.236 % | 104.77/104.88 c =============================================================================== 104.77/104.88 c New solution: 74582 104.77/104.88 o 74582 104.77/104.88 c Elapsed CPU time: 104.413 s Remaining CPU time: 75.5869 s 104.77/104.88 c =============================================================================== 104.77/104.88 c | 7277 | 3644 26089 732987 | 8696 7277 548 | 33.236 % | 105.27/105.32 c =============================================================================== 105.27/105.32 c New solution: 74573 105.27/105.32 o 74573 105.27/105.32 c Elapsed CPU time: 104.849 s Remaining CPU time: 75.1509 s 105.27/105.32 c =============================================================================== 105.27/105.32 c | 7277 | 3644 26090 734944 | 8696 7277 548 | 33.236 % | 105.57/105.64 c =============================================================================== 105.57/105.64 c New solution: 74570 105.57/105.64 o 74570 105.57/105.64 c Elapsed CPU time: 105.176 s Remaining CPU time: 74.824 s 105.57/105.64 c =============================================================================== 105.57/105.64 c | 7280 | 3644 26091 736901 | 8697 7280 548 | 33.236 % | 105.96/106.07 c =============================================================================== 105.96/106.07 c New solution: 74569 105.96/106.07 o 74569 105.96/106.07 c Elapsed CPU time: 105.599 s Remaining CPU time: 74.4011 s 105.96/106.07 c =============================================================================== 105.96/106.07 c | 7281 | 3644 26092 738858 | 8697 7281 548 | 33.236 % | 106.26/106.38 c =============================================================================== 106.26/106.38 c New solution: 74568 106.26/106.38 o 74568 106.26/106.38 c Elapsed CPU time: 105.909 s Remaining CPU time: 74.0911 s 106.26/106.38 c =============================================================================== 106.26/106.38 c | 7281 | 3644 26093 740815 | 8697 7281 548 | 33.236 % | 106.56/106.65 c =============================================================================== 106.56/106.65 c New solution: 74567 106.56/106.65 o 74567 106.56/106.65 c Elapsed CPU time: 106.183 s Remaining CPU time: 73.8171 s 106.56/106.65 c =============================================================================== 106.56/106.65 c | 7281 | 3644 26094 742772 | 8698 7281 548 | 33.236 % | 106.86/106.91 c =============================================================================== 106.86/106.91 c New solution: 74566 106.86/106.91 o 74566 106.86/106.91 c Elapsed CPU time: 106.44 s Remaining CPU time: 73.5602 s 106.86/106.91 c =============================================================================== 106.86/106.91 c | 7282 | 3644 26095 744729 | 8698 7282 548 | 33.236 % | 107.06/107.18 c =============================================================================== 107.06/107.18 c New solution: 74565 107.06/107.18 o 74565 107.06/107.18 c Elapsed CPU time: 106.709 s Remaining CPU time: 73.2912 s 107.06/107.18 c =============================================================================== 107.06/107.18 c | 7284 | 3644 26096 746686 | 8698 7284 548 | 33.236 % | 107.87/107.95 c =============================================================================== 107.87/107.95 c New solution: 74564 107.87/107.95 o 74564 107.87/107.95 c Elapsed CPU time: 107.482 s Remaining CPU time: 72.5183 s 107.87/107.95 c =============================================================================== 107.87/107.95 c | 7333 | 3644 26097 748643 | 8699 7333 547 | 33.236 % | 108.87/108.97 c =============================================================================== 108.87/108.97 c New solution: 74563 108.87/108.97 o 74563 108.87/108.97 c Elapsed CPU time: 108.498 s Remaining CPU time: 71.5025 s 108.87/108.97 c =============================================================================== 108.87/108.97 c | 7361 | 3644 26098 750600 | 8699 7361 547 | 33.236 % | 109.26/109.31 c =============================================================================== 109.26/109.31 c New solution: 74562 109.26/109.31 o 74562 109.26/109.31 c Elapsed CPU time: 108.832 s Remaining CPU time: 71.1675 s 109.26/109.31 c =============================================================================== 109.26/109.31 c | 7362 | 3644 26099 752557 | 8699 7362 547 | 33.236 % | 109.56/109.64 c =============================================================================== 109.56/109.64 c New solution: 74561 109.56/109.64 o 74561 109.56/109.64 c Elapsed CPU time: 109.162 s Remaining CPU time: 70.8376 s 109.56/109.64 c =============================================================================== 109.56/109.64 c | 7363 | 3644 26100 754514 | 8700 7363 548 | 33.236 % | 109.86/109.95 c =============================================================================== 109.86/109.95 c New solution: 74560 109.86/109.95 o 74560 109.86/109.95 c Elapsed CPU time: 109.479 s Remaining CPU time: 70.5206 s 109.86/109.95 c =============================================================================== 109.86/109.95 c | 7369 | 3644 26101 756471 | 8700 7369 548 | 33.236 % | 110.16/110.27 c =============================================================================== 110.16/110.27 c New solution: 74559 110.16/110.27 o 74559 110.16/110.27 c Elapsed CPU time: 109.797 s Remaining CPU time: 70.2027 s 110.16/110.27 c =============================================================================== 110.16/110.27 c | 7373 | 3644 26102 758428 | 8700 7373 547 | 33.236 % | 112.36/112.42 c | 7473 | 3644 26102 758428 | 9570 7473 548 | 33.236 % | 112.66/112.76 c =============================================================================== 112.66/112.76 c New solution: 74558 112.66/112.76 o 74558 112.66/112.76 c Elapsed CPU time: 112.277 s Remaining CPU time: 67.7231 s 112.66/112.76 c =============================================================================== 112.66/112.76 c | 7479 | 3644 26103 760385 | 8701 7479 548 | 33.236 % | 114.06/114.15 c | 7579 | 3644 26103 760385 | 9571 7579 549 | 33.236 % | 114.47/114.53 c =============================================================================== 114.47/114.53 c New solution: 74557 114.47/114.53 o 74557 114.47/114.53 c Elapsed CPU time: 114.045 s Remaining CPU time: 65.9553 s 114.47/114.53 c =============================================================================== 114.47/114.53 c | 7588 | 3644 26104 762342 | 8701 7588 549 | 33.236 % | 116.57/116.61 c | 7688 | 3644 26104 762342 | 9571 7688 548 | 33.236 % | 116.76/116.88 c =============================================================================== 116.76/116.88 c New solution: 74556 116.76/116.88 o 74556 116.76/116.88 c Elapsed CPU time: 116.392 s Remaining CPU time: 63.6077 s 116.76/116.88 c =============================================================================== 116.76/116.88 c | 7692 | 3644 26105 764299 | 8701 7692 548 | 33.236 % | 117.86/117.96 c | 7792 | 3644 26105 764299 | 9571 7792 549 | 33.236 % | 118.16/118.27 c =============================================================================== 118.16/118.27 c New solution: 74555 118.16/118.27 o 74555 118.16/118.27 c Elapsed CPU time: 117.782 s Remaining CPU time: 62.2179 s 118.16/118.27 c =============================================================================== 118.16/118.27 c | 7795 | 3644 26106 766256 | 8702 7795 549 | 33.236 % | 119.56/119.65 c =============================================================================== 119.56/119.65 c New solution: 74554 119.56/119.65 o 74554 119.56/119.65 c Elapsed CPU time: 119.164 s Remaining CPU time: 60.8361 s 119.56/119.65 c =============================================================================== 119.56/119.65 c | 7857 | 3644 26107 768213 | 8702 7857 549 | 33.236 % | 119.96/120.03 c =============================================================================== 119.96/120.03 c New solution: 74553 119.96/120.03 o 74553 119.96/120.03 c Elapsed CPU time: 119.54 s Remaining CPU time: 60.4602 s 119.96/120.03 c =============================================================================== 119.96/120.03 c | 7857 | 3644 26108 770170 | 8702 7857 549 | 33.236 % | 120.35/120.45 c =============================================================================== 120.35/120.45 c New solution: 74552 120.35/120.45 o 74552 120.35/120.45 c Elapsed CPU time: 119.963 s Remaining CPU time: 60.0372 s 120.35/120.45 c =============================================================================== 120.35/120.45 c | 7861 | 3644 26109 772127 | 8703 7861 549 | 33.236 % | 120.75/120.83 c =============================================================================== 120.75/120.83 c New solution: 74551 120.75/120.83 o 74551 120.75/120.83 c Elapsed CPU time: 120.346 s Remaining CPU time: 59.6543 s 120.75/120.83 c =============================================================================== 120.75/120.83 c | 7866 | 3644 26110 774084 | 8703 7866 549 | 33.236 % | 122.07/122.17 c =============================================================================== 122.07/122.17 c New solution: 74550 122.07/122.17 o 74550 122.07/122.17 c Elapsed CPU time: 121.678 s Remaining CPU time: 58.3225 s 122.07/122.17 c =============================================================================== 122.07/122.17 c | 7952 | 3644 26111 776041 | 8703 7952 549 | 33.236 % | 122.46/122.52 c =============================================================================== 122.46/122.52 c New solution: 74549 122.46/122.52 o 74549 122.46/122.52 c Elapsed CPU time: 122.03 s Remaining CPU time: 57.9696 s 122.46/122.52 c =============================================================================== 122.46/122.52 c | 7953 | 3644 26112 777998 | 8704 7953 549 | 33.236 % | 122.86/122.93 c =============================================================================== 122.86/122.93 c New solution: 74548 122.86/122.93 o 74548 122.86/122.93 c Elapsed CPU time: 122.432 s Remaining CPU time: 57.5676 s 122.86/122.93 c =============================================================================== 122.86/122.93 c | 7962 | 3644 26113 779955 | 8704 7962 549 | 33.236 % | 124.56/124.63 c =============================================================================== 124.56/124.63 c New solution: 74547 124.56/124.63 o 74547 124.56/124.63 c Elapsed CPU time: 124.129 s Remaining CPU time: 55.8709 s 124.56/124.63 c =============================================================================== 124.56/124.63 c | 8049 | 3644 26114 781912 | 8704 8049 550 | 33.236 % | 124.86/124.96 c =============================================================================== 124.86/124.96 c New solution: 74546 124.86/124.96 o 74546 124.86/124.96 c Elapsed CPU time: 124.467 s Remaining CPU time: 55.5329 s 124.86/124.96 c =============================================================================== 124.86/124.96 c | 8051 | 3644 26115 783869 | 8705 8051 550 | 33.236 % | 125.95/126.08 c =============================================================================== 125.95/126.08 c New solution: 74545 125.95/126.08 o 74545 125.95/126.08 c Elapsed CPU time: 125.584 s Remaining CPU time: 54.4161 s 125.95/126.08 c =============================================================================== 125.95/126.08 c | 8108 | 3644 26116 785826 | 8705 8108 550 | 33.236 % | 126.35/126.46 c =============================================================================== 126.35/126.46 c New solution: 74544 126.35/126.46 o 74544 126.35/126.46 c Elapsed CPU time: 125.957 s Remaining CPU time: 54.0431 s 126.35/126.46 c =============================================================================== 126.35/126.46 c | 8110 | 3644 26117 787783 | 8705 8110 550 | 33.236 % | 126.57/126.66 c =============================================================================== 126.57/126.66 c New solution: 74543 126.57/126.66 o 74543 126.57/126.66 c Elapsed CPU time: 126.156 s Remaining CPU time: 53.8442 s 126.57/126.66 c =============================================================================== 126.57/126.66 c | 8123 | 3644 26118 789740 | 8706 8123 550 | 33.236 % | 126.96/127.02 c =============================================================================== 126.96/127.02 c New solution: 74542 126.96/127.02 o 74542 126.96/127.02 c Elapsed CPU time: 126.52 s Remaining CPU time: 53.4802 s 126.96/127.02 c =============================================================================== 126.96/127.02 c | 8129 | 3644 26119 791697 | 8706 8129 550 | 33.236 % | 127.86/127.98 c | 8229 | 3644 26119 791697 | 9576 8229 549 | 33.236 % | 128.16/128.28 c =============================================================================== 128.16/128.28 c New solution: 74541 128.16/128.28 o 74541 128.16/128.28 c Elapsed CPU time: 127.776 s Remaining CPU time: 52.2244 s 128.16/128.28 c =============================================================================== 128.16/128.28 c | 8231 | 3644 26120 793654 | 8706 8231 549 | 33.236 % | 128.46/128.53 c =============================================================================== 128.46/128.53 c New solution: 74540 128.46/128.53 o 74540 128.46/128.53 c Elapsed CPU time: 128.026 s Remaining CPU time: 51.9745 s 128.46/128.53 c =============================================================================== 128.46/128.53 c | 8240 | 3644 26121 795611 | 8707 8240 549 | 33.236 % | 129.95/130.04 c | 8340 | 3644 26121 795611 | 9577 8340 549 | 33.236 % | 130.25/130.30 c =============================================================================== 130.25/130.30 c New solution: 74539 130.25/130.30 o 74539 130.25/130.30 c Elapsed CPU time: 129.787 s Remaining CPU time: 50.2127 s 130.25/130.30 c =============================================================================== 130.25/130.30 c | 8340 | 3644 26122 797568 | 8707 8340 549 | 33.236 % | 130.45/130.56 c =============================================================================== 130.45/130.56 c New solution: 74538 130.45/130.56 o 74538 130.45/130.56 c Elapsed CPU time: 130.052 s Remaining CPU time: 49.9478 s 130.45/130.56 c =============================================================================== 130.45/130.56 c | 8341 | 3644 26123 799525 | 8707 8341 549 | 33.236 % | 130.75/130.90 c =============================================================================== 130.75/130.90 c New solution: 74537 130.75/130.90 o 74537 130.75/130.90 c Elapsed CPU time: 130.384 s Remaining CPU time: 49.6158 s 130.75/130.90 c =============================================================================== 130.75/130.90 c | 8343 | 3644 26124 801482 | 8708 8343 549 | 33.236 % | 132.56/132.62 c | 8445 | 3644 26124 801482 | 9578 8445 549 | 33.236 % | 132.96/133.03 c =============================================================================== 132.96/133.03 c New solution: 74536 132.96/133.03 o 74536 132.96/133.03 c Elapsed CPU time: 132.522 s Remaining CPU time: 47.4781 s 132.96/133.03 c =============================================================================== 132.96/133.03 c | 8445 | 3644 26125 803439 | 8708 8445 549 | 33.236 % | 133.36/133.44 c =============================================================================== 133.36/133.44 c New solution: 74535 133.36/133.44 o 74535 133.36/133.44 c Elapsed CPU time: 132.932 s Remaining CPU time: 47.0682 s 133.36/133.44 c =============================================================================== 133.36/133.44 c | 8445 | 3644 26126 805396 | 8708 8445 549 | 33.236 % | 133.76/133.82 c =============================================================================== 133.76/133.82 c New solution: 74534 133.76/133.82 o 74534 133.76/133.82 c Elapsed CPU time: 133.304 s Remaining CPU time: 46.6963 s 133.76/133.82 c =============================================================================== 133.76/133.82 c | 8445 | 3644 26127 807353 | 8709 8445 549 | 33.236 % | 134.16/134.20 c =============================================================================== 134.16/134.20 c New solution: 74533 134.16/134.20 o 74533 134.16/134.20 c Elapsed CPU time: 133.684 s Remaining CPU time: 46.3163 s 134.16/134.20 c =============================================================================== 134.16/134.20 c | 8457 | 3644 26128 809310 | 8709 8457 549 | 33.236 % | 134.46/134.59 c =============================================================================== 134.46/134.59 c New solution: 74532 134.46/134.59 o 74532 134.46/134.59 c Elapsed CPU time: 134.069 s Remaining CPU time: 45.9314 s 134.46/134.59 c =============================================================================== 134.46/134.59 c | 8462 | 3644 26129 811267 | 8709 8462 549 | 33.236 % | 138.35/138.45 c | 8563 | 3644 26129 811267 | 9580 8563 549 | 33.236 % | 138.75/138.80 c =============================================================================== 138.75/138.80 c New solution: 74531 138.75/138.80 o 74531 138.75/138.80 c Elapsed CPU time: 138.285 s Remaining CPU time: 41.715 s 138.75/138.80 c =============================================================================== 138.75/138.80 c | 8565 | 3644 26130 813224 | 8710 8565 549 | 33.236 % | 140.65/140.72 c | 8665 | 3644 26130 813224 | 9581 8665 550 | 33.236 % | 140.95/141.04 c =============================================================================== 140.95/141.04 c New solution: 74530 140.95/141.04 o 74530 140.95/141.04 c Elapsed CPU time: 140.516 s Remaining CPU time: 39.4844 s 140.95/141.04 c =============================================================================== 140.95/141.04 c | 8667 | 3644 26131 815181 | 8710 8667 550 | 33.236 % | 141.25/141.35 c =============================================================================== 141.25/141.35 c New solution: 74529 141.25/141.35 o 74529 141.25/141.35 c Elapsed CPU time: 140.831 s Remaining CPU time: 39.1694 s 141.25/141.35 c =============================================================================== 141.25/141.35 c | 8667 | 3644 26132 817138 | 8710 8667 550 | 33.236 % | 141.55/141.68 c =============================================================================== 141.55/141.68 c New solution: 74528 141.55/141.68 o 74528 141.55/141.68 c Elapsed CPU time: 141.153 s Remaining CPU time: 38.8475 s 141.55/141.68 c =============================================================================== 141.55/141.68 c | 8680 | 3644 26133 819095 | 8711 8680 550 | 33.236 % | 141.86/141.96 c =============================================================================== 141.86/141.96 c New solution: 74527 141.86/141.96 o 74527 141.86/141.96 c Elapsed CPU time: 141.435 s Remaining CPU time: 38.5645 s 141.86/141.96 c =============================================================================== 141.86/141.96 c | 8680 | 3644 26134 821052 | 8711 8680 550 | 33.236 % | 142.55/142.61 c =============================================================================== 142.55/142.61 c New solution: 74526 142.55/142.61 o 74526 142.55/142.61 c Elapsed CPU time: 142.077 s Remaining CPU time: 37.9226 s 142.55/142.61 c =============================================================================== 142.55/142.61 c | 8694 | 3644 26135 823009 | 8711 8694 550 | 33.236 % | 142.85/142.94 c =============================================================================== 142.85/142.94 c New solution: 74525 142.85/142.94 o 74525 142.85/142.94 c Elapsed CPU time: 142.416 s Remaining CPU time: 37.5837 s 142.85/142.94 c =============================================================================== 142.85/142.94 c | 8698 | 3644 26136 824966 | 8712 8698 550 | 33.236 % | 143.06/143.16 c =============================================================================== 143.06/143.16 c New solution: 74524 143.06/143.16 o 74524 143.06/143.16 c Elapsed CPU time: 142.634 s Remaining CPU time: 37.3657 s 143.06/143.16 c =============================================================================== 143.06/143.16 c | 8700 | 3644 26137 826923 | 8712 8700 550 | 33.236 % | 146.26/146.38 c | 8801 | 3644 26137 826923 | 9583 8801 549 | 33.236 % | 146.55/146.68 c =============================================================================== 146.55/146.68 c New solution: 74523 146.55/146.68 o 74523 146.55/146.68 c Elapsed CPU time: 146.151 s Remaining CPU time: 33.8492 s 146.55/146.68 c =============================================================================== 146.55/146.68 c | 8802 | 3644 26138 828880 | 8712 8802 549 | 33.236 % | 147.36/147.42 c =============================================================================== 147.36/147.42 c New solution: 73108 147.36/147.42 o 73108 147.36/147.42 c Elapsed CPU time: 146.887 s Remaining CPU time: 33.1133 s 147.36/147.42 c =============================================================================== 147.36/147.42 c | 8842 | 3644 26139 830837 | 8713 8842 549 | 33.236 % | 147.75/147.84 c =============================================================================== 147.75/147.84 c New solution: 73082 147.75/147.84 o 73082 147.75/147.84 c Elapsed CPU time: 147.305 s Remaining CPU time: 32.6954 s 147.75/147.84 c =============================================================================== 147.75/147.84 c | 8844 | 3644 26140 832794 | 8713 8844 549 | 33.236 % | 148.25/148.39 c =============================================================================== 148.25/148.39 c New solution: 73081 148.25/148.39 o 73081 148.25/148.39 c Elapsed CPU time: 147.859 s Remaining CPU time: 32.1415 s 148.25/148.39 c =============================================================================== 148.25/148.39 c | 8846 | 3644 26141 834751 | 8713 8846 549 | 33.236 % | 148.85/148.97 c =============================================================================== 148.85/148.97 c New solution: 73061 148.85/148.97 o 73061 148.85/148.97 c Elapsed CPU time: 148.437 s Remaining CPU time: 31.5626 s 148.85/148.97 c =============================================================================== 148.85/148.97 c | 8848 | 3644 26142 836708 | 8714 8848 549 | 33.236 % | 149.55/149.65 c =============================================================================== 149.55/149.65 c New solution: 73060 149.55/149.65 o 73060 149.55/149.65 c Elapsed CPU time: 149.119 s Remaining CPU time: 30.8807 s 149.55/149.65 c =============================================================================== 149.55/149.65 c | 8855 | 3644 26143 838665 | 8714 8855 549 | 33.236 % | 151.36/151.43 c | 8955 | 3644 26143 838665 | 9585 8955 550 | 33.236 % | 151.86/151.92 c =============================================================================== 151.86/151.92 c New solution: 73051 151.86/151.92 o 73051 151.86/151.92 c Elapsed CPU time: 151.385 s Remaining CPU time: 28.615 s 151.86/151.92 c =============================================================================== 151.86/151.92 c | 8955 | 3644 26144 840622 | 8714 8955 550 | 33.236 % | 152.25/152.39 c =============================================================================== 152.25/152.39 c New solution: 73050 152.25/152.39 o 73050 152.25/152.39 c Elapsed CPU time: 151.852 s Remaining CPU time: 28.1481 s 152.25/152.39 c =============================================================================== 152.25/152.39 c | 8957 | 3644 26145 842579 | 8715 8957 550 | 33.236 % | 153.96/154.07 c | 9057 | 3644 26145 842579 | 9586 9057 550 | 33.236 % | 154.45/154.54 c =============================================================================== 154.45/154.54 c New solution: 73049 154.45/154.54 o 73049 154.45/154.54 c Elapsed CPU time: 153.998 s Remaining CPU time: 26.0024 s 154.45/154.54 c =============================================================================== 154.45/154.54 c | 9062 | 3644 26146 844536 | 8715 9062 550 | 33.236 % | 154.85/154.92 c =============================================================================== 154.85/154.92 c New solution: 73048 154.85/154.92 o 73048 154.85/154.92 c Elapsed CPU time: 154.378 s Remaining CPU time: 25.6225 s 154.85/154.92 c =============================================================================== 154.85/154.92 c | 9065 | 3644 26147 846493 | 8715 9065 550 | 33.236 % | 155.16/155.29 c =============================================================================== 155.16/155.29 c New solution: 73047 155.16/155.29 o 73047 155.16/155.29 c Elapsed CPU time: 154.745 s Remaining CPU time: 25.2545 s 155.16/155.29 c =============================================================================== 155.16/155.29 c | 9066 | 3644 26148 848450 | 8716 9066 550 | 33.236 % | 155.55/155.60 c =============================================================================== 155.55/155.60 c New solution: 73046 155.55/155.60 o 73046 155.55/155.60 c Elapsed CPU time: 155.061 s Remaining CPU time: 24.9386 s 155.55/155.60 c =============================================================================== 155.55/155.60 c | 9066 | 3644 26149 850407 | 8716 9066 550 | 33.236 % | 155.85/155.97 c =============================================================================== 155.85/155.97 c New solution: 73045 155.85/155.97 o 73045 155.85/155.97 c Elapsed CPU time: 155.43 s Remaining CPU time: 24.5696 s 155.85/155.97 c =============================================================================== 155.85/155.97 c | 9069 | 3644 26150 852364 | 8716 9069 550 | 33.236 % | 156.45/156.50 c =============================================================================== 156.45/156.50 c New solution: 73044 156.45/156.50 o 73044 156.45/156.50 c Elapsed CPU time: 155.956 s Remaining CPU time: 24.0437 s 156.45/156.50 c =============================================================================== 156.45/156.50 c | 9074 | 3644 26151 854321 | 8717 9074 550 | 33.236 % | 157.25/157.38 c =============================================================================== 157.25/157.38 c New solution: 73043 157.25/157.38 o 73043 157.25/157.38 c Elapsed CPU time: 156.832 s Remaining CPU time: 23.1678 s 157.25/157.38 c =============================================================================== 157.25/157.38 c | 9115 | 3644 26152 856278 | 8717 9115 550 | 33.236 % | 157.85/157.91 c =============================================================================== 157.85/157.91 c New solution: 73042 157.85/157.91 o 73042 157.85/157.91 c Elapsed CPU time: 157.367 s Remaining CPU time: 22.6329 s 157.85/157.91 c =============================================================================== 157.85/157.91 c | 9133 | 3644 26153 858235 | 8717 9133 550 | 33.236 % | 158.25/158.30 c =============================================================================== 158.25/158.30 c New solution: 73041 158.25/158.30 o 73041 158.25/158.30 c Elapsed CPU time: 157.752 s Remaining CPU time: 22.248 s 158.25/158.30 c =============================================================================== 158.25/158.30 c | 9140 | 3644 26154 860192 | 8718 9140 550 | 33.236 % | 159.74/159.80 c | 9240 | 3644 26154 860192 | 9589 9240 550 | 33.236 % | 163.45/163.56 c | 9392 | 3644 26154 860192 | 10548 9392 550 | 33.236 % | 163.75/163.84 c =============================================================================== 163.75/163.84 c New solution: 73040 163.75/163.84 o 73040 163.75/163.84 c Elapsed CPU time: 163.286 s Remaining CPU time: 16.7138 s 163.75/163.84 c =============================================================================== 163.75/163.84 c | 9394 | 3644 26155 862149 | 8718 9394 550 | 33.236 % | 164.25/164.36 c =============================================================================== 164.25/164.36 c New solution: 73039 164.25/164.36 o 73039 164.25/164.36 c Elapsed CPU time: 163.809 s Remaining CPU time: 16.1909 s 164.25/164.36 c =============================================================================== 164.25/164.36 c | 9404 | 3644 26156 864106 | 8718 9404 551 | 33.236 % | 164.55/164.69 c =============================================================================== 164.55/164.69 c New solution: 73038 164.55/164.69 o 73038 164.55/164.69 c Elapsed CPU time: 164.13 s Remaining CPU time: 15.87 s 164.55/164.69 c =============================================================================== 164.55/164.69 c | 9434 | 3644 26157 866063 | 8719 9434 550 | 33.236 % | 166.24/166.30 c | 9535 | 3644 26157 866063 | 9590 9535 551 | 33.236 % | 167.15/167.29 c =============================================================================== 167.15/167.29 c New solution: 73037 167.15/167.29 o 73037 167.15/167.29 c Elapsed CPU time: 166.735 s Remaining CPU time: 13.2653 s 167.15/167.29 c =============================================================================== 167.15/167.29 c | 9575 | 3644 26158 868020 | 8719 9575 551 | 33.236 % | 170.14/170.26 c | 9675 | 3644 26158 868020 | 9591 9675 551 | 33.236 % | 170.56/170.63 c =============================================================================== 170.56/170.63 c New solution: 73036 170.56/170.63 o 73036 170.56/170.63 c Elapsed CPU time: 170.064 s Remaining CPU time: 9.93585 s 170.56/170.63 c =============================================================================== 170.56/170.63 c | 9687 | 3644 26159 869977 | 8719 9687 551 | 33.236 % | 170.95/171.08 c =============================================================================== 170.95/171.08 c New solution: 73035 170.95/171.08 o 73035 170.95/171.08 c Elapsed CPU time: 170.518 s Remaining CPU time: 9.48192 s 170.95/171.08 c =============================================================================== 170.95/171.08 c | 9709 | 3644 26160 871934 | 8720 9709 551 | 33.236 % | 172.35/172.43 c =============================================================================== 172.35/172.43 c New solution: 73034 172.35/172.43 o 73034 172.35/172.43 c Elapsed CPU time: 171.869 s Remaining CPU time: 8.13113 s 172.35/172.43 c =============================================================================== 172.35/172.43 c | 9801 | 3644 26161 873891 | 8720 9801 551 | 33.236 % | 173.35/173.42 c =============================================================================== 173.35/173.42 c New solution: 71632 173.35/173.42 o 71632 173.35/173.42 c Elapsed CPU time: 172.856 s Remaining CPU time: 7.14428 s 173.35/173.42 c =============================================================================== 173.35/173.42 c | 9821 | 3644 26162 875848 | 8720 9821 551 | 33.236 % | 174.05/174.13 c =============================================================================== 174.05/174.13 c New solution: 71610 174.05/174.13 o 71610 174.05/174.13 c Elapsed CPU time: 173.568 s Remaining CPU time: 6.43239 s 174.05/174.13 c =============================================================================== 174.05/174.13 c | 9829 | 3644 26163 877805 | 8721 9829 551 | 33.236 % | 174.65/174.77 c =============================================================================== 174.65/174.77 c New solution: 71569 174.65/174.77 o 71569 174.65/174.77 c Elapsed CPU time: 174.204 s Remaining CPU time: 5.79648 s 174.65/174.77 c =============================================================================== 174.65/174.77 c | 9832 | 3644 26164 879762 | 8721 9832 551 | 33.236 % | 175.25/175.30 c =============================================================================== 175.25/175.30 c New solution: 71562 175.25/175.30 o 71562 175.25/175.30 c Elapsed CPU time: 174.738 s Remaining CPU time: 5.26156 s 175.25/175.30 c =============================================================================== 175.25/175.30 c | 9834 | 3644 26165 881719 | 8721 9834 551 | 33.236 % | 175.65/175.79 c =============================================================================== 175.65/175.79 c New solution: 71561 175.65/175.79 o 71561 175.65/175.79 c Elapsed CPU time: 175.227 s Remaining CPU time: 4.77264 s 175.65/175.79 c =============================================================================== 175.65/175.79 c | 9834 | 3644 26166 883676 | 8722 9834 551 | 33.236 % | 176.14/176.28 c =============================================================================== 176.14/176.28 c New solution: 71560 176.14/176.28 o 71560 176.14/176.28 c Elapsed CPU time: 175.715 s Remaining CPU time: 4.28471 s 176.14/176.28 c =============================================================================== 176.14/176.28 c | 9836 | 3644 26167 885633 | 8722 9836 551 | 33.236 % | 176.74/176.80 c =============================================================================== 176.74/176.80 c New solution: 71559 176.74/176.80 o 71559 176.74/176.80 c Elapsed CPU time: 176.227 s Remaining CPU time: 3.77279 s 176.74/176.80 c =============================================================================== 176.74/176.80 c | 9837 | 3644 26168 887590 | 8722 9837 551 | 33.236 % | 177.15/177.23 c =============================================================================== 177.15/177.23 c New solution: 71558 177.15/177.23 o 71558 177.15/177.23 c Elapsed CPU time: 176.653 s Remaining CPU time: 3.34686 s 177.15/177.23 c =============================================================================== 177.15/177.23 c | 9838 | 3644 26169 889547 | 8723 9838 551 | 33.236 % | 177.55/177.66 c =============================================================================== 177.55/177.66 c New solution: 71557 177.55/177.66 o 71557 177.55/177.66 c Elapsed CPU time: 177.089 s Remaining CPU time: 2.91092 s 177.55/177.66 c =============================================================================== 177.55/177.66 c | 9844 | 3644 26170 891504 | 8723 9844 551 | 33.236 % | 177.95/178.07 c =============================================================================== 177.95/178.07 c New solution: 71556 177.95/178.07 o 71556 177.95/178.07 c Elapsed CPU time: 177.498 s Remaining CPU time: 2.50198 s 177.95/178.07 c =============================================================================== 177.95/178.07 c | 9847 | 3644 26171 893461 | 8723 9847 551 | 33.236 % | 179.74/179.83 c | 9949 | 3644 26171 893461 | 9596 9949 552 | 33.236 % | 180.24/180.33 c =============================================================================== 180.24/180.33 c New solution: 71555 180.24/180.33 o 71555 180.24/180.33 c Elapsed CPU time: 179.749 s Remaining CPU time: 0.251326 s 180.24/180.33 c =============================================================================== 180.24/180.33 c | 9952 | 3644 26172 895418 | 8724 9952 552 | 33.236 % | 180.54/180.66 c There are 1814 assigned variables. 339 in cost function. 183.95/184.04 c core #1 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 2 Core Weight: 1 Total Weight: 3208 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #2 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 3209 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #3 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 3210 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #4 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 2 Total Weight: 3212 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #5 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1 Total Weight: 3213 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #6 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1 Total Weight: 3214 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #7 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1 Total Weight: 3215 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #8 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 2 Total Weight: 3217 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #9 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 5 Core Weight: 1 Total Weight: 3218 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #10 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3219 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #11 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 10 Core Weight: 1 Total Weight: 3220 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #12 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3221 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #13 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3222 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #14 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3223 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #15 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3224 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #16 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3225 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #17 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3226 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #18 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3227 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #19 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3228 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #20 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3229 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #21 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3230 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #22 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3231 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #23 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3232 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #24 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3233 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #25 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3234 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #26 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 3235 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #27 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3236 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #28 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3237 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #29 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 3238 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #30 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 3239 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #31 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1484 Total Weight: 4723 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #32 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 5 Core Weight: 1 Total Weight: 4724 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #33 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 4725 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #34 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 5 Core Weight: 1 Total Weight: 4726 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #35 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4727 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #36 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4728 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #37 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 4729 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #38 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 4730 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #39 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 3 Core Weight: 1 Total Weight: 4731 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #40 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1 Total Weight: 4732 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #41 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 5 Core Weight: 1 Total Weight: 4733 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #42 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 4 Core Weight: 1 Total Weight: 4734 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #43 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 10 Core Weight: 1 Total Weight: 4735 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #44 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4736 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #45 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 4737 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #46 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 6 Core Weight: 1 Total Weight: 4738 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #47 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 26 Total Weight: 4764 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #48 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4765 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #49 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 4766 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #50 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 4767 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #51 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 4768 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #52 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 10 Core Weight: 1 Total Weight: 4769 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #53 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4770 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #54 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 10 Core Weight: 1 Total Weight: 4771 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #55 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 4772 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #56 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 9 Core Weight: 1 Total Weight: 4773 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #57 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 11 Core Weight: 1 Total Weight: 4774 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #58 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 8 Core Weight: 1 Total Weight: 4775 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c core #59 183.95/184.04 c 183.95/184.04 c 183.95/184.04 c Core size: 7 Core Weight: 1 Total Weight: 4776 184.15/184.22 c 184.15/184.22 c 184.15/184.22 c core #60 184.15/184.22 c 184.15/184.22 c 184.15/184.22 c Core size: 15 Core Weight: 1 Total Weight: 4777 184.15/184.22 c 184.15/184.22 c 184.15/184.22 c core #61 184.15/184.22 c 184.15/184.22 c 184.15/184.22 c Core size: 19 Core Weight: 1 Total Weight: 4778 184.15/184.22 c 184.15/184.22 c 184.15/184.22 c ============================[ Search Statistics ]============================== 184.15/184.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.15/184.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.15/184.22 c =============================================================================== 184.15/184.22 c | 0 | 804 15700 8385 | 5233 0 nan | 0.000 % | 184.15/184.22 c =============================================================================== 184.35/184.46 c core #62 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c Core size: 19 Core Weight: 1 Total Weight: 4779 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c core #63 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c Core size: 24 Core Weight: 1 Total Weight: 4780 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c core #64 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c Core size: 13 Core Weight: 1 Total Weight: 4781 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c core #65 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c Core size: 9 Core Weight: 1478 Total Weight: 6259 184.35/184.46 c 184.35/184.46 c 184.35/184.46 c ============================[ Search Statistics ]============================== 184.35/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.35/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.35/184.46 c =============================================================================== 184.35/184.46 c | 0 | 834 15712 9147 | 5237 0 nan | 0.000 % | 184.35/184.47 c =============================================================================== 184.35/184.49 c #cores: 65 184.35/184.49 c Final Weight: 6259 184.35/184.49 o 6259 184.35/184.49 s OPTIMUM FOUND 184.35/184.49 v -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 -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 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 184.35/184.49 c Total CPU time: 183.773 s
OK 6259
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683445-1277509750/watcher-2683445-1277509750 -o /tmp/evaluation-result-2683445-1277509750/solver-2683445-1277509750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683445-1277509750.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.24 1.10 1.02 3/106 24412 /proc/meminfo: memFree=1842584/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=3632 CPUtime=0 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 367 0 0 0 0 0 0 0 18 0 1 0 124631345 3719168 286 1992294400 134512640 135752675 4289702320 18446744073709551615 134561687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 908 286 140 303 0 415 0 [startup+0.103694 s] /proc/loadavg: 1.24 1.10 1.02 3/106 24412 /proc/meminfo: memFree=1842584/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=5260 CPUtime=0.1 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 899 0 0 0 10 0 0 0 20 0 1 0 124631345 5386240 818 1992294400 134512640 135752675 4289702320 18446744073709551615 135197220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 1315 818 298 303 0 822 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5260 [startup+0.201704 s] /proc/loadavg: 1.24 1.10 1.02 3/106 24412 /proc/meminfo: memFree=1842584/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=6492 CPUtime=0.19 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 1428 0 0 0 19 0 0 0 20 0 1 0 124631345 6647808 1159 1992294400 134512640 135752675 4289702320 18446744073709551615 134580116 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 1623 1159 142 303 0 1318 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6492 [startup+0.301716 s] /proc/loadavg: 1.24 1.10 1.02 3/106 24412 /proc/meminfo: memFree=1842584/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=6492 CPUtime=0.29 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 1428 0 0 0 29 0 0 0 20 0 1 0 124631345 6647808 1159 1992294400 134512640 135752675 4289702320 18446744073709551615 134580159 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 1623 1159 142 303 0 1318 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6492 [startup+0.700752 s] /proc/loadavg: 1.24 1.10 1.02 3/106 24412 /proc/meminfo: memFree=1842584/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=6756 CPUtime=0.69 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 1473 0 0 0 69 0 0 0 20 0 1 0 124631345 6918144 1204 1992294400 134512640 135752675 4289702320 18446744073709551615 134580159 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 1689 1204 142 303 0 1384 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6756 [startup+1.50083 s] /proc/loadavg: 1.22 1.10 1.02 2/107 24413 /proc/meminfo: memFree=1838112/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=7020 CPUtime=1.49 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 1567 0 0 0 149 0 0 0 23 0 1 0 124631345 7188480 1298 1992294400 134512640 135752675 4289702320 18446744073709551615 134595128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 1755 1298 142 303 0 1450 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7020 [startup+3.10098 s] /proc/loadavg: 1.22 1.10 1.02 2/107 24413 /proc/meminfo: memFree=1836004/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=8604 CPUtime=3.09 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 1974 0 0 0 302 7 0 0 25 0 1 0 124631345 8810496 1705 1992294400 134512640 135752675 4289702320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 2151 1705 144 303 0 1846 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8604 [startup+6.30129 s] /proc/loadavg: 1.20 1.09 1.02 2/107 24413 /proc/meminfo: memFree=1834268/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=11208 CPUtime=6.29 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 2610 0 0 0 617 12 0 0 25 0 1 0 124631345 11476992 2341 1992294400 134512640 135752675 4289702320 18446744073709551615 134599153 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 2802 2341 145 303 0 2497 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11208 [startup+12.7009 s] /proc/loadavg: 1.19 1.09 1.02 2/107 24413 /proc/meminfo: memFree=1828192/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=16728 CPUtime=12.69 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 3979 0 0 0 1249 20 0 0 25 0 1 0 124631345 17129472 3710 1992294400 134512640 135752675 4289702320 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 4182 3710 145 303 0 3877 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16728 [startup+25.5011 s] /proc/loadavg: 1.14 1.09 1.02 2/107 24413 /proc/meminfo: memFree=1821992/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=22744 CPUtime=25.48 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 5493 0 0 0 2523 25 0 0 25 0 1 0 124631345 23289856 5224 1992294400 134512640 135752675 4289702320 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 5686 5224 145 303 0 5381 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22744 [startup+51.1016 s] /proc/loadavg: 1.09 1.08 1.02 2/107 24415 /proc/meminfo: memFree=1814676/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=29964 CPUtime=51.08 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 7293 0 0 0 5075 33 0 0 25 0 1 0 124631345 30683136 7024 1992294400 134512640 135752675 4289702320 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 7491 7024 145 303 0 7186 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29964 [startup+102.301 s] /proc/loadavg: 1.04 1.06 1.01 2/107 24417 /proc/meminfo: memFree=1803392/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=40912 CPUtime=102.27 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 10036 0 0 0 10184 43 0 0 25 0 1 0 124631345 41893888 9767 1992294400 134512640 135752675 4289702320 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 10228 9767 145 303 0 9923 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40912 [startup+162.301 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24417 /proc/meminfo: memFree=1795084/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=49108 CPUtime=162.25 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 12093 0 0 0 16174 51 0 0 25 0 1 0 124631345 50286592 11824 1992294400 134512640 135752675 4289702320 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 12277 11824 145 303 0 11972 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49108 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24417 /proc/meminfo: memFree=1794464/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=49752 CPUtime=166.34 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 12245 0 0 0 16583 51 0 0 25 0 1 0 124631345 50946048 11976 1992294400 134512640 135752675 4289702320 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 12438 11976 145 303 0 12133 0 Current children cumulated CPU time (s) 166.34 Current children cumulated vsize (KiB) 49752 [startup+172.808 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24417 /proc/meminfo: memFree=1793596/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=50524 CPUtime=172.75 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 12451 0 0 0 17223 52 0 0 25 0 1 0 124631345 51736576 12182 1992294400 134512640 135752675 4289702320 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 12631 12182 145 303 0 12326 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 50524 [startup+179.202 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1792976/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=51324 CPUtime=179.15 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 12628 0 0 0 17862 53 0 0 25 0 1 0 124631345 52555776 12359 1992294400 134512640 135752675 4289702320 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 12831 12359 145 303 0 12526 0 Current children cumulated CPU time (s) 179.15 Current children cumulated vsize (KiB) 51324 [startup+182.401 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1785908/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=98164 CPUtime=182.34 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 24451 0 0 0 18177 57 0 0 25 0 1 0 124631345 100519936 24086 1992294400 134512640 135752675 4289702320 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 24541 24086 146 303 0 24236 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 98164 [startup+183.201 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1734944/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=137356 CPUtime=183.14 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 34258 0 0 0 18253 61 0 0 25 0 1 0 124631345 140652544 33893 1992294400 134512640 135752675 4289702320 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 34339 33896 146 303 0 34034 0 Current children cumulated CPU time (s) 183.14 Current children cumulated vsize (KiB) 137356 [startup+184.001 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1682368/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=175184 CPUtime=183.95 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 43711 0 0 0 18330 65 0 0 25 0 1 0 124631345 179388416 43346 1992294400 134512640 135752675 4289702320 18446744073709551615 134634496 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 43796 43346 146 303 0 43491 0 Current children cumulated CPU time (s) 183.95 Current children cumulated vsize (KiB) 175184 [startup+184.401 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1682368/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=194216 CPUtime=184.35 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202496 48488 0 0 0 18368 67 0 0 25 0 1 0 124631345 198877184 48123 1992294400 134512640 135752675 4289702320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24412/statm: 48554 48123 146 303 0 48249 0 Current children cumulated CPU time (s) 184.35 Current children cumulated vsize (KiB) 194216 [startup+184.501 s] /proc/loadavg: 1.01 1.05 1.01 2/107 24419 /proc/meminfo: memFree=1682368/2059040 swapFree=4139084/4192956 [pid=24412] ppid=24410 vsize=0 CPUtime=184.44 /proc/24412/stat : 24412 (wbo1.4b) R 24410 24412 23875 0 -1 4202500 49177 0 0 0 18377 67 0 0 25 0 1 0 124631345 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/24412/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 184.44 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 184.516 CPU time (s): 184.467 CPU user time (s): 183.773 CPU system time (s): 0.693894 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 194216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 183.773 system time used= 0.693894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49177 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= 116 involuntary context switches= 350 runsolver used 0.306953 second user time and 0.931858 second system time The end
Begin job on node018 at 2010-06-26 01:49:10 IDJOB=2683445 IDBENCH=72112 IDSOLVER=1190 FILE ID=node018/2683445-1277509750 PBS_JOBID= 11190623 Free space on /tmp= 62488 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683445-1277509750/watcher-2683445-1277509750 -o /tmp/evaluation-result-2683445-1277509750/solver-2683445-1277509750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683445-1277509750.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9ecc28516d3a3a7225c9fe76fccfe7f RANDOM SEED=1257801098 node018.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.248 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.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842980 kB Buffers: 20476 kB Cached: 95864 kB SwapCached: 6088 kB Active: 80752 kB Inactive: 48320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842980 kB SwapTotal: 4192956 kB SwapFree: 4139084 kB Dirty: 3676 kB Writeback: 0 kB AnonPages: 11572 kB Mapped: 11916 kB Slab: 65036 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181920 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62488 MiB End job on node018 at 2010-06-26 01:52:15