Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 9316 | 183.991 | 184.055 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randec6fe1.cudf.paranoid.opb |
MD5SUM | a477a9044f2b3b58598ddfcaca6d0c17 |
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 | 9316 |
Best CPU time to get the best result obtained on this benchmark | 2.22266 |
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 | 5473 |
Total number of constraints | 24484 |
Number of constraints which are clauses | 24212 |
Number of constraints which are cardinality constraints (but not clauses) | 272 |
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 | 2046 |
Biggest coefficient in the objective function | 1497 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 826342 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1497 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 826342 |
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-2683393-1277509351.opb. 0.00/0.00 c Instance file HOME/instance-2683393-1277509351.opb 0.00/0.00 c File size is 780485 bytes. 0.09/0.11 c Highest Coefficient sum: 553 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.11 s | 0.09/0.12 c | Number Variables: 5473 | 0.09/0.12 c | Number Clauses: 24212 | 0.09/0.12 c | Number Cardinality: 272 | 0.09/0.12 c | Number PB Constraints: 0 | 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.14 c | 0 | 3510 25964 49664 | 8161 0 nan | 0.000 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c New solution: 460251 2.10/2.15 o 460251 2.10/2.15 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s 2.10/2.15 c =============================================================================== 2.10/2.15 c | 17 | 3510 25965 51613 | 8655 17 5 | 0.000 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c New solution: 458763 2.10/2.15 o 458763 2.10/2.15 c Elapsed CPU time: 2.12968 s Remaining CPU time: 177.87 s 2.10/2.15 c =============================================================================== 2.10/2.15 c | 18 | 3510 25966 53562 | 8655 18 5 | 0.000 % | 2.10/2.16 c =============================================================================== 2.10/2.16 c New solution: 421328 2.10/2.16 o 421328 2.10/2.16 c Elapsed CPU time: 2.13567 s Remaining CPU time: 177.864 s 2.10/2.16 c =============================================================================== 2.10/2.16 c | 20 | 3510 25967 55511 | 8655 20 5 | 0.000 % | 2.10/2.17 c =============================================================================== 2.10/2.17 c New solution: 332980 2.10/2.17 o 332980 2.10/2.17 c Elapsed CPU time: 2.14467 s Remaining CPU time: 177.855 s 2.10/2.17 c =============================================================================== 2.10/2.17 c | 24 | 3510 25968 57460 | 8656 24 5 | 0.000 % | 2.10/2.18 c =============================================================================== 2.10/2.18 c New solution: 332969 2.10/2.18 o 332969 2.10/2.18 c Elapsed CPU time: 2.15467 s Remaining CPU time: 177.845 s 2.10/2.18 c =============================================================================== 2.10/2.18 c | 24 | 3510 25969 59409 | 8656 24 5 | 0.000 % | 2.19/2.21 c =============================================================================== 2.19/2.21 c New solution: 303009 2.19/2.21 o 303009 2.19/2.21 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s 2.19/2.21 c =============================================================================== 2.19/2.21 c | 40 | 3510 25970 61358 | 8656 40 5 | 0.000 % | 2.19/2.22 c =============================================================================== 2.19/2.22 c New solution: 291022 2.19/2.22 o 291022 2.19/2.22 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s 2.19/2.22 c =============================================================================== 2.19/2.22 c | 47 | 3510 25971 63307 | 8657 47 5 | 0.000 % | 2.19/2.23 c =============================================================================== 2.19/2.23 c New solution: 258091 2.19/2.23 o 258091 2.19/2.23 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s 2.19/2.23 c =============================================================================== 2.19/2.23 c | 57 | 3510 25972 65256 | 8657 57 5 | 0.000 % | 2.19/2.25 c =============================================================================== 2.19/2.25 c New solution: 243101 2.19/2.25 o 243101 2.19/2.25 c Elapsed CPU time: 2.20167 s Remaining CPU time: 177.798 s 2.19/2.25 c =============================================================================== 2.19/2.25 c | 58 | 3510 25973 67205 | 8657 58 5 | 0.000 % | 2.19/2.26 c =============================================================================== 2.19/2.26 c New solution: 241622 2.19/2.26 o 241622 2.19/2.26 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s 2.19/2.26 c =============================================================================== 2.19/2.26 c | 61 | 3510 25974 69154 | 8658 61 5 | 0.000 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c New solution: 241606 2.19/2.27 o 241606 2.19/2.27 c Elapsed CPU time: 2.22566 s Remaining CPU time: 177.774 s 2.19/2.27 c =============================================================================== 2.19/2.27 c | 68 | 3510 25975 71103 | 8658 68 5 | 0.000 % | 2.19/2.29 c =============================================================================== 2.19/2.29 c New solution: 220635 2.19/2.29 o 220635 2.19/2.29 c Elapsed CPU time: 2.23766 s Remaining CPU time: 177.762 s 2.19/2.29 c =============================================================================== 2.19/2.29 c | 72 | 3510 25976 73052 | 8658 72 5 | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c New solution: 219163 2.29/2.30 o 219163 2.29/2.30 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s 2.29/2.30 c =============================================================================== 2.29/2.30 c | 74 | 3510 25977 75001 | 8659 74 5 | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.31 c New solution: 219150 2.29/2.31 o 219150 2.29/2.31 c Elapsed CPU time: 2.26066 s Remaining CPU time: 177.739 s 2.29/2.31 c =============================================================================== 2.29/2.31 c | 75 | 3510 25978 76950 | 8659 75 5 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: 219149 2.29/2.33 o 219149 2.29/2.33 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 79 | 3510 25979 78899 | 8659 79 5 | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 219148 2.29/2.35 o 219148 2.29/2.35 c Elapsed CPU time: 2.28965 s Remaining CPU time: 177.71 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 85 | 3510 25980 80848 | 8660 85 5 | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c New solution: 219147 2.29/2.36 o 219147 2.29/2.36 c Elapsed CPU time: 2.30365 s Remaining CPU time: 177.696 s 2.29/2.36 c =============================================================================== 2.29/2.36 c | 91 | 3510 25981 82797 | 8660 91 13 | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.42 c New solution: 160867 2.39/2.42 o 160867 2.39/2.42 c Elapsed CPU time: 2.34664 s Remaining CPU time: 177.653 s 2.39/2.42 c =============================================================================== 2.39/2.42 c | 137 | 3510 25982 84746 | 8660 137 10 | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 144377 2.39/2.43 o 144377 2.39/2.43 c Elapsed CPU time: 2.35964 s Remaining CPU time: 177.64 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 144 | 3510 25983 86695 | 8661 144 9 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 144371 2.39/2.45 o 144371 2.39/2.45 c Elapsed CPU time: 2.36964 s Remaining CPU time: 177.63 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 145 | 3510 25984 88644 | 8661 145 9 | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c New solution: 144370 2.39/2.46 o 144370 2.39/2.46 c Elapsed CPU time: 2.38764 s Remaining CPU time: 177.612 s 2.39/2.46 c =============================================================================== 2.39/2.46 c | 152 | 3510 25985 90593 | 8661 152 9 | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 139889 2.39/2.48 o 139889 2.39/2.48 c Elapsed CPU time: 2.39864 s Remaining CPU time: 177.601 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 152 | 3510 25986 92542 | 8662 152 9 | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: 139887 2.39/2.49 o 139887 2.39/2.49 c Elapsed CPU time: 2.41663 s Remaining CPU time: 177.583 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 153 | 3510 25987 94491 | 8662 153 9 | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c New solution: 138401 2.49/2.51 o 138401 2.49/2.51 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s 2.49/2.51 c =============================================================================== 2.49/2.51 c | 153 | 3510 25988 96440 | 8662 153 9 | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c New solution: 138400 2.49/2.53 o 138400 2.49/2.53 c Elapsed CPU time: 2.44763 s Remaining CPU time: 177.552 s 2.49/2.53 c =============================================================================== 2.49/2.53 c | 155 | 3510 25989 98389 | 8663 155 9 | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.55 c New solution: 138368 2.49/2.55 o 138368 2.49/2.55 c Elapsed CPU time: 2.47262 s Remaining CPU time: 177.527 s 2.49/2.55 c =============================================================================== 2.49/2.55 c | 157 | 3510 25990 100338 | 8663 157 9 | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c New solution: 123429 2.49/2.57 o 123429 2.49/2.57 c Elapsed CPU time: 2.48662 s Remaining CPU time: 177.513 s 2.49/2.57 c =============================================================================== 2.49/2.57 c | 157 | 3510 25991 102287 | 8663 157 9 | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c New solution: 123407 2.49/2.59 o 123407 2.49/2.59 c Elapsed CPU time: 2.51262 s Remaining CPU time: 177.487 s 2.49/2.59 c =============================================================================== 2.49/2.59 c | 157 | 3510 25992 104236 | 8664 157 9 | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: 123406 2.59/2.63 o 123406 2.59/2.63 c Elapsed CPU time: 2.54761 s Remaining CPU time: 177.452 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 164 | 3510 25993 106185 | 8664 164 21 | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 123405 2.69/2.79 o 123405 2.69/2.79 c Elapsed CPU time: 2.70159 s Remaining CPU time: 177.298 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 196 | 3510 25994 108134 | 8664 196 42 | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c New solution: 100995 2.79/2.81 o 100995 2.79/2.81 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s 2.79/2.81 c =============================================================================== 2.79/2.81 c | 204 | 3510 25995 110083 | 8665 204 41 | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c New solution: 100990 2.79/2.82 o 100990 2.79/2.82 c Elapsed CPU time: 2.73358 s Remaining CPU time: 177.266 s 2.79/2.82 c =============================================================================== 2.79/2.82 c | 204 | 3510 25996 112032 | 8665 204 41 | 0.000 % | 2.79/2.84 c =============================================================================== 2.79/2.84 c New solution: 100988 2.79/2.84 o 100988 2.79/2.84 c Elapsed CPU time: 2.74858 s Remaining CPU time: 177.251 s 2.79/2.84 c =============================================================================== 2.79/2.84 c | 205 | 3510 25997 113981 | 8665 205 41 | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.86 c New solution: 100986 2.79/2.86 o 100986 2.79/2.86 c Elapsed CPU time: 2.77158 s Remaining CPU time: 177.228 s 2.79/2.86 c =============================================================================== 2.79/2.86 c | 207 | 3510 25998 115930 | 8666 207 46 | 0.000 % | 2.79/2.89 c =============================================================================== 2.79/2.89 c New solution: 100975 2.79/2.89 o 100975 2.79/2.89 c Elapsed CPU time: 2.79757 s Remaining CPU time: 177.202 s 2.79/2.89 c =============================================================================== 2.79/2.89 c | 218 | 3510 25999 117879 | 8666 218 47 | 0.000 % | 3.19/3.28 c =============================================================================== 3.19/3.28 c New solution: 100965 3.19/3.28 o 100965 3.19/3.28 c Elapsed CPU time: 3.18352 s Remaining CPU time: 176.816 s 3.19/3.28 c =============================================================================== 3.19/3.28 c | 268 | 3510 26000 119828 | 8666 268 65 | 0.000 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c New solution: 99490 3.30/3.31 o 99490 3.30/3.31 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s 3.30/3.31 c =============================================================================== 3.30/3.31 c | 273 | 3510 26001 121777 | 8667 273 64 | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c New solution: 98020 3.30/3.33 o 98020 3.30/3.33 c Elapsed CPU time: 3.23051 s Remaining CPU time: 176.769 s 3.30/3.33 c =============================================================================== 3.30/3.33 c | 274 | 3510 26002 123726 | 8667 274 64 | 0.000 % | 3.30/3.35 c =============================================================================== 3.30/3.35 c New solution: 98017 3.30/3.35 o 98017 3.30/3.35 c Elapsed CPU time: 3.24951 s Remaining CPU time: 176.75 s 3.30/3.35 c =============================================================================== 3.30/3.35 c | 274 | 3510 26003 125675 | 8667 274 64 | 0.000 % | 3.30/3.37 c =============================================================================== 3.30/3.37 c New solution: 98000 3.30/3.37 o 98000 3.30/3.37 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s 3.30/3.37 c =============================================================================== 3.30/3.37 c | 274 | 3510 26004 127624 | 8668 274 64 | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c New solution: 97999 3.30/3.39 o 97999 3.30/3.39 c Elapsed CPU time: 3.2885 s Remaining CPU time: 176.712 s 3.30/3.39 c =============================================================================== 3.30/3.39 c | 276 | 3510 26005 129573 | 8668 276 65 | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 97973 3.49/3.53 o 97973 3.49/3.53 c Elapsed CPU time: 3.43048 s Remaining CPU time: 176.57 s 3.49/3.53 c =============================================================================== 3.49/3.53 c | 280 | 3510 26006 131522 | 8668 280 65 | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: 97963 3.59/3.66 o 97963 3.59/3.66 c Elapsed CPU time: 3.55946 s Remaining CPU time: 176.441 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 285 | 3510 26007 133471 | 8669 285 67 | 0.000 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c New solution: 97962 3.69/3.72 o 97962 3.69/3.72 c Elapsed CPU time: 3.61745 s Remaining CPU time: 176.383 s 3.69/3.72 c =============================================================================== 3.69/3.72 c | 285 | 3510 26008 135420 | 8669 285 67 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: 96492 3.79/3.80 o 96492 3.79/3.80 c Elapsed CPU time: 3.69744 s Remaining CPU time: 176.303 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 289 | 3510 26009 137369 | 8669 289 66 | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c New solution: 96490 3.79/3.86 o 96490 3.79/3.86 c Elapsed CPU time: 3.75443 s Remaining CPU time: 176.246 s 3.79/3.86 c =============================================================================== 3.79/3.86 c | 289 | 3510 26010 139318 | 8670 289 66 | 0.000 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c New solution: 96489 3.79/3.89 o 96489 3.79/3.89 c Elapsed CPU time: 3.77543 s Remaining CPU time: 176.225 s 3.79/3.89 c =============================================================================== 3.79/3.89 c | 289 | 3510 26011 141267 | 8670 289 66 | 0.000 % | 3.89/3.95 c =============================================================================== 3.89/3.95 c New solution: 96488 3.89/3.95 o 96488 3.89/3.95 c Elapsed CPU time: 3.83642 s Remaining CPU time: 176.164 s 3.89/3.95 c =============================================================================== 3.89/3.95 c | 289 | 3510 26012 143216 | 8670 289 66 | 0.000 % | 3.89/3.97 c =============================================================================== 3.89/3.97 c New solution: 96487 3.89/3.97 o 96487 3.89/3.97 c Elapsed CPU time: 3.85741 s Remaining CPU time: 176.143 s 3.89/3.97 c =============================================================================== 3.89/3.97 c | 289 | 3510 26013 145165 | 8671 289 66 | 0.000 % | 3.99/4.03 c =============================================================================== 3.99/4.03 c New solution: 96486 3.99/4.03 o 96486 3.99/4.03 c Elapsed CPU time: 3.9144 s Remaining CPU time: 176.086 s 3.99/4.03 c =============================================================================== 3.99/4.03 c | 289 | 3510 26014 147114 | 8671 289 66 | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c New solution: 96485 3.99/4.05 o 96485 3.99/4.05 c Elapsed CPU time: 3.9354 s Remaining CPU time: 176.065 s 3.99/4.05 c =============================================================================== 3.99/4.05 c | 289 | 3510 26015 149063 | 8671 289 66 | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c New solution: 96484 4.09/4.12 o 96484 4.09/4.12 c Elapsed CPU time: 3.99739 s Remaining CPU time: 176.003 s 4.09/4.12 c =============================================================================== 4.09/4.12 c | 289 | 3510 26016 151012 | 8672 289 66 | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 96483 4.09/4.14 o 96483 4.09/4.14 c Elapsed CPU time: 4.01839 s Remaining CPU time: 175.982 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 289 | 3510 26017 152961 | 8672 289 66 | 0.000 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c New solution: 96482 4.19/4.20 o 96482 4.19/4.20 c Elapsed CPU time: 4.08038 s Remaining CPU time: 175.92 s 4.19/4.20 c =============================================================================== 4.19/4.20 c | 290 | 3510 26018 154910 | 8672 290 69 | 0.000 % | 4.40/4.47 c =============================================================================== 4.40/4.47 c New solution: 96481 4.40/4.47 o 96481 4.40/4.47 c Elapsed CPU time: 4.34534 s Remaining CPU time: 175.655 s 4.40/4.47 c =============================================================================== 4.40/4.47 c | 297 | 3510 26019 156859 | 8673 297 74 | 0.000 % | 4.49/4.55 c =============================================================================== 4.49/4.55 c New solution: 96460 4.49/4.55 o 96460 4.49/4.55 c Elapsed CPU time: 4.42833 s Remaining CPU time: 175.572 s 4.49/4.55 c =============================================================================== 4.49/4.55 c | 301 | 3510 26020 158808 | 8673 301 80 | 0.000 % | 4.79/4.81 c | 402 | 3510 26020 158808 | 9540 402 227 | 35.867 % | 5.19/5.28 c | 552 | 3510 26020 158808 | 10494 552 335 | 35.867 % | 5.29/5.34 c =============================================================================== 5.29/5.34 c New solution: 96459 5.29/5.34 o 96459 5.29/5.34 c Elapsed CPU time: 5.21621 s Remaining CPU time: 174.784 s 5.29/5.34 c =============================================================================== 5.29/5.34 c | 571 | 3510 26021 160757 | 8673 571 338 | 35.867 % | 5.29/5.38 c =============================================================================== 5.29/5.38 c New solution: 94988 5.29/5.38 o 94988 5.29/5.38 c Elapsed CPU time: 5.2542 s Remaining CPU time: 174.746 s 5.29/5.38 c =============================================================================== 5.29/5.38 c | 577 | 3510 26022 162706 | 8674 577 338 | 35.867 % | 5.39/5.43 c =============================================================================== 5.39/5.43 c New solution: 94987 5.39/5.43 o 94987 5.39/5.43 c Elapsed CPU time: 5.30719 s Remaining CPU time: 174.693 s 5.39/5.43 c =============================================================================== 5.39/5.43 c | 589 | 3510 26023 164655 | 8674 589 342 | 35.867 % | 5.39/5.48 c =============================================================================== 5.39/5.48 c New solution: 94972 5.39/5.48 o 94972 5.39/5.48 c Elapsed CPU time: 5.35618 s Remaining CPU time: 174.644 s 5.39/5.48 c =============================================================================== 5.39/5.48 c | 590 | 3510 26024 166604 | 8674 590 342 | 35.867 % | 5.49/5.53 c =============================================================================== 5.49/5.53 c New solution: 94966 5.49/5.53 o 94966 5.49/5.53 c Elapsed CPU time: 5.40318 s Remaining CPU time: 174.597 s 5.49/5.53 c =============================================================================== 5.49/5.53 c | 590 | 3510 26025 168553 | 8675 590 342 | 35.867 % | 5.49/5.58 c =============================================================================== 5.49/5.58 c New solution: 94965 5.49/5.58 o 94965 5.49/5.58 c Elapsed CPU time: 5.44917 s Remaining CPU time: 174.551 s 5.49/5.58 c =============================================================================== 5.49/5.58 c | 590 | 3510 26026 170502 | 8675 590 342 | 35.867 % | 5.58/5.63 c =============================================================================== 5.58/5.63 c New solution: 94964 5.58/5.63 o 94964 5.58/5.63 c Elapsed CPU time: 5.49816 s Remaining CPU time: 174.502 s 5.58/5.63 c =============================================================================== 5.58/5.63 c | 591 | 3510 26027 172451 | 8675 591 341 | 35.867 % | 5.58/5.67 c =============================================================================== 5.58/5.67 c New solution: 94963 5.58/5.67 o 94963 5.58/5.67 c Elapsed CPU time: 5.54416 s Remaining CPU time: 174.456 s 5.58/5.67 c =============================================================================== 5.58/5.67 c | 592 | 3510 26028 174400 | 8676 592 342 | 35.867 % | 5.69/5.70 c =============================================================================== 5.69/5.70 c New solution: 93492 5.69/5.70 o 93492 5.69/5.70 c Elapsed CPU time: 5.57115 s Remaining CPU time: 174.429 s 5.69/5.70 c =============================================================================== 5.69/5.70 c | 593 | 3510 26029 176349 | 8676 593 341 | 35.867 % | 5.69/5.73 c =============================================================================== 5.69/5.73 c New solution: 93491 5.69/5.73 o 93491 5.69/5.73 c Elapsed CPU time: 5.60115 s Remaining CPU time: 174.399 s 5.69/5.73 c =============================================================================== 5.69/5.73 c | 594 | 3510 26030 178298 | 8676 594 340 | 35.867 % | 5.69/5.76 c =============================================================================== 5.69/5.76 c New solution: 93485 5.69/5.76 o 93485 5.69/5.76 c Elapsed CPU time: 5.62614 s Remaining CPU time: 174.374 s 5.69/5.76 c =============================================================================== 5.69/5.76 c | 594 | 3510 26031 180247 | 8677 594 340 | 35.867 % | 5.79/5.81 c =============================================================================== 5.79/5.81 c New solution: 93484 5.79/5.81 o 93484 5.79/5.81 c Elapsed CPU time: 5.67114 s Remaining CPU time: 174.329 s 5.79/5.81 c =============================================================================== 5.79/5.81 c | 595 | 3510 26032 182196 | 8677 595 341 | 35.867 % | 5.79/5.85 c =============================================================================== 5.79/5.85 c New solution: 93460 5.79/5.85 o 93460 5.79/5.85 c Elapsed CPU time: 5.71913 s Remaining CPU time: 174.281 s 5.79/5.85 c =============================================================================== 5.79/5.85 c | 595 | 3510 26033 184145 | 8677 595 341 | 35.867 % | 5.89/5.90 c =============================================================================== 5.89/5.90 c New solution: 93459 5.89/5.90 o 93459 5.89/5.90 c Elapsed CPU time: 5.76512 s Remaining CPU time: 174.235 s 5.89/5.90 c =============================================================================== 5.89/5.90 c | 596 | 3510 26034 186094 | 8678 596 340 | 35.867 % | 5.89/5.95 c =============================================================================== 5.89/5.95 c New solution: 93458 5.89/5.95 o 93458 5.89/5.95 c Elapsed CPU time: 5.81012 s Remaining CPU time: 174.19 s 5.89/5.95 c =============================================================================== 5.89/5.95 c | 596 | 3510 26035 188043 | 8678 596 340 | 35.867 % | 5.89/6.00 c =============================================================================== 5.89/6.00 c New solution: 93457 5.89/6.00 o 93457 5.89/6.00 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s 5.89/6.00 c =============================================================================== 5.89/6.00 c | 596 | 3510 26036 189992 | 8678 596 340 | 35.867 % | 5.99/6.04 c =============================================================================== 5.99/6.04 c New solution: 93456 5.99/6.04 o 93456 5.99/6.04 c Elapsed CPU time: 5.9021 s Remaining CPU time: 174.098 s 5.99/6.04 c =============================================================================== 5.99/6.04 c | 596 | 3510 26037 191941 | 8679 596 340 | 35.867 % | 6.09/6.10 c =============================================================================== 6.09/6.10 c New solution: 93455 6.09/6.10 o 93455 6.09/6.10 c Elapsed CPU time: 5.95809 s Remaining CPU time: 174.042 s 6.09/6.10 c =============================================================================== 6.09/6.10 c | 603 | 3510 26038 193890 | 8679 603 344 | 35.867 % | 6.09/6.14 c =============================================================================== 6.09/6.14 c New solution: 91983 6.09/6.14 o 91983 6.09/6.14 c Elapsed CPU time: 5.99809 s Remaining CPU time: 174.002 s 6.09/6.14 c =============================================================================== 6.09/6.14 c | 607 | 3510 26039 195839 | 8679 607 345 | 35.867 % | 6.19/6.21 c =============================================================================== 6.19/6.21 c New solution: 91982 6.19/6.21 o 91982 6.19/6.21 c Elapsed CPU time: 6.07208 s Remaining CPU time: 173.928 s 6.19/6.21 c =============================================================================== 6.19/6.21 c | 621 | 3510 26040 197788 | 8680 621 350 | 35.867 % | 6.29/6.32 c =============================================================================== 6.29/6.32 c New solution: 91968 6.29/6.32 o 91968 6.29/6.32 c Elapsed CPU time: 6.17406 s Remaining CPU time: 173.826 s 6.29/6.32 c =============================================================================== 6.29/6.32 c | 621 | 3510 26041 199737 | 8680 621 350 | 35.867 % | 6.39/6.42 c =============================================================================== 6.39/6.42 c New solution: 91967 6.39/6.42 o 91967 6.39/6.42 c Elapsed CPU time: 6.27705 s Remaining CPU time: 173.723 s 6.39/6.42 c =============================================================================== 6.39/6.42 c | 621 | 3510 26042 201686 | 8680 621 350 | 35.867 % | 6.50/6.53 c =============================================================================== 6.50/6.53 c New solution: 91966 6.50/6.53 o 91966 6.50/6.53 c Elapsed CPU time: 6.38103 s Remaining CPU time: 173.619 s 6.50/6.53 c =============================================================================== 6.50/6.53 c | 621 | 3510 26043 203635 | 8681 621 350 | 35.867 % | 6.60/6.64 c =============================================================================== 6.60/6.64 c New solution: 91964 6.60/6.64 o 91964 6.60/6.64 c Elapsed CPU time: 6.48601 s Remaining CPU time: 173.514 s 6.60/6.64 c =============================================================================== 6.60/6.64 c | 621 | 3510 26044 205584 | 8681 621 350 | 35.867 % | 6.69/6.74 c =============================================================================== 6.69/6.74 c New solution: 91963 6.69/6.74 o 91963 6.69/6.74 c Elapsed CPU time: 6.591 s Remaining CPU time: 173.409 s 6.69/6.74 c =============================================================================== 6.69/6.74 c | 621 | 3510 26045 207533 | 8681 621 350 | 35.867 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 91962 6.79/6.85 o 91962 6.79/6.85 c Elapsed CPU time: 6.69498 s Remaining CPU time: 173.305 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 621 | 3510 26046 209482 | 8682 621 350 | 35.867 % | 6.89/6.95 c =============================================================================== 6.89/6.95 c New solution: 91961 6.89/6.95 o 91961 6.89/6.95 c Elapsed CPU time: 6.80097 s Remaining CPU time: 173.199 s 6.89/6.95 c =============================================================================== 6.89/6.95 c | 622 | 3510 26047 211431 | 8682 622 349 | 35.867 % | 6.99/7.06 c =============================================================================== 6.99/7.06 c New solution: 91960 6.99/7.06 o 91960 6.99/7.06 c Elapsed CPU time: 6.90495 s Remaining CPU time: 173.095 s 6.99/7.06 c =============================================================================== 6.99/7.06 c | 622 | 3510 26048 213380 | 8682 622 349 | 35.867 % | 7.09/7.17 c =============================================================================== 7.09/7.17 c New solution: 91959 7.09/7.17 o 91959 7.09/7.17 c Elapsed CPU time: 7.01093 s Remaining CPU time: 172.989 s 7.09/7.17 c =============================================================================== 7.09/7.17 c | 622 | 3510 26049 215329 | 8683 622 349 | 35.867 % | 7.18/7.27 c =============================================================================== 7.18/7.27 c New solution: 91958 7.18/7.27 o 91958 7.18/7.27 c Elapsed CPU time: 7.11792 s Remaining CPU time: 172.882 s 7.18/7.27 c =============================================================================== 7.18/7.27 c | 622 | 3510 26050 217278 | 8683 622 349 | 35.867 % | 7.59/7.61 c | 722 | 3510 26050 217278 | 9551 722 392 | 35.867 % | 8.19/8.23 c | 873 | 3510 26050 217278 | 10506 873 440 | 35.867 % | 9.19/9.22 c | 1098 | 3510 26050 217278 | 11557 1098 486 | 35.867 % | 9.29/9.31 c =============================================================================== 9.29/9.31 c New solution: 91957 9.29/9.31 o 91957 9.29/9.31 c Elapsed CPU time: 9.14361 s Remaining CPU time: 170.856 s 9.29/9.31 c =============================================================================== 9.29/9.31 c | 1100 | 3510 26051 219227 | 8683 1100 486 | 35.867 % | 9.39/9.42 c =============================================================================== 9.39/9.42 c New solution: 91956 9.39/9.42 o 91956 9.39/9.42 c Elapsed CPU time: 9.25459 s Remaining CPU time: 170.745 s 9.39/9.42 c =============================================================================== 9.39/9.42 c | 1110 | 3510 26052 221176 | 8684 1110 487 | 35.867 % | 9.39/9.49 c =============================================================================== 9.39/9.49 c New solution: 91955 9.39/9.49 o 91955 9.39/9.49 c Elapsed CPU time: 9.31958 s Remaining CPU time: 170.68 s 9.39/9.49 c =============================================================================== 9.39/9.49 c | 1112 | 3510 26053 223125 | 8684 1112 488 | 35.867 % | 9.79/9.88 c | 1212 | 3510 26053 223125 | 9552 1212 502 | 35.867 % | 10.38/10.40 c | 1363 | 3510 26053 223125 | 10508 1363 519 | 35.867 % | 10.38/10.48 c =============================================================================== 10.38/10.48 c New solution: 91954 10.38/10.48 o 91954 10.38/10.48 c Elapsed CPU time: 10.3114 s Remaining CPU time: 169.689 s 10.38/10.48 c =============================================================================== 10.38/10.48 c | 1368 | 3510 26054 225074 | 8684 1368 519 | 35.867 % | 10.49/10.57 c =============================================================================== 10.49/10.57 c New solution: 90498 10.49/10.57 o 90498 10.49/10.57 c Elapsed CPU time: 10.4034 s Remaining CPU time: 169.597 s 10.49/10.57 c =============================================================================== 10.49/10.57 c | 1377 | 3510 26055 227023 | 8685 1377 517 | 35.867 % | 10.59/10.64 c =============================================================================== 10.59/10.64 c New solution: 90476 10.59/10.64 o 90476 10.59/10.64 c Elapsed CPU time: 10.4684 s Remaining CPU time: 169.532 s 10.59/10.64 c =============================================================================== 10.59/10.64 c | 1377 | 3510 26056 228972 | 8685 1377 517 | 35.867 % | 10.69/10.72 c =============================================================================== 10.69/10.72 c New solution: 90475 10.69/10.72 o 90475 10.69/10.72 c Elapsed CPU time: 10.5484 s Remaining CPU time: 169.452 s 10.69/10.72 c =============================================================================== 10.69/10.72 c | 1377 | 3510 26057 230921 | 8685 1377 517 | 35.867 % | 10.79/10.80 c =============================================================================== 10.79/10.80 c New solution: 90474 10.79/10.80 o 90474 10.79/10.80 c Elapsed CPU time: 10.6324 s Remaining CPU time: 169.368 s 10.79/10.80 c =============================================================================== 10.79/10.80 c | 1378 | 3510 26058 232870 | 8686 1378 517 | 35.867 % | 10.79/10.86 c =============================================================================== 10.79/10.86 c New solution: 90473 10.79/10.86 o 90473 10.79/10.86 c Elapsed CPU time: 10.6814 s Remaining CPU time: 169.319 s 10.79/10.86 c =============================================================================== 10.79/10.86 c | 1381 | 3510 26059 234819 | 8686 1381 517 | 35.867 % | 10.89/10.95 c =============================================================================== 10.89/10.95 c New solution: 90472 10.89/10.95 o 90472 10.89/10.95 c Elapsed CPU time: 10.7714 s Remaining CPU time: 169.229 s 10.89/10.95 c =============================================================================== 10.89/10.95 c | 1383 | 3510 26060 236768 | 8686 1383 517 | 35.867 % | 10.99/11.03 c =============================================================================== 10.99/11.03 c New solution: 90471 10.99/11.03 o 90471 10.99/11.03 c Elapsed CPU time: 10.8493 s Remaining CPU time: 169.151 s 10.99/11.03 c =============================================================================== 10.99/11.03 c | 1384 | 3510 26061 238717 | 8687 1384 517 | 35.867 % | 11.08/11.15 c =============================================================================== 11.08/11.15 c New solution: 90470 11.08/11.15 o 90470 11.08/11.15 c Elapsed CPU time: 10.9773 s Remaining CPU time: 169.023 s 11.08/11.15 c =============================================================================== 11.08/11.15 c | 1388 | 3510 26062 240666 | 8687 1388 517 | 35.867 % | 11.18/11.23 c =============================================================================== 11.18/11.23 c New solution: 90469 11.18/11.23 o 90469 11.18/11.23 c Elapsed CPU time: 11.0493 s Remaining CPU time: 168.951 s 11.18/11.23 c =============================================================================== 11.18/11.23 c | 1390 | 3510 26063 242615 | 8687 1390 517 | 35.867 % | 11.48/11.53 c | 1491 | 3510 26063 242615 | 9556 1491 528 | 35.867 % | 11.59/11.60 c =============================================================================== 11.59/11.60 c New solution: 90468 11.59/11.60 o 90468 11.59/11.60 c Elapsed CPU time: 11.4233 s Remaining CPU time: 168.577 s 11.59/11.60 c =============================================================================== 11.59/11.60 c | 1493 | 3510 26064 244564 | 8688 1493 528 | 35.867 % | 11.59/11.68 c =============================================================================== 11.59/11.68 c New solution: 90467 11.59/11.68 o 90467 11.59/11.68 c Elapsed CPU time: 11.5033 s Remaining CPU time: 168.497 s 11.59/11.68 c =============================================================================== 11.59/11.68 c | 1497 | 3510 26065 246513 | 8688 1497 528 | 35.867 % | 11.69/11.76 c =============================================================================== 11.69/11.76 c New solution: 90466 11.69/11.76 o 90466 11.69/11.76 c Elapsed CPU time: 11.5822 s Remaining CPU time: 168.418 s 11.69/11.76 c =============================================================================== 11.69/11.76 c | 1500 | 3510 26066 248462 | 8688 1500 528 | 35.867 % | 11.79/11.85 c =============================================================================== 11.79/11.85 c New solution: 90465 11.79/11.85 o 90465 11.79/11.85 c Elapsed CPU time: 11.6652 s Remaining CPU time: 168.335 s 11.79/11.85 c =============================================================================== 11.79/11.85 c | 1507 | 3510 26067 250411 | 8689 1507 528 | 35.867 % | 11.89/11.93 c =============================================================================== 11.89/11.93 c New solution: 90464 11.89/11.93 o 90464 11.89/11.93 c Elapsed CPU time: 11.7412 s Remaining CPU time: 168.259 s 11.89/11.93 c =============================================================================== 11.89/11.93 c | 1508 | 3510 26068 252360 | 8689 1508 527 | 35.867 % | 11.99/12.06 c =============================================================================== 11.99/12.06 c New solution: 90463 11.99/12.06 o 90463 11.99/12.06 c Elapsed CPU time: 11.8692 s Remaining CPU time: 168.131 s 11.99/12.06 c =============================================================================== 11.99/12.06 c | 1510 | 3510 26069 254309 | 8689 1510 527 | 35.867 % | 12.09/12.15 c =============================================================================== 12.09/12.15 c New solution: 90462 12.09/12.15 o 90462 12.09/12.15 c Elapsed CPU time: 11.9652 s Remaining CPU time: 168.035 s 12.09/12.15 c =============================================================================== 12.09/12.15 c | 1516 | 3510 26070 256258 | 8690 1516 527 | 35.867 % | 12.68/12.74 c | 1616 | 3510 26070 256258 | 9559 1616 536 | 35.867 % | 12.78/12.83 c =============================================================================== 12.78/12.83 c New solution: 90461 12.78/12.83 o 90461 12.78/12.83 c Elapsed CPU time: 12.6461 s Remaining CPU time: 167.354 s 12.78/12.83 c =============================================================================== 12.78/12.83 c | 1619 | 3510 26071 258207 | 8690 1619 537 | 35.867 % | 12.88/12.95 c =============================================================================== 12.88/12.95 c New solution: 90460 12.88/12.95 o 90460 12.88/12.95 c Elapsed CPU time: 12.7651 s Remaining CPU time: 167.235 s 12.88/12.95 c =============================================================================== 12.88/12.95 c | 1626 | 3510 26072 260156 | 8690 1626 537 | 35.867 % | 12.98/13.05 c =============================================================================== 12.98/13.05 c New solution: 90459 12.98/13.05 o 90459 12.98/13.05 c Elapsed CPU time: 12.859 s Remaining CPU time: 167.141 s 12.98/13.05 c =============================================================================== 12.98/13.05 c | 1627 | 3510 26073 262105 | 8691 1627 537 | 35.867 % | 13.09/13.14 c =============================================================================== 13.09/13.14 c New solution: 90458 13.09/13.14 o 90458 13.09/13.14 c Elapsed CPU time: 12.946 s Remaining CPU time: 167.054 s 13.09/13.14 c =============================================================================== 13.09/13.14 c | 1629 | 3510 26074 264054 | 8691 1629 537 | 35.867 % | 13.20/13.22 c =============================================================================== 13.20/13.22 c New solution: 90457 13.20/13.22 o 90457 13.20/13.22 c Elapsed CPU time: 13.031 s Remaining CPU time: 166.969 s 13.20/13.22 c =============================================================================== 13.20/13.22 c | 1629 | 3510 26075 266003 | 8691 1629 537 | 35.867 % | 13.29/13.31 c =============================================================================== 13.29/13.31 c New solution: 90456 13.29/13.31 o 90456 13.29/13.31 c Elapsed CPU time: 13.12 s Remaining CPU time: 166.88 s 13.29/13.31 c =============================================================================== 13.29/13.31 c | 1630 | 3510 26076 267952 | 8692 1630 537 | 35.867 % | 13.39/13.40 c =============================================================================== 13.39/13.40 c New solution: 90455 13.39/13.40 o 90455 13.39/13.40 c Elapsed CPU time: 13.207 s Remaining CPU time: 166.793 s 13.39/13.40 c =============================================================================== 13.39/13.40 c | 1637 | 3510 26077 269901 | 8692 1637 537 | 35.867 % | 13.98/14.01 c | 1737 | 3510 26077 269901 | 9561 1737 544 | 35.867 % | 14.58/14.64 c | 1888 | 3510 26077 269901 | 10517 1888 554 | 35.867 % | 14.68/14.74 c =============================================================================== 14.68/14.74 c New solution: 90454 14.68/14.74 o 90454 14.68/14.74 c Elapsed CPU time: 14.5408 s Remaining CPU time: 165.459 s 14.68/14.74 c =============================================================================== 14.68/14.74 c | 1888 | 3510 26078 271850 | 8692 1888 554 | 35.867 % | 14.78/14.84 c =============================================================================== 14.78/14.84 c New solution: 90453 14.78/14.84 o 90453 14.78/14.84 c Elapsed CPU time: 14.6398 s Remaining CPU time: 165.36 s 14.78/14.84 c =============================================================================== 14.78/14.84 c | 1888 | 3510 26079 273799 | 8693 1888 554 | 35.867 % | 14.88/14.94 c =============================================================================== 14.88/14.94 c New solution: 90452 14.88/14.94 o 90452 14.88/14.94 c Elapsed CPU time: 14.7368 s Remaining CPU time: 165.263 s 14.88/14.94 c =============================================================================== 14.88/14.94 c | 1888 | 3510 26080 275748 | 8693 1888 554 | 35.867 % | 14.98/15.04 c =============================================================================== 14.98/15.04 c New solution: 90451 14.98/15.04 o 90451 14.98/15.04 c Elapsed CPU time: 14.8407 s Remaining CPU time: 165.159 s 14.98/15.04 c =============================================================================== 14.98/15.04 c | 1891 | 3510 26081 277697 | 8693 1891 554 | 35.867 % | 15.40/15.48 c | 1991 | 3510 26081 277697 | 9563 1991 559 | 35.867 % | 16.19/16.26 c | 2141 | 3510 26081 277697 | 10519 2141 565 | 35.867 % | 16.29/16.35 c =============================================================================== 16.29/16.35 c New solution: 90450 16.29/16.35 o 90450 16.29/16.35 c Elapsed CPU time: 16.1475 s Remaining CPU time: 163.852 s 16.29/16.35 c =============================================================================== 16.29/16.35 c | 2142 | 3510 26082 279646 | 8694 2142 565 | 35.867 % | 16.39/16.44 c =============================================================================== 16.39/16.44 c New solution: 90449 16.39/16.44 o 90449 16.39/16.44 c Elapsed CPU time: 16.2395 s Remaining CPU time: 163.76 s 16.39/16.44 c =============================================================================== 16.39/16.44 c | 2142 | 3510 26083 281595 | 8694 2142 565 | 35.867 % | 16.49/16.53 c =============================================================================== 16.49/16.53 c New solution: 90448 16.49/16.53 o 90448 16.49/16.53 c Elapsed CPU time: 16.3195 s Remaining CPU time: 163.68 s 16.49/16.53 c =============================================================================== 16.49/16.53 c | 2143 | 3510 26084 283544 | 8694 2143 565 | 35.867 % | 16.98/17.01 c | 2243 | 3510 26084 283544 | 9564 2243 569 | 35.867 % | 17.08/17.10 c =============================================================================== 17.08/17.10 c New solution: 90447 17.08/17.10 o 90447 17.08/17.10 c Elapsed CPU time: 16.8904 s Remaining CPU time: 163.11 s 17.08/17.10 c =============================================================================== 17.08/17.10 c | 2245 | 3510 26085 285493 | 8695 2245 570 | 35.867 % | 17.08/17.15 c =============================================================================== 17.08/17.15 c New solution: 90446 17.08/17.15 o 90446 17.08/17.15 c Elapsed CPU time: 16.9444 s Remaining CPU time: 163.056 s 17.08/17.15 c =============================================================================== 17.08/17.15 c | 2250 | 3510 26086 287442 | 8695 2250 569 | 35.867 % | 17.59/17.66 c | 2350 | 3510 26086 287442 | 9564 2350 573 | 35.867 % | 17.69/17.70 c =============================================================================== 17.69/17.70 c New solution: 90445 17.69/17.70 o 90445 17.69/17.70 c Elapsed CPU time: 17.4853 s Remaining CPU time: 162.515 s 17.69/17.70 c =============================================================================== 17.69/17.70 c | 2351 | 3510 26087 289391 | 8695 2351 572 | 35.867 % | 17.69/17.77 c =============================================================================== 17.69/17.77 c New solution: 88982 17.69/17.77 o 88982 17.69/17.77 c Elapsed CPU time: 17.5543 s Remaining CPU time: 162.446 s 17.69/17.77 c =============================================================================== 17.69/17.77 c | 2355 | 3510 26088 291340 | 8696 2355 572 | 35.867 % | 17.79/17.87 c =============================================================================== 17.79/17.87 c New solution: 88977 17.79/17.87 o 88977 17.79/17.87 c Elapsed CPU time: 17.6523 s Remaining CPU time: 162.348 s 17.79/17.87 c =============================================================================== 17.79/17.87 c | 2355 | 3510 26089 293289 | 8696 2355 572 | 35.867 % | 17.89/17.97 c =============================================================================== 17.89/17.97 c New solution: 88976 17.89/17.97 o 88976 17.89/17.97 c Elapsed CPU time: 17.7483 s Remaining CPU time: 162.252 s 17.89/17.97 c =============================================================================== 17.89/17.97 c | 2355 | 3510 26090 295238 | 8696 2355 572 | 35.867 % | 17.99/18.06 c =============================================================================== 17.99/18.06 c New solution: 88975 17.99/18.06 o 88975 17.99/18.06 c Elapsed CPU time: 17.8443 s Remaining CPU time: 162.156 s 17.99/18.06 c =============================================================================== 17.99/18.06 c | 2355 | 3510 26091 297187 | 8697 2355 572 | 35.867 % | 18.09/18.16 c =============================================================================== 18.09/18.16 c New solution: 88974 18.09/18.16 o 88974 18.09/18.16 c Elapsed CPU time: 17.9373 s Remaining CPU time: 162.063 s 18.09/18.16 c =============================================================================== 18.09/18.16 c | 2355 | 3510 26092 299136 | 8697 2355 572 | 35.867 % | 18.18/18.25 c =============================================================================== 18.18/18.25 c New solution: 88973 18.18/18.25 o 88973 18.18/18.25 c Elapsed CPU time: 18.0313 s Remaining CPU time: 161.969 s 18.18/18.25 c =============================================================================== 18.18/18.25 c | 2355 | 3510 26093 301085 | 8697 2355 572 | 35.867 % | 18.28/18.39 c =============================================================================== 18.28/18.39 c New solution: 88972 18.28/18.39 o 88972 18.28/18.39 c Elapsed CPU time: 18.1722 s Remaining CPU time: 161.828 s 18.28/18.39 c =============================================================================== 18.28/18.39 c | 2359 | 3510 26094 303034 | 8698 2359 571 | 35.867 % | 18.38/18.48 c =============================================================================== 18.38/18.48 c New solution: 88971 18.38/18.48 o 88971 18.38/18.48 c Elapsed CPU time: 18.2622 s Remaining CPU time: 161.738 s 18.38/18.48 c =============================================================================== 18.38/18.48 c | 2359 | 3510 26095 304983 | 8698 2359 571 | 35.867 % | 18.48/18.58 c =============================================================================== 18.48/18.58 c New solution: 88970 18.48/18.58 o 88970 18.48/18.58 c Elapsed CPU time: 18.3542 s Remaining CPU time: 161.646 s 18.48/18.58 c =============================================================================== 18.48/18.58 c | 2359 | 3510 26096 306932 | 8698 2359 571 | 35.867 % | 18.60/18.67 c =============================================================================== 18.60/18.67 c New solution: 88969 18.60/18.67 o 88969 18.60/18.67 c Elapsed CPU time: 18.4432 s Remaining CPU time: 161.557 s 18.60/18.67 c =============================================================================== 18.60/18.67 c | 2359 | 3510 26097 308881 | 8699 2359 571 | 35.867 % | 18.70/18.76 c =============================================================================== 18.70/18.76 c New solution: 88968 18.70/18.76 o 88968 18.70/18.76 c Elapsed CPU time: 18.5332 s Remaining CPU time: 161.467 s 18.70/18.76 c =============================================================================== 18.70/18.76 c | 2359 | 3510 26098 310830 | 8699 2359 571 | 35.867 % | 18.79/18.85 c =============================================================================== 18.79/18.85 c New solution: 88967 18.79/18.85 o 88967 18.79/18.85 c Elapsed CPU time: 18.6232 s Remaining CPU time: 161.377 s 18.79/18.85 c =============================================================================== 18.79/18.85 c | 2359 | 3510 26099 312779 | 8699 2359 571 | 35.867 % | 18.89/18.94 c =============================================================================== 18.89/18.94 c New solution: 88966 18.89/18.94 o 88966 18.89/18.94 c Elapsed CPU time: 18.7102 s Remaining CPU time: 161.29 s 18.89/18.94 c =============================================================================== 18.89/18.94 c | 2359 | 3510 26100 314728 | 8700 2359 571 | 35.867 % | 18.99/19.02 c =============================================================================== 18.99/19.02 c New solution: 88965 18.99/19.02 o 88965 18.99/19.02 c Elapsed CPU time: 18.7951 s Remaining CPU time: 161.205 s 18.99/19.02 c =============================================================================== 18.99/19.02 c | 2359 | 3510 26101 316677 | 8700 2359 571 | 35.867 % | 19.09/19.16 c =============================================================================== 19.09/19.16 c New solution: 88964 19.09/19.16 o 88964 19.09/19.16 c Elapsed CPU time: 18.9361 s Remaining CPU time: 161.064 s 19.09/19.16 c =============================================================================== 19.09/19.16 c | 2363 | 3510 26102 318626 | 8700 2363 571 | 35.867 % | 19.19/19.28 c =============================================================================== 19.19/19.28 c New solution: 88963 19.19/19.28 o 88963 19.19/19.28 c Elapsed CPU time: 19.0561 s Remaining CPU time: 160.944 s 19.19/19.28 c =============================================================================== 19.19/19.28 c | 2363 | 3510 26103 320575 | 8701 2363 571 | 35.867 % | 19.39/19.40 c =============================================================================== 19.39/19.40 c New solution: 88962 19.39/19.40 o 88962 19.39/19.40 c Elapsed CPU time: 19.1701 s Remaining CPU time: 160.83 s 19.39/19.40 c =============================================================================== 19.39/19.40 c | 2363 | 3510 26104 322524 | 8701 2363 571 | 35.867 % | 19.49/19.59 c =============================================================================== 19.49/19.59 c New solution: 88961 19.49/19.59 o 88961 19.49/19.59 c Elapsed CPU time: 19.3601 s Remaining CPU time: 160.64 s 19.49/19.59 c =============================================================================== 19.49/19.59 c | 2363 | 3510 26105 324473 | 8701 2363 571 | 35.867 % | 19.69/19.71 c =============================================================================== 19.69/19.71 c New solution: 88960 19.69/19.71 o 88960 19.69/19.71 c Elapsed CPU time: 19.477 s Remaining CPU time: 160.523 s 19.69/19.71 c =============================================================================== 19.69/19.71 c | 2363 | 3510 26106 326422 | 8702 2363 571 | 35.867 % | 19.79/19.82 c =============================================================================== 19.79/19.82 c New solution: 88959 19.79/19.82 o 88959 19.79/19.82 c Elapsed CPU time: 19.589 s Remaining CPU time: 160.411 s 19.79/19.82 c =============================================================================== 19.79/19.82 c | 2363 | 3510 26107 328371 | 8702 2363 571 | 35.867 % | 19.88/19.94 c =============================================================================== 19.88/19.94 c New solution: 88958 19.88/19.94 o 88958 19.88/19.94 c Elapsed CPU time: 19.708 s Remaining CPU time: 160.292 s 19.88/19.94 c =============================================================================== 19.88/19.94 c | 2364 | 3510 26108 330320 | 8702 2364 571 | 35.867 % | 19.98/20.02 c =============================================================================== 19.98/20.02 c New solution: 88957 19.98/20.02 o 88957 19.98/20.02 c Elapsed CPU time: 19.793 s Remaining CPU time: 160.207 s 19.98/20.02 c =============================================================================== 19.98/20.02 c | 2365 | 3510 26109 332269 | 8703 2365 571 | 35.867 % | 20.08/20.14 c =============================================================================== 20.08/20.14 c New solution: 88956 20.08/20.14 o 88956 20.08/20.14 c Elapsed CPU time: 19.907 s Remaining CPU time: 160.093 s 20.08/20.14 c =============================================================================== 20.08/20.14 c | 2369 | 3510 26110 334218 | 8703 2369 570 | 35.867 % | 20.08/20.18 c =============================================================================== 20.08/20.18 c New solution: 88955 20.08/20.18 o 88955 20.08/20.18 c Elapsed CPU time: 19.955 s Remaining CPU time: 160.045 s 20.08/20.18 c =============================================================================== 20.08/20.18 c | 2370 | 3510 26111 336167 | 8703 2370 570 | 35.867 % | 20.18/20.24 c =============================================================================== 20.18/20.24 c New solution: 88954 20.18/20.24 o 88954 20.18/20.24 c Elapsed CPU time: 20.009 s Remaining CPU time: 159.991 s 20.18/20.24 c =============================================================================== 20.18/20.24 c | 2372 | 3510 26112 338116 | 8704 2372 570 | 35.867 % | 20.18/20.28 c =============================================================================== 20.18/20.28 c New solution: 88953 20.18/20.28 o 88953 20.18/20.28 c Elapsed CPU time: 20.052 s Remaining CPU time: 159.948 s 20.18/20.28 c =============================================================================== 20.18/20.28 c | 2376 | 3510 26113 340065 | 8704 2376 570 | 35.867 % | 20.28/20.36 c =============================================================================== 20.28/20.36 c New solution: 87495 20.28/20.36 o 87495 20.28/20.36 c Elapsed CPU time: 20.1279 s Remaining CPU time: 159.872 s 20.28/20.36 c =============================================================================== 20.28/20.36 c | 2378 | 3510 26114 342014 | 8704 2378 570 | 35.867 % | 20.38/20.45 c =============================================================================== 20.38/20.45 c New solution: 87483 20.38/20.45 o 87483 20.38/20.45 c Elapsed CPU time: 20.2219 s Remaining CPU time: 159.778 s 20.38/20.45 c =============================================================================== 20.38/20.45 c | 2379 | 3510 26115 343963 | 8705 2379 570 | 35.867 % | 20.48/20.53 c =============================================================================== 20.48/20.53 c New solution: 87482 20.48/20.53 o 87482 20.48/20.53 c Elapsed CPU time: 20.2939 s Remaining CPU time: 159.706 s 20.48/20.53 c =============================================================================== 20.48/20.53 c | 2380 | 3510 26116 345912 | 8705 2380 570 | 35.867 % | 20.58/20.60 c =============================================================================== 20.58/20.60 c New solution: 87481 20.58/20.60 o 87481 20.58/20.60 c Elapsed CPU time: 20.3649 s Remaining CPU time: 159.635 s 20.58/20.60 c =============================================================================== 20.58/20.60 c | 2380 | 3510 26117 347861 | 8705 2380 570 | 35.867 % | 20.58/20.67 c =============================================================================== 20.58/20.67 c New solution: 87480 20.58/20.67 o 87480 20.58/20.67 c Elapsed CPU time: 20.4329 s Remaining CPU time: 159.567 s 20.58/20.67 c =============================================================================== 20.58/20.67 c | 2380 | 3510 26118 349810 | 8706 2380 570 | 35.867 % | 20.69/20.75 c =============================================================================== 20.69/20.75 c New solution: 86015 20.69/20.75 o 86015 20.69/20.75 c Elapsed CPU time: 20.5089 s Remaining CPU time: 159.491 s 20.69/20.75 c =============================================================================== 20.69/20.75 c | 2383 | 3510 26119 351759 | 8706 2383 569 | 35.867 % | 20.89/20.91 c =============================================================================== 20.89/20.91 c New solution: 86013 20.89/20.91 o 86013 20.89/20.91 c Elapsed CPU time: 20.6729 s Remaining CPU time: 159.327 s 20.89/20.91 c =============================================================================== 20.89/20.91 c | 2385 | 3510 26120 353708 | 8706 2385 569 | 35.867 % | 21.08/21.10 c =============================================================================== 21.08/21.10 c New solution: 85994 21.08/21.10 o 85994 21.08/21.10 c Elapsed CPU time: 20.8588 s Remaining CPU time: 159.141 s 21.08/21.10 c =============================================================================== 21.08/21.10 c | 2388 | 3510 26121 355657 | 8707 2388 569 | 35.867 % | 21.18/21.21 c =============================================================================== 21.18/21.21 c New solution: 85965 21.18/21.21 o 85965 21.18/21.21 c Elapsed CPU time: 20.9688 s Remaining CPU time: 159.031 s 21.18/21.21 c =============================================================================== 21.18/21.21 c | 2388 | 3510 26122 357606 | 8707 2388 569 | 35.867 % | 21.28/21.37 c =============================================================================== 21.28/21.37 c New solution: 85964 21.28/21.37 o 85964 21.28/21.37 c Elapsed CPU time: 21.1308 s Remaining CPU time: 158.869 s 21.28/21.37 c =============================================================================== 21.28/21.37 c | 2393 | 3510 26123 359555 | 8707 2393 569 | 35.867 % | 21.48/21.54 c =============================================================================== 21.48/21.54 c New solution: 84514 21.48/21.54 o 84514 21.48/21.54 c Elapsed CPU time: 21.2978 s Remaining CPU time: 158.702 s 21.48/21.54 c =============================================================================== 21.48/21.54 c | 2408 | 3510 26124 361504 | 8708 2408 569 | 35.867 % | 21.68/21.78 c =============================================================================== 21.68/21.78 c New solution: 84502 21.68/21.78 o 84502 21.68/21.78 c Elapsed CPU time: 21.5377 s Remaining CPU time: 158.462 s 21.68/21.78 c =============================================================================== 21.68/21.78 c | 2413 | 3510 26125 363453 | 8708 2413 568 | 35.867 % | 21.78/21.88 c =============================================================================== 21.78/21.88 c New solution: 84476 21.78/21.88 o 84476 21.78/21.88 c Elapsed CPU time: 21.6407 s Remaining CPU time: 158.359 s 21.78/21.88 c =============================================================================== 21.78/21.88 c | 2418 | 3510 26126 365402 | 8708 2418 568 | 35.867 % | 22.09/22.17 c =============================================================================== 22.09/22.17 c New solution: 84475 22.09/22.17 o 84475 22.09/22.17 c Elapsed CPU time: 21.9227 s Remaining CPU time: 158.077 s 22.09/22.17 c =============================================================================== 22.09/22.17 c | 2430 | 3510 26127 367351 | 8709 2430 569 | 35.867 % | 22.29/22.36 c =============================================================================== 22.29/22.36 c New solution: 84474 22.29/22.36 o 84474 22.29/22.36 c Elapsed CPU time: 22.1086 s Remaining CPU time: 157.891 s 22.29/22.36 c =============================================================================== 22.29/22.36 c | 2430 | 3510 26128 369300 | 8709 2430 569 | 35.867 % | 22.48/22.56 c =============================================================================== 22.48/22.56 c New solution: 84473 22.48/22.56 o 84473 22.48/22.56 c Elapsed CPU time: 22.3116 s Remaining CPU time: 157.688 s 22.48/22.56 c =============================================================================== 22.48/22.56 c | 2436 | 3510 26129 371249 | 8709 2436 569 | 35.867 % | 22.58/22.69 c =============================================================================== 22.58/22.69 c New solution: 84472 22.58/22.69 o 84472 22.58/22.69 c Elapsed CPU time: 22.4396 s Remaining CPU time: 157.56 s 22.58/22.69 c =============================================================================== 22.58/22.69 c | 2442 | 3510 26130 373198 | 8710 2442 569 | 35.867 % | 22.78/22.81 c =============================================================================== 22.78/22.81 c New solution: 84471 22.78/22.81 o 84471 22.78/22.81 c Elapsed CPU time: 22.5596 s Remaining CPU time: 157.44 s 22.78/22.81 c =============================================================================== 22.78/22.81 c | 2442 | 3510 26131 375147 | 8710 2442 569 | 35.867 % | 22.88/22.93 c =============================================================================== 22.88/22.93 c New solution: 84470 22.88/22.93 o 84470 22.88/22.93 c Elapsed CPU time: 22.6816 s Remaining CPU time: 157.318 s 22.88/22.93 c =============================================================================== 22.88/22.93 c | 2442 | 3510 26132 377096 | 8710 2442 569 | 35.867 % | 23.78/23.84 c | 2542 | 3510 26132 377096 | 9581 2542 572 | 35.867 % | 24.59/24.68 c | 2692 | 3510 26132 377096 | 10539 2692 577 | 35.867 % | 24.88/24.91 c =============================================================================== 24.88/24.91 c New solution: 84469 24.88/24.91 o 84469 24.88/24.91 c Elapsed CPU time: 24.6513 s Remaining CPU time: 155.349 s 24.88/24.91 c =============================================================================== 24.88/24.91 c | 2696 | 3510 26133 379045 | 8711 2696 577 | 35.867 % | 25.08/25.20 c =============================================================================== 25.08/25.20 c New solution: 84468 25.08/25.20 o 84468 25.08/25.20 c Elapsed CPU time: 24.9372 s Remaining CPU time: 155.063 s 25.08/25.20 c =============================================================================== 25.08/25.20 c | 2729 | 3510 26134 380994 | 8711 2729 578 | 35.867 % | 25.29/25.32 c =============================================================================== 25.29/25.32 c New solution: 84467 25.29/25.32 o 84467 25.29/25.32 c Elapsed CPU time: 25.0572 s Remaining CPU time: 154.943 s 25.29/25.32 c =============================================================================== 25.29/25.32 c | 2729 | 3510 26135 382943 | 8711 2729 578 | 35.867 % | 25.38/25.43 c =============================================================================== 25.38/25.43 c New solution: 84466 25.38/25.43 o 84466 25.38/25.43 c Elapsed CPU time: 25.1742 s Remaining CPU time: 154.826 s 25.38/25.43 c =============================================================================== 25.38/25.43 c | 2729 | 3510 26136 384892 | 8712 2729 578 | 35.867 % | 25.48/25.55 c =============================================================================== 25.48/25.55 c New solution: 84465 25.48/25.55 o 84465 25.48/25.55 c Elapsed CPU time: 25.2892 s Remaining CPU time: 154.711 s 25.48/25.55 c =============================================================================== 25.48/25.55 c | 2729 | 3510 26137 386841 | 8712 2729 578 | 35.867 % | 25.58/25.61 c =============================================================================== 25.58/25.61 c New solution: 84464 25.58/25.61 o 84464 25.58/25.61 c Elapsed CPU time: 25.3511 s Remaining CPU time: 154.649 s 25.58/25.61 c =============================================================================== 25.58/25.61 c | 2734 | 3510 26138 388790 | 8712 2734 578 | 35.867 % | 26.48/26.53 c | 2835 | 3510 26138 388790 | 9583 2835 580 | 35.867 % | 26.58/26.62 c =============================================================================== 26.58/26.62 c New solution: 84463 26.58/26.62 o 84463 26.58/26.62 c Elapsed CPU time: 26.359 s Remaining CPU time: 153.641 s 26.58/26.62 c =============================================================================== 26.58/26.62 c | 2839 | 3510 26139 390739 | 8713 2839 580 | 35.867 % | 27.18/27.29 c | 2939 | 3510 26139 390739 | 9584 2939 583 | 35.867 % | 27.38/27.43 c =============================================================================== 27.38/27.43 c New solution: 84462 27.38/27.43 o 84462 27.38/27.43 c Elapsed CPU time: 27.1619 s Remaining CPU time: 152.838 s 27.38/27.43 c =============================================================================== 27.38/27.43 c | 2943 | 3510 26140 392688 | 8713 2943 583 | 35.867 % | 27.48/27.55 c =============================================================================== 27.48/27.55 c New solution: 84461 27.48/27.55 o 84461 27.48/27.55 c Elapsed CPU time: 27.2799 s Remaining CPU time: 152.72 s 27.48/27.55 c =============================================================================== 27.48/27.55 c | 2946 | 3510 26141 394637 | 8713 2946 583 | 35.867 % | 28.08/28.11 c =============================================================================== 28.08/28.11 c New solution: 84460 28.08/28.11 o 84460 28.08/28.11 c Elapsed CPU time: 27.8428 s Remaining CPU time: 152.157 s 28.08/28.11 c =============================================================================== 28.08/28.11 c | 3007 | 3510 26142 396586 | 8714 3007 584 | 35.867 % | 28.08/28.18 c =============================================================================== 28.08/28.18 c New solution: 84459 28.08/28.18 o 84459 28.08/28.18 c Elapsed CPU time: 27.9068 s Remaining CPU time: 152.093 s 28.08/28.18 c =============================================================================== 28.08/28.18 c | 3010 | 3510 26143 398535 | 8714 3010 584 | 35.867 % | 29.28/29.34 c | 3110 | 3510 26143 398535 | 9585 3110 586 | 35.867 % | 30.69/30.70 c | 3260 | 3510 26143 398535 | 10544 3260 589 | 35.867 % | 30.69/30.79 c =============================================================================== 30.69/30.79 c New solution: 84458 30.69/30.79 o 84458 30.69/30.79 c Elapsed CPU time: 30.5124 s Remaining CPU time: 149.488 s 30.69/30.79 c =============================================================================== 30.69/30.79 c | 3261 | 3510 26144 400484 | 8714 3261 589 | 35.867 % | 31.48/31.52 c =============================================================================== 31.48/31.52 c New solution: 84457 31.48/31.52 o 84457 31.48/31.52 c Elapsed CPU time: 31.2392 s Remaining CPU time: 148.761 s 31.48/31.52 c =============================================================================== 31.48/31.52 c | 3305 | 3510 26145 402433 | 8715 3305 590 | 35.867 % | 32.18/32.29 c | 3405 | 3510 26145 402433 | 9586 3405 592 | 35.867 % | 32.38/32.44 c =============================================================================== 32.38/32.44 c New solution: 83021 32.38/32.44 o 83021 32.38/32.44 c Elapsed CPU time: 32.1611 s Remaining CPU time: 147.839 s 32.38/32.44 c =============================================================================== 32.38/32.44 c | 3408 | 3510 26146 404382 | 8715 3408 591 | 35.867 % | 32.68/32.71 c =============================================================================== 32.68/32.71 c New solution: 83011 32.68/32.71 o 83011 32.68/32.71 c Elapsed CPU time: 32.4251 s Remaining CPU time: 147.575 s 32.68/32.71 c =============================================================================== 32.68/32.71 c | 3409 | 3510 26147 406331 | 8715 3409 591 | 35.867 % | 32.78/32.82 c =============================================================================== 32.78/32.82 c New solution: 82999 32.78/32.82 o 82999 32.78/32.82 c Elapsed CPU time: 32.5381 s Remaining CPU time: 147.462 s 32.78/32.82 c =============================================================================== 32.78/32.82 c | 3409 | 3510 26148 408280 | 8716 3409 591 | 35.867 % | 32.99/33.08 c =============================================================================== 32.99/33.08 c New solution: 82998 32.99/33.08 o 82998 32.99/33.08 c Elapsed CPU time: 32.799 s Remaining CPU time: 147.201 s 32.99/33.08 c =============================================================================== 32.99/33.08 c | 3412 | 3510 26149 410229 | 8716 3412 592 | 35.867 % | 33.18/33.27 c =============================================================================== 33.18/33.27 c New solution: 82997 33.18/33.27 o 82997 33.18/33.27 c Elapsed CPU time: 32.982 s Remaining CPU time: 147.018 s 33.18/33.27 c =============================================================================== 33.18/33.27 c | 3412 | 3510 26150 412178 | 8716 3412 592 | 35.867 % | 33.38/33.43 c =============================================================================== 33.38/33.43 c New solution: 82996 33.38/33.43 o 82996 33.38/33.43 c Elapsed CPU time: 33.143 s Remaining CPU time: 146.857 s 33.38/33.43 c =============================================================================== 33.38/33.43 c | 3412 | 3510 26151 414127 | 8717 3412 592 | 35.867 % | 33.48/33.59 c =============================================================================== 33.48/33.59 c New solution: 82995 33.48/33.59 o 82995 33.48/33.59 c Elapsed CPU time: 33.3049 s Remaining CPU time: 146.695 s 33.48/33.59 c =============================================================================== 33.48/33.59 c | 3412 | 3510 26152 416076 | 8717 3412 592 | 35.867 % | 33.67/33.77 c =============================================================================== 33.67/33.77 c New solution: 82993 33.67/33.77 o 82993 33.67/33.77 c Elapsed CPU time: 33.4799 s Remaining CPU time: 146.52 s 33.67/33.77 c =============================================================================== 33.67/33.77 c | 3412 | 3510 26153 418025 | 8717 3412 592 | 35.867 % | 33.87/33.93 c =============================================================================== 33.87/33.93 c New solution: 82992 33.87/33.93 o 82992 33.87/33.93 c Elapsed CPU time: 33.6389 s Remaining CPU time: 146.361 s 33.87/33.93 c =============================================================================== 33.87/33.93 c | 3412 | 3510 26154 419974 | 8718 3412 592 | 35.867 % | 34.08/34.11 c =============================================================================== 34.08/34.11 c New solution: 82991 34.08/34.11 o 82991 34.08/34.11 c Elapsed CPU time: 33.8179 s Remaining CPU time: 146.182 s 34.08/34.11 c =============================================================================== 34.08/34.11 c | 3412 | 3510 26155 421923 | 8718 3412 592 | 35.867 % | 34.17/34.26 c =============================================================================== 34.17/34.26 c New solution: 82990 34.17/34.26 o 82990 34.17/34.26 c Elapsed CPU time: 33.9738 s Remaining CPU time: 146.026 s 34.17/34.26 c =============================================================================== 34.17/34.26 c | 3412 | 3510 26156 423872 | 8718 3412 592 | 35.867 % | 34.38/34.42 c =============================================================================== 34.38/34.42 c New solution: 82989 34.38/34.42 o 82989 34.38/34.42 c Elapsed CPU time: 34.1268 s Remaining CPU time: 145.873 s 34.38/34.42 c =============================================================================== 34.38/34.42 c | 3412 | 3510 26157 425821 | 8719 3412 592 | 35.867 % | 34.48/34.57 c =============================================================================== 34.48/34.57 c New solution: 82988 34.48/34.57 o 82988 34.48/34.57 c Elapsed CPU time: 34.2808 s Remaining CPU time: 145.719 s 34.48/34.57 c =============================================================================== 34.48/34.57 c | 3412 | 3510 26158 427770 | 8719 3412 592 | 35.867 % | 34.68/34.73 c =============================================================================== 34.68/34.73 c New solution: 82987 34.68/34.73 o 82987 34.68/34.73 c Elapsed CPU time: 34.4328 s Remaining CPU time: 145.567 s 34.68/34.73 c =============================================================================== 34.68/34.73 c | 3412 | 3510 26159 429719 | 8719 3412 592 | 35.867 % | 34.88/34.90 c =============================================================================== 34.88/34.90 c New solution: 82986 34.88/34.90 o 82986 34.88/34.90 c Elapsed CPU time: 34.6027 s Remaining CPU time: 145.397 s 34.88/34.90 c =============================================================================== 34.88/34.90 c | 3413 | 3510 26160 431668 | 8720 3413 592 | 35.867 % | 35.28/35.38 c =============================================================================== 35.28/35.38 c New solution: 82985 35.28/35.38 o 82985 35.28/35.38 c Elapsed CPU time: 35.0817 s Remaining CPU time: 144.918 s 35.28/35.38 c =============================================================================== 35.28/35.38 c | 3446 | 3510 26161 433617 | 8720 3446 592 | 35.867 % | 35.48/35.52 c =============================================================================== 35.48/35.52 c New solution: 82984 35.48/35.52 o 82984 35.48/35.52 c Elapsed CPU time: 35.2226 s Remaining CPU time: 144.777 s 35.48/35.52 c =============================================================================== 35.48/35.52 c | 3451 | 3510 26162 435566 | 8720 3451 592 | 35.867 % | 35.68/35.72 c =============================================================================== 35.68/35.72 c New solution: 82983 35.68/35.72 o 82983 35.68/35.72 c Elapsed CPU time: 35.4276 s Remaining CPU time: 144.572 s 35.68/35.72 c =============================================================================== 35.68/35.72 c | 3471 | 3510 26163 437515 | 8721 3471 592 | 35.867 % | 35.78/35.87 c =============================================================================== 35.78/35.87 c New solution: 82982 35.78/35.87 o 82982 35.78/35.87 c Elapsed CPU time: 35.5746 s Remaining CPU time: 144.425 s 35.78/35.87 c =============================================================================== 35.78/35.87 c | 3476 | 3510 26164 439464 | 8721 3476 592 | 35.867 % | 35.98/36.01 c =============================================================================== 35.98/36.01 c New solution: 82981 35.98/36.01 o 82981 35.98/36.01 c Elapsed CPU time: 35.7166 s Remaining CPU time: 144.283 s 35.98/36.01 c =============================================================================== 35.98/36.01 c | 3476 | 3510 26165 441413 | 8721 3476 592 | 35.867 % | 36.28/36.33 c =============================================================================== 36.28/36.33 c New solution: 82980 36.28/36.33 o 82980 36.28/36.33 c Elapsed CPU time: 36.0365 s Remaining CPU time: 143.963 s 36.28/36.33 c =============================================================================== 36.28/36.33 c | 3507 | 3510 26166 443362 | 8722 3507 593 | 35.867 % | 36.38/36.47 c =============================================================================== 36.38/36.47 c New solution: 82979 36.38/36.47 o 82979 36.38/36.47 c Elapsed CPU time: 36.1795 s Remaining CPU time: 143.821 s 36.38/36.47 c =============================================================================== 36.38/36.47 c | 3512 | 3510 26167 445311 | 8722 3512 593 | 35.867 % | 36.58/36.62 c =============================================================================== 36.58/36.62 c New solution: 82978 36.58/36.62 o 82978 36.58/36.62 c Elapsed CPU time: 36.3275 s Remaining CPU time: 143.673 s 36.58/36.62 c =============================================================================== 36.58/36.62 c | 3512 | 3510 26168 447260 | 8722 3512 593 | 35.867 % | 36.67/36.75 c =============================================================================== 36.67/36.75 c New solution: 82977 36.67/36.75 o 82977 36.67/36.75 c Elapsed CPU time: 36.4575 s Remaining CPU time: 143.543 s 36.67/36.75 c =============================================================================== 36.67/36.75 c | 3516 | 3510 26169 449209 | 8723 3516 593 | 35.867 % | 36.77/36.89 c =============================================================================== 36.77/36.89 c New solution: 82970 36.77/36.89 o 82970 36.77/36.89 c Elapsed CPU time: 36.5874 s Remaining CPU time: 143.413 s 36.77/36.89 c =============================================================================== 36.77/36.89 c | 3516 | 3510 26170 451158 | 8723 3516 593 | 35.867 % | 36.97/37.01 c =============================================================================== 36.97/37.01 c New solution: 82969 36.97/37.01 o 82969 36.97/37.01 c Elapsed CPU time: 36.7164 s Remaining CPU time: 143.284 s 36.97/37.02 c =============================================================================== 36.97/37.02 c | 3516 | 3510 26171 453107 | 8723 3516 593 | 35.867 % | 37.07/37.14 c =============================================================================== 37.07/37.14 c New solution: 82968 37.07/37.14 o 82968 37.07/37.14 c Elapsed CPU time: 36.8414 s Remaining CPU time: 143.159 s 37.07/37.14 c =============================================================================== 37.07/37.14 c | 3516 | 3510 26172 455056 | 8724 3516 593 | 35.867 % | 37.17/37.27 c =============================================================================== 37.17/37.27 c New solution: 82967 37.17/37.27 o 82967 37.17/37.27 c Elapsed CPU time: 36.9664 s Remaining CPU time: 143.034 s 37.17/37.27 c =============================================================================== 37.17/37.27 c | 3516 | 3510 26173 457005 | 8724 3516 593 | 35.867 % | 37.28/37.39 c =============================================================================== 37.28/37.39 c New solution: 82966 37.28/37.39 o 82966 37.28/37.39 c Elapsed CPU time: 37.0914 s Remaining CPU time: 142.909 s 37.28/37.39 c =============================================================================== 37.28/37.39 c | 3516 | 3510 26174 458954 | 8724 3516 593 | 35.867 % | 38.38/38.43 c | 3617 | 3510 26174 458954 | 9597 3617 594 | 35.867 % | 38.48/38.52 c =============================================================================== 38.48/38.52 c New solution: 82965 38.48/38.52 o 82965 38.48/38.52 c Elapsed CPU time: 38.2142 s Remaining CPU time: 141.786 s 38.48/38.52 c =============================================================================== 38.48/38.52 c | 3620 | 3510 26175 460903 | 8725 3620 594 | 35.867 % | 38.87/38.99 c =============================================================================== 38.87/38.99 c New solution: 81516 38.87/38.99 o 81516 38.87/38.99 c Elapsed CPU time: 38.6831 s Remaining CPU time: 141.317 s 38.87/38.99 c =============================================================================== 38.87/38.99 c | 3645 | 3510 26176 462852 | 8725 3645 594 | 35.867 % | 39.08/39.17 c =============================================================================== 39.08/39.17 c New solution: 81495 39.08/39.17 o 81495 39.08/39.17 c Elapsed CPU time: 38.8671 s Remaining CPU time: 141.133 s 39.08/39.17 c =============================================================================== 39.08/39.17 c | 3646 | 3510 26177 464801 | 8725 3646 594 | 35.867 % | 39.28/39.34 c =============================================================================== 39.28/39.34 c New solution: 81487 39.28/39.34 o 81487 39.28/39.34 c Elapsed CPU time: 39.0341 s Remaining CPU time: 140.966 s 39.28/39.34 c =============================================================================== 39.28/39.34 c | 3648 | 3510 26178 466750 | 8726 3648 594 | 35.867 % | 39.48/39.50 c =============================================================================== 39.48/39.50 c New solution: 81486 39.48/39.50 o 81486 39.48/39.50 c Elapsed CPU time: 39.196 s Remaining CPU time: 140.804 s 39.48/39.50 c =============================================================================== 39.48/39.50 c | 3650 | 3510 26179 468699 | 8726 3650 594 | 35.867 % | 39.58/39.66 c =============================================================================== 39.58/39.66 c New solution: 81485 39.58/39.66 o 81485 39.58/39.66 c Elapsed CPU time: 39.349 s Remaining CPU time: 140.651 s 39.58/39.66 c =============================================================================== 39.58/39.66 c | 3651 | 3510 26180 470648 | 8726 3651 594 | 35.867 % | 39.77/39.84 c =============================================================================== 39.77/39.84 c New solution: 81482 39.77/39.84 o 81482 39.77/39.84 c Elapsed CPU time: 39.534 s Remaining CPU time: 140.466 s 39.77/39.84 c =============================================================================== 39.77/39.84 c | 3651 | 3510 26181 472597 | 8727 3651 594 | 35.867 % | 39.87/39.97 c =============================================================================== 39.87/39.97 c New solution: 81481 39.87/39.97 o 81481 39.87/39.97 c Elapsed CPU time: 39.663 s Remaining CPU time: 140.337 s 39.87/39.97 c =============================================================================== 39.87/39.97 c | 3654 | 3510 26182 474546 | 8727 3654 594 | 35.867 % | 40.07/40.13 c =============================================================================== 40.07/40.13 c New solution: 81480 40.07/40.13 o 81480 40.07/40.13 c Elapsed CPU time: 39.8229 s Remaining CPU time: 140.177 s 40.07/40.13 c =============================================================================== 40.07/40.13 c | 3656 | 3510 26183 476495 | 8727 3656 594 | 35.867 % | 40.17/40.27 c =============================================================================== 40.17/40.27 c New solution: 81479 40.17/40.27 o 81479 40.17/40.27 c Elapsed CPU time: 39.9609 s Remaining CPU time: 140.039 s 40.17/40.27 c =============================================================================== 40.17/40.27 c | 3659 | 3510 26184 478444 | 8728 3659 594 | 35.867 % | 40.27/40.39 c =============================================================================== 40.27/40.39 c New solution: 81478 40.27/40.39 o 81478 40.27/40.39 c Elapsed CPU time: 40.0819 s Remaining CPU time: 139.918 s 40.27/40.39 c =============================================================================== 40.27/40.39 c | 3660 | 3510 26185 480393 | 8728 3660 594 | 35.867 % | 40.47/40.54 c =============================================================================== 40.47/40.54 c New solution: 81477 40.47/40.54 o 81477 40.47/40.54 c Elapsed CPU time: 40.2239 s Remaining CPU time: 139.776 s 40.47/40.54 c =============================================================================== 40.47/40.54 c | 3660 | 3510 26186 482342 | 8728 3660 594 | 35.867 % | 41.38/41.46 c | 3760 | 3510 26186 482342 | 9601 3760 596 | 35.867 % | 41.57/41.69 c =============================================================================== 41.57/41.69 c New solution: 81476 41.57/41.69 o 81476 41.57/41.69 c Elapsed CPU time: 41.3707 s Remaining CPU time: 138.629 s 41.57/41.69 c =============================================================================== 41.57/41.69 c | 3761 | 3510 26187 484291 | 8729 3761 596 | 35.867 % | 42.57/42.69 c | 3862 | 3510 26187 484291 | 9601 3862 597 | 35.867 % | 42.78/42.82 c =============================================================================== 42.78/42.82 c New solution: 81475 42.78/42.82 o 81475 42.78/42.82 c Elapsed CPU time: 42.5055 s Remaining CPU time: 137.494 s 42.78/42.82 c =============================================================================== 42.78/42.82 c | 3866 | 3510 26188 486240 | 8729 3866 597 | 35.867 % | 42.88/42.95 c =============================================================================== 42.88/42.95 c New solution: 81474 42.88/42.95 o 81474 42.88/42.95 c Elapsed CPU time: 42.6285 s Remaining CPU time: 137.371 s 42.88/42.95 c =============================================================================== 42.88/42.95 c | 3867 | 3510 26189 488189 | 8729 3867 597 | 35.867 % | 43.77/43.82 c | 3967 | 3510 26189 488189 | 9602 3967 599 | 35.867 % | 43.88/44.00 c =============================================================================== 43.88/44.00 c New solution: 81473 43.88/44.00 o 81473 43.88/44.00 c Elapsed CPU time: 43.6814 s Remaining CPU time: 136.319 s 43.88/44.00 c =============================================================================== 43.88/44.00 c | 3967 | 3510 26190 490138 | 8730 3967 599 | 35.867 % | 45.08/45.12 c | 4068 | 3510 26190 490138 | 9603 4068 600 | 35.867 % | 45.17/45.29 c =============================================================================== 45.17/45.29 c New solution: 81472 45.17/45.29 o 81472 45.17/45.29 c Elapsed CPU time: 44.9622 s Remaining CPU time: 135.038 s 45.17/45.29 c =============================================================================== 45.17/45.29 c | 4068 | 3510 26191 492087 | 8730 4068 600 | 35.867 % | 46.57/46.62 c | 4168 | 3510 26191 492087 | 9603 4168 601 | 35.867 % | 46.67/46.75 c =============================================================================== 46.67/46.75 c New solution: 81471 46.67/46.75 o 81471 46.67/46.75 c Elapsed CPU time: 46.4239 s Remaining CPU time: 133.576 s 46.67/46.75 c =============================================================================== 46.67/46.75 c | 4168 | 3510 26192 494036 | 8730 4168 601 | 35.867 % | 46.77/46.89 c =============================================================================== 46.77/46.89 c New solution: 81470 46.77/46.89 o 81470 46.77/46.89 c Elapsed CPU time: 46.5579 s Remaining CPU time: 133.442 s 46.77/46.89 c =============================================================================== 46.77/46.89 c | 4168 | 3510 26193 495985 | 8731 4168 601 | 35.867 % | 46.97/47.02 c =============================================================================== 46.97/47.02 c New solution: 81469 46.97/47.02 o 81469 46.97/47.02 c Elapsed CPU time: 46.6909 s Remaining CPU time: 133.309 s 46.97/47.02 c =============================================================================== 46.97/47.02 c | 4168 | 3510 26194 497934 | 8731 4168 601 | 35.867 % | 47.07/47.15 c =============================================================================== 47.07/47.15 c New solution: 81468 47.07/47.15 o 81468 47.07/47.15 c Elapsed CPU time: 46.8169 s Remaining CPU time: 133.183 s 47.07/47.15 c =============================================================================== 47.07/47.15 c | 4168 | 3510 26195 499883 | 8731 4168 601 | 35.867 % | 47.18/47.26 c =============================================================================== 47.18/47.26 c New solution: 81467 47.18/47.26 o 81467 47.18/47.26 c Elapsed CPU time: 46.9319 s Remaining CPU time: 133.068 s 47.18/47.26 c =============================================================================== 47.18/47.26 c | 4168 | 3510 26196 501832 | 8732 4168 601 | 35.867 % | 47.28/47.39 c =============================================================================== 47.28/47.39 c New solution: 81466 47.28/47.39 o 81466 47.28/47.39 c Elapsed CPU time: 47.0598 s Remaining CPU time: 132.94 s 47.28/47.39 c =============================================================================== 47.28/47.39 c | 4168 | 3510 26197 503781 | 8732 4168 601 | 35.867 % | 47.47/47.52 c =============================================================================== 47.47/47.52 c New solution: 81465 47.47/47.52 o 81465 47.47/47.52 c Elapsed CPU time: 47.1858 s Remaining CPU time: 132.814 s 47.47/47.52 c =============================================================================== 47.47/47.52 c | 4168 | 3510 26198 505730 | 8732 4168 601 | 35.867 % | 47.57/47.65 c =============================================================================== 47.57/47.65 c New solution: 81464 47.57/47.65 o 81464 47.57/47.65 c Elapsed CPU time: 47.3108 s Remaining CPU time: 132.689 s 47.57/47.65 c =============================================================================== 47.57/47.65 c | 4168 | 3510 26199 507679 | 8733 4168 601 | 35.867 % | 47.67/47.77 c =============================================================================== 47.67/47.77 c New solution: 81463 47.67/47.77 o 81463 47.67/47.77 c Elapsed CPU time: 47.4398 s Remaining CPU time: 132.56 s 47.67/47.77 c =============================================================================== 47.67/47.77 c | 4168 | 3510 26200 509628 | 8733 4168 601 | 35.867 % | 47.87/47.90 c =============================================================================== 47.87/47.90 c New solution: 81462 47.87/47.90 o 81462 47.87/47.90 c Elapsed CPU time: 47.5598 s Remaining CPU time: 132.44 s 47.87/47.90 c =============================================================================== 47.87/47.90 c | 4168 | 3510 26201 511577 | 8733 4168 601 | 35.867 % | 47.97/48.02 c =============================================================================== 47.97/48.02 c New solution: 81461 47.97/48.02 o 81461 47.97/48.02 c Elapsed CPU time: 47.6798 s Remaining CPU time: 132.32 s 47.97/48.02 c =============================================================================== 47.97/48.02 c | 4168 | 3510 26202 513526 | 8734 4168 601 | 35.867 % | 48.07/48.14 c =============================================================================== 48.07/48.14 c New solution: 81460 48.07/48.14 o 81460 48.07/48.14 c Elapsed CPU time: 47.7957 s Remaining CPU time: 132.204 s 48.07/48.14 c =============================================================================== 48.07/48.14 c | 4168 | 3510 26203 515475 | 8734 4168 601 | 35.867 % | 48.17/48.25 c =============================================================================== 48.17/48.25 c New solution: 81459 48.17/48.25 o 81459 48.17/48.25 c Elapsed CPU time: 47.9107 s Remaining CPU time: 132.089 s 48.17/48.25 c =============================================================================== 48.17/48.25 c | 4168 | 3510 26204 517424 | 8734 4168 601 | 35.867 % | 48.28/48.37 c =============================================================================== 48.28/48.37 c New solution: 81458 48.28/48.37 o 81458 48.28/48.37 c Elapsed CPU time: 48.0287 s Remaining CPU time: 131.971 s 48.28/48.37 c =============================================================================== 48.28/48.37 c | 4169 | 3510 26205 519373 | 8735 4169 601 | 35.867 % | 49.27/49.38 c | 4269 | 3510 26205 519373 | 9608 4269 602 | 35.867 % | 49.48/49.55 c =============================================================================== 49.48/49.55 c New solution: 81457 49.48/49.55 o 81457 49.48/49.55 c Elapsed CPU time: 49.2085 s Remaining CPU time: 130.791 s 49.48/49.55 c =============================================================================== 49.48/49.55 c | 4272 | 3510 26206 521322 | 8735 4272 602 | 35.867 % | 50.37/50.47 c | 4372 | 3510 26206 521322 | 9608 4372 603 | 35.867 % | 51.47/51.54 c =============================================================================== 51.47/51.54 c New solution: 81456 51.47/51.54 o 81456 51.47/51.54 c Elapsed CPU time: 51.1922 s Remaining CPU time: 128.808 s 51.47/51.54 c =============================================================================== 51.47/51.54 c | 4470 | 3510 26207 523271 | 8735 4470 604 | 35.867 % | 52.68/52.76 c | 4571 | 3510 26207 523271 | 9609 4571 605 | 35.867 % | 52.78/52.89 c =============================================================================== 52.78/52.89 c New solution: 81455 52.78/52.89 o 81455 52.78/52.89 c Elapsed CPU time: 52.538 s Remaining CPU time: 127.462 s 52.78/52.89 c =============================================================================== 52.78/52.89 c | 4574 | 3510 26208 525220 | 8736 4574 605 | 35.867 % | 53.97/54.00 c | 4675 | 3510 26208 525220 | 9609 4675 606 | 35.867 % | 54.07/54.10 c =============================================================================== 54.07/54.10 c New solution: 81454 54.07/54.10 o 81454 54.07/54.10 c Elapsed CPU time: 53.7468 s Remaining CPU time: 126.253 s 54.07/54.10 c =============================================================================== 54.07/54.10 c | 4685 | 3510 26209 527169 | 8736 4685 605 | 35.867 % | 55.47/55.57 c | 4786 | 3510 26209 527169 | 9609 4786 606 | 35.867 % | 57.07/57.13 c | 4936 | 3510 26209 527169 | 10570 4936 607 | 35.867 % | 59.37/59.41 c | 5162 | 3510 26209 527169 | 11628 5162 609 | 35.867 % | 61.47/61.59 c =============================================================================== 61.47/61.59 c New solution: 81453 61.47/61.59 o 81453 61.47/61.59 c Elapsed CPU time: 61.2267 s Remaining CPU time: 118.773 s 61.47/61.59 c =============================================================================== 61.47/61.59 c | 5420 | 3510 26210 529118 | 8736 5420 611 | 35.867 % | 62.96/63.00 c | 5520 | 3510 26210 529118 | 9610 5520 611 | 35.867 % | 63.16/63.24 c =============================================================================== 63.16/63.24 c New solution: 81452 63.16/63.24 o 81452 63.16/63.24 c Elapsed CPU time: 62.8724 s Remaining CPU time: 117.128 s 63.16/63.24 c =============================================================================== 63.16/63.24 c | 5526 | 3510 26211 531067 | 8737 5526 611 | 35.867 % | 64.17/64.21 c | 5626 | 3510 26211 531067 | 9610 5626 611 | 35.867 % | 64.27/64.34 c =============================================================================== 64.27/64.34 c New solution: 81451 64.27/64.34 o 81451 64.27/64.34 c Elapsed CPU time: 63.9713 s Remaining CPU time: 116.029 s 64.27/64.34 c =============================================================================== 64.27/64.34 c | 5627 | 3510 26212 533016 | 8737 5627 611 | 35.867 % | 65.17/65.21 c | 5727 | 3510 26212 533016 | 9611 5727 612 | 35.867 % | 65.27/65.30 c =============================================================================== 65.27/65.30 c New solution: 81450 65.27/65.30 o 81450 65.27/65.30 c Elapsed CPU time: 64.9311 s Remaining CPU time: 115.069 s 65.27/65.30 c =============================================================================== 65.27/65.30 c | 5732 | 3510 26213 534965 | 8737 5732 612 | 35.867 % | 66.27/66.36 c | 5833 | 3510 26213 534965 | 9611 5833 613 | 35.867 % | 68.07/68.14 c | 5984 | 3510 26213 534965 | 10572 5984 613 | 35.867 % | 68.86/68.91 c =============================================================================== 68.86/68.91 c New solution: 81449 68.86/68.91 o 81449 68.86/68.91 c Elapsed CPU time: 68.5296 s Remaining CPU time: 111.47 s 68.86/68.91 c =============================================================================== 68.86/68.91 c | 6069 | 3510 26214 536914 | 8738 6069 614 | 35.867 % | 68.96/69.08 c =============================================================================== 68.96/69.08 c New solution: 81448 68.96/69.08 o 81448 68.96/69.08 c Elapsed CPU time: 68.7006 s Remaining CPU time: 111.299 s 68.96/69.08 c =============================================================================== 68.96/69.08 c | 6078 | 3510 26215 538863 | 8738 6078 614 | 35.867 % | 70.16/70.23 c =============================================================================== 70.16/70.23 c New solution: 79997 70.16/70.23 o 79997 70.16/70.23 c Elapsed CPU time: 69.8444 s Remaining CPU time: 110.156 s 70.16/70.23 c =============================================================================== 70.16/70.23 c | 6149 | 3510 26216 540812 | 8738 6149 614 | 35.867 % | 70.46/70.56 c =============================================================================== 70.46/70.56 c New solution: 79989 70.46/70.56 o 79989 70.46/70.56 c Elapsed CPU time: 70.1813 s Remaining CPU time: 109.819 s 70.46/70.56 c =============================================================================== 70.46/70.56 c | 6151 | 3510 26217 542761 | 8739 6151 614 | 35.867 % | 70.86/70.99 c =============================================================================== 70.86/70.99 c New solution: 79988 70.86/70.99 o 79988 70.86/70.99 c Elapsed CPU time: 70.6063 s Remaining CPU time: 109.394 s 70.86/70.99 c =============================================================================== 70.86/70.99 c | 6154 | 3510 26218 544710 | 8739 6154 614 | 35.867 % | 71.26/71.35 c =============================================================================== 71.26/71.35 c New solution: 79987 71.26/71.35 o 79987 71.26/71.35 c Elapsed CPU time: 70.9712 s Remaining CPU time: 109.029 s 71.26/71.35 c =============================================================================== 71.26/71.35 c | 6155 | 3510 26219 546659 | 8739 6155 614 | 35.867 % | 71.47/71.56 c =============================================================================== 71.47/71.56 c New solution: 79986 71.47/71.56 o 79986 71.47/71.56 c Elapsed CPU time: 71.1752 s Remaining CPU time: 108.825 s 71.47/71.56 c =============================================================================== 71.47/71.56 c | 6159 | 3510 26220 548608 | 8740 6159 613 | 35.867 % | 71.86/71.95 c =============================================================================== 71.86/71.95 c New solution: 79985 71.86/71.95 o 79985 71.86/71.95 c Elapsed CPU time: 71.5681 s Remaining CPU time: 108.432 s 71.86/71.95 c =============================================================================== 71.86/71.95 c | 6159 | 3510 26221 550557 | 8740 6159 613 | 35.867 % | 72.26/72.34 c =============================================================================== 72.26/72.34 c New solution: 79984 72.26/72.34 o 79984 72.26/72.34 c Elapsed CPU time: 71.9591 s Remaining CPU time: 108.041 s 72.26/72.34 c =============================================================================== 72.26/72.34 c | 6159 | 3510 26222 552506 | 8740 6159 613 | 35.867 % | 72.66/72.73 c =============================================================================== 72.66/72.73 c New solution: 79983 72.66/72.73 o 79983 72.66/72.73 c Elapsed CPU time: 72.349 s Remaining CPU time: 107.651 s 72.66/72.73 c =============================================================================== 72.66/72.73 c | 6159 | 3510 26223 554455 | 8741 6159 613 | 35.867 % | 73.06/73.11 c =============================================================================== 73.06/73.11 c New solution: 79982 73.06/73.11 o 79982 73.06/73.11 c Elapsed CPU time: 72.7299 s Remaining CPU time: 107.27 s 73.06/73.11 c =============================================================================== 73.06/73.11 c | 6161 | 3510 26224 556404 | 8741 6161 613 | 35.867 % | 73.36/73.48 c =============================================================================== 73.36/73.48 c New solution: 79972 73.36/73.48 o 79972 73.36/73.48 c Elapsed CPU time: 73.0969 s Remaining CPU time: 106.903 s 73.36/73.48 c =============================================================================== 73.36/73.48 c | 6162 | 3510 26225 558353 | 8741 6162 613 | 35.867 % | 73.76/73.87 c =============================================================================== 73.76/73.87 c New solution: 79971 73.76/73.87 o 79971 73.76/73.87 c Elapsed CPU time: 73.4848 s Remaining CPU time: 106.515 s 73.76/73.87 c =============================================================================== 73.76/73.87 c | 6165 | 3510 26226 560302 | 8742 6165 613 | 35.867 % | 74.56/74.66 c =============================================================================== 74.56/74.66 c New solution: 79970 74.56/74.66 o 79970 74.56/74.66 c Elapsed CPU time: 74.2727 s Remaining CPU time: 105.727 s 74.56/74.66 c =============================================================================== 74.56/74.66 c | 6214 | 3510 26227 562251 | 8742 6214 614 | 35.867 % | 74.77/74.85 c =============================================================================== 74.77/74.85 c New solution: 79969 74.77/74.85 o 79969 74.77/74.85 c Elapsed CPU time: 74.4557 s Remaining CPU time: 105.544 s 74.77/74.85 c =============================================================================== 74.77/74.85 c | 6214 | 3510 26228 564200 | 8742 6214 614 | 35.867 % | 74.96/75.04 c =============================================================================== 74.96/75.04 c New solution: 79968 74.96/75.04 o 79968 74.96/75.04 c Elapsed CPU time: 74.6417 s Remaining CPU time: 105.358 s 74.96/75.04 c =============================================================================== 74.96/75.04 c | 6215 | 3510 26229 566149 | 8743 6215 614 | 35.867 % | 75.27/75.32 c =============================================================================== 75.27/75.32 c New solution: 79967 75.27/75.32 o 79967 75.27/75.32 c Elapsed CPU time: 74.9236 s Remaining CPU time: 105.076 s 75.27/75.32 c =============================================================================== 75.27/75.32 c | 6225 | 3510 26230 568098 | 8743 6225 614 | 35.867 % | 75.47/75.59 c =============================================================================== 75.47/75.59 c New solution: 79966 75.47/75.59 o 79966 75.47/75.59 c Elapsed CPU time: 75.1926 s Remaining CPU time: 104.807 s 75.47/75.59 c =============================================================================== 75.47/75.59 c | 6238 | 3510 26231 570047 | 8743 6238 614 | 35.867 % | 75.67/75.77 c =============================================================================== 75.67/75.77 c New solution: 79965 75.67/75.77 o 79965 75.67/75.77 c Elapsed CPU time: 75.3745 s Remaining CPU time: 104.625 s 75.67/75.77 c =============================================================================== 75.67/75.77 c | 6241 | 3510 26232 571996 | 8744 6241 614 | 35.867 % | 77.86/77.90 c | 6341 | 3510 26232 571996 | 9618 6341 614 | 35.867 % | 79.46/79.52 c | 6492 | 3510 26232 571996 | 10580 6492 615 | 35.867 % | 82.76/82.85 c | 6718 | 3510 26232 571996 | 11638 6718 616 | 35.867 % | 83.16/83.24 c =============================================================================== 83.16/83.24 c New solution: 79964 83.16/83.24 o 79964 83.16/83.24 c Elapsed CPU time: 82.8314 s Remaining CPU time: 97.1686 s 83.16/83.24 c =============================================================================== 83.16/83.24 c | 6719 | 3510 26233 573945 | 8744 6719 616 | 35.867 % | 83.36/83.46 c =============================================================================== 83.36/83.46 c New solution: 78518 83.36/83.46 o 78518 83.36/83.46 c Elapsed CPU time: 83.0494 s Remaining CPU time: 96.9506 s 83.36/83.46 c =============================================================================== 83.36/83.46 c | 6724 | 3510 26234 575894 | 8744 6724 616 | 35.867 % | 83.66/83.71 c =============================================================================== 83.66/83.71 c New solution: 78514 83.66/83.71 o 78514 83.66/83.71 c Elapsed CPU time: 83.3033 s Remaining CPU time: 96.6967 s 83.66/83.71 c =============================================================================== 83.66/83.71 c | 6730 | 3510 26235 577843 | 8745 6730 616 | 35.867 % | 83.86/83.98 c =============================================================================== 83.86/83.98 c New solution: 78513 83.86/83.98 o 78513 83.86/83.98 c Elapsed CPU time: 83.5673 s Remaining CPU time: 96.4327 s 83.86/83.98 c =============================================================================== 83.86/83.98 c | 6735 | 3510 26236 579792 | 8745 6735 616 | 35.867 % | 84.16/84.24 c =============================================================================== 84.16/84.24 c New solution: 78512 84.16/84.24 o 78512 84.16/84.24 c Elapsed CPU time: 83.8303 s Remaining CPU time: 96.1697 s 84.16/84.24 c =============================================================================== 84.16/84.24 c | 6735 | 3510 26237 581741 | 8745 6735 616 | 35.867 % | 84.46/84.50 c =============================================================================== 84.46/84.50 c New solution: 78511 84.46/84.50 o 78511 84.46/84.50 c Elapsed CPU time: 84.0862 s Remaining CPU time: 95.9138 s 84.46/84.50 c =============================================================================== 84.46/84.50 c | 6739 | 3510 26238 583690 | 8746 6739 616 | 35.867 % | 84.67/84.74 c =============================================================================== 84.67/84.74 c New solution: 78510 84.67/84.74 o 78510 84.67/84.74 c Elapsed CPU time: 84.3272 s Remaining CPU time: 95.6728 s 84.67/84.74 c =============================================================================== 84.67/84.74 c | 6742 | 3510 26239 585639 | 8746 6742 616 | 35.867 % | 84.86/84.95 c =============================================================================== 84.86/84.95 c New solution: 78506 84.86/84.95 o 78506 84.86/84.95 c Elapsed CPU time: 84.5381 s Remaining CPU time: 95.4619 s 84.86/84.95 c =============================================================================== 84.86/84.95 c | 6742 | 3510 26240 587588 | 8746 6742 616 | 35.867 % | 85.06/85.19 c =============================================================================== 85.06/85.19 c New solution: 78505 85.06/85.19 o 78505 85.06/85.19 c Elapsed CPU time: 84.7791 s Remaining CPU time: 95.2209 s 85.06/85.19 c =============================================================================== 85.06/85.19 c | 6746 | 3510 26241 589537 | 8747 6746 616 | 35.867 % | 85.26/85.34 c =============================================================================== 85.26/85.34 c New solution: 78504 85.26/85.34 o 78504 85.26/85.34 c Elapsed CPU time: 84.9261 s Remaining CPU time: 95.0739 s 85.26/85.34 c =============================================================================== 85.26/85.34 c | 6751 | 3510 26242 591486 | 8747 6751 616 | 35.867 % | 85.67/85.73 c =============================================================================== 85.67/85.73 c New solution: 78503 85.67/85.73 o 78503 85.67/85.73 c Elapsed CPU time: 85.311 s Remaining CPU time: 94.689 s 85.67/85.73 c =============================================================================== 85.67/85.73 c | 6753 | 3510 26243 593435 | 8747 6753 616 | 35.867 % | 85.86/85.96 c =============================================================================== 85.86/85.96 c New solution: 78502 85.86/85.96 o 78502 85.86/85.96 c Elapsed CPU time: 85.542 s Remaining CPU time: 94.458 s 85.86/85.96 c =============================================================================== 85.86/85.96 c | 6765 | 3510 26244 595384 | 8748 6765 616 | 35.867 % | 86.26/86.35 c =============================================================================== 86.26/86.35 c New solution: 78501 86.26/86.35 o 78501 86.26/86.35 c Elapsed CPU time: 85.9299 s Remaining CPU time: 94.0701 s 86.26/86.35 c =============================================================================== 86.26/86.35 c | 6767 | 3510 26245 597333 | 8748 6767 616 | 35.867 % | 86.56/86.61 c =============================================================================== 86.56/86.61 c New solution: 78500 86.56/86.61 o 78500 86.56/86.61 c Elapsed CPU time: 86.1919 s Remaining CPU time: 93.8081 s 86.56/86.61 c =============================================================================== 86.56/86.61 c | 6768 | 3510 26246 599282 | 8748 6768 616 | 35.867 % | 86.87/86.95 c =============================================================================== 86.87/86.95 c New solution: 78499 86.87/86.95 o 78499 86.87/86.95 c Elapsed CPU time: 86.5298 s Remaining CPU time: 93.4702 s 86.87/86.95 c =============================================================================== 86.87/86.95 c | 6768 | 3510 26247 601231 | 8749 6768 616 | 35.867 % | 87.16/87.29 c =============================================================================== 87.16/87.29 c New solution: 78498 87.16/87.29 o 78498 87.16/87.29 c Elapsed CPU time: 86.8698 s Remaining CPU time: 93.1302 s 87.16/87.29 c =============================================================================== 87.16/87.29 c | 6768 | 3510 26248 603180 | 8749 6768 616 | 35.867 % | 87.46/87.54 c =============================================================================== 87.46/87.54 c New solution: 78497 87.46/87.54 o 78497 87.46/87.54 c Elapsed CPU time: 87.1148 s Remaining CPU time: 92.8852 s 87.46/87.54 c =============================================================================== 87.46/87.54 c | 6776 | 3510 26249 605129 | 8749 6776 616 | 35.867 % | 88.46/88.58 c | 6877 | 3510 26249 605129 | 9624 6877 617 | 35.867 % | 88.66/88.78 c =============================================================================== 88.66/88.78 c New solution: 78496 88.66/88.78 o 78496 88.66/88.78 c Elapsed CPU time: 88.3556 s Remaining CPU time: 91.6444 s 88.66/88.78 c =============================================================================== 88.66/88.78 c | 6878 | 3510 26250 607078 | 8750 6878 617 | 35.867 % | 89.06/89.16 c =============================================================================== 89.06/89.16 c New solution: 78495 89.06/89.16 o 78495 89.06/89.16 c Elapsed CPU time: 88.7295 s Remaining CPU time: 91.2705 s 89.06/89.16 c =============================================================================== 89.06/89.16 c | 6880 | 3510 26251 609027 | 8750 6880 617 | 35.867 % | 89.35/89.46 c =============================================================================== 89.35/89.46 c New solution: 78494 89.35/89.46 o 78494 89.35/89.46 c Elapsed CPU time: 89.0345 s Remaining CPU time: 90.9655 s 89.35/89.46 c =============================================================================== 89.35/89.46 c | 6882 | 3510 26252 610976 | 8750 6882 617 | 35.867 % | 89.56/89.69 c =============================================================================== 89.56/89.69 c New solution: 78493 89.56/89.69 o 78493 89.56/89.69 c Elapsed CPU time: 89.2614 s Remaining CPU time: 90.7386 s 89.56/89.69 c =============================================================================== 89.56/89.69 c | 6889 | 3510 26253 612925 | 8751 6889 617 | 35.867 % | 90.07/90.16 c =============================================================================== 90.07/90.16 c New solution: 78492 90.07/90.16 o 78492 90.07/90.16 c Elapsed CPU time: 89.7274 s Remaining CPU time: 90.2726 s 90.07/90.16 c =============================================================================== 90.07/90.16 c | 6920 | 3510 26254 614874 | 8751 6920 617 | 35.867 % | 90.26/90.37 c =============================================================================== 90.26/90.37 c New solution: 78488 90.26/90.37 o 78488 90.26/90.37 c Elapsed CPU time: 89.9373 s Remaining CPU time: 90.0627 s 90.26/90.37 c =============================================================================== 90.26/90.37 c | 6921 | 3510 26255 616823 | 8751 6921 617 | 35.867 % | 91.56/91.63 c | 7022 | 3510 26255 616823 | 9626 7022 618 | 35.867 % | 91.76/91.83 c =============================================================================== 91.76/91.83 c New solution: 78487 91.76/91.83 o 78487 91.76/91.83 c Elapsed CPU time: 91.3981 s Remaining CPU time: 88.6019 s 91.76/91.83 c =============================================================================== 91.76/91.83 c | 7026 | 3510 26256 618772 | 8752 7026 618 | 35.867 % | 91.96/92.02 c =============================================================================== 91.96/92.02 c New solution: 78486 91.96/92.02 o 78486 91.96/92.02 c Elapsed CPU time: 91.5861 s Remaining CPU time: 88.4139 s 91.96/92.02 c =============================================================================== 91.96/92.02 c | 7032 | 3510 26257 620721 | 8752 7032 618 | 35.867 % | 93.05/93.11 c | 7133 | 3510 26257 620721 | 9627 7133 618 | 35.867 % | 93.25/93.35 c =============================================================================== 93.25/93.35 c New solution: 78485 93.25/93.35 o 78485 93.25/93.35 c Elapsed CPU time: 92.9099 s Remaining CPU time: 87.0901 s 93.25/93.35 c =============================================================================== 93.25/93.35 c | 7134 | 3510 26258 622670 | 8752 7134 618 | 35.867 % | 93.65/93.72 c =============================================================================== 93.65/93.72 c New solution: 78484 93.65/93.72 o 78484 93.65/93.72 c Elapsed CPU time: 93.2788 s Remaining CPU time: 86.7212 s 93.65/93.72 c =============================================================================== 93.65/93.72 c | 7148 | 3510 26259 624619 | 8753 7148 618 | 35.867 % | 93.85/93.94 c =============================================================================== 93.85/93.94 c New solution: 78483 93.85/93.94 o 78483 93.85/93.94 c Elapsed CPU time: 93.4998 s Remaining CPU time: 86.5002 s 93.85/93.94 c =============================================================================== 93.85/93.94 c | 7157 | 3510 26260 626568 | 8753 7157 618 | 35.867 % | 94.06/94.10 c =============================================================================== 94.06/94.10 c New solution: 78482 94.06/94.10 o 78482 94.06/94.10 c Elapsed CPU time: 93.6588 s Remaining CPU time: 86.3412 s 94.06/94.10 c =============================================================================== 94.06/94.10 c | 7171 | 3510 26261 628517 | 8753 7171 618 | 35.867 % | 96.26/96.38 c | 7272 | 3510 26261 628517 | 9629 7272 619 | 35.867 % | 96.46/96.57 c =============================================================================== 96.46/96.57 c New solution: 78481 96.46/96.57 o 78481 96.46/96.57 c Elapsed CPU time: 96.1294 s Remaining CPU time: 83.8706 s 96.46/96.57 c =============================================================================== 96.46/96.57 c | 7274 | 3510 26262 630466 | 8754 7274 619 | 35.867 % | 96.66/96.79 c =============================================================================== 96.66/96.79 c New solution: 78480 96.66/96.79 o 78480 96.66/96.79 c Elapsed CPU time: 96.3454 s Remaining CPU time: 83.6546 s 96.66/96.79 c =============================================================================== 96.66/96.79 c | 7274 | 3510 26263 632415 | 8754 7274 619 | 35.867 % | 96.96/97.00 c =============================================================================== 96.96/97.00 c New solution: 78479 96.96/97.00 o 78479 96.96/97.00 c Elapsed CPU time: 96.5553 s Remaining CPU time: 83.4447 s 96.96/97.00 c =============================================================================== 96.96/97.00 c | 7274 | 3510 26264 634364 | 8754 7274 619 | 35.867 % | 97.16/97.21 c =============================================================================== 97.16/97.21 c New solution: 78478 97.16/97.21 o 78478 97.16/97.21 c Elapsed CPU time: 96.7653 s Remaining CPU time: 83.2347 s 97.16/97.21 c =============================================================================== 97.16/97.21 c | 7274 | 3510 26265 636313 | 8755 7274 619 | 35.867 % | 97.36/97.42 c =============================================================================== 97.36/97.42 c New solution: 78477 97.36/97.42 o 78477 97.36/97.42 c Elapsed CPU time: 96.9693 s Remaining CPU time: 83.0307 s 97.36/97.42 c =============================================================================== 97.36/97.42 c | 7274 | 3510 26266 638262 | 8755 7274 619 | 35.867 % | 97.55/97.62 c =============================================================================== 97.55/97.62 c New solution: 78475 97.55/97.62 o 78475 97.55/97.62 c Elapsed CPU time: 97.1732 s Remaining CPU time: 82.8268 s 97.55/97.62 c =============================================================================== 97.55/97.62 c | 7274 | 3510 26267 640211 | 8755 7274 619 | 35.867 % | 97.76/97.82 c =============================================================================== 97.76/97.82 c New solution: 78474 97.76/97.82 o 78474 97.76/97.82 c Elapsed CPU time: 97.3712 s Remaining CPU time: 82.6288 s 97.76/97.82 c =============================================================================== 97.76/97.82 c | 7275 | 3510 26268 642160 | 8756 7275 619 | 35.867 % | 97.95/98.02 c =============================================================================== 97.95/98.02 c New solution: 78473 97.95/98.02 o 78473 97.95/98.02 c Elapsed CPU time: 97.5682 s Remaining CPU time: 82.4318 s 97.95/98.02 c =============================================================================== 97.95/98.02 c | 7275 | 3510 26269 644109 | 8756 7275 619 | 35.867 % | 98.15/98.21 c =============================================================================== 98.15/98.21 c New solution: 78472 98.15/98.21 o 78472 98.15/98.21 c Elapsed CPU time: 97.7641 s Remaining CPU time: 82.2359 s 98.15/98.21 c =============================================================================== 98.15/98.21 c | 7275 | 3510 26270 646058 | 8756 7275 619 | 35.867 % | 98.36/98.42 c =============================================================================== 98.36/98.42 c New solution: 78471 98.36/98.42 o 78471 98.36/98.42 c Elapsed CPU time: 97.9681 s Remaining CPU time: 82.0319 s 98.36/98.42 c =============================================================================== 98.36/98.42 c | 7276 | 3510 26271 648007 | 8757 7276 619 | 35.867 % | 100.45/100.53 c | 7376 | 3510 26271 648007 | 9632 7376 619 | 35.867 % | 100.55/100.66 c =============================================================================== 100.55/100.66 c New solution: 78470 100.55/100.66 o 78470 100.55/100.66 c Elapsed CPU time: 100.197 s Remaining CPU time: 79.8032 s 100.55/100.66 c =============================================================================== 100.55/100.66 c | 7384 | 3510 26272 649956 | 8757 7384 619 | 35.867 % | 102.26/102.38 c | 7485 | 3510 26272 649956 | 9633 7485 620 | 35.867 % | 102.45/102.59 c =============================================================================== 102.45/102.59 c New solution: 78469 102.45/102.59 o 78469 102.45/102.59 c Elapsed CPU time: 102.135 s Remaining CPU time: 77.8645 s 102.45/102.59 c =============================================================================== 102.45/102.59 c | 7490 | 3510 26273 651905 | 8757 7490 620 | 35.867 % | 102.85/102.98 c =============================================================================== 102.85/102.98 c New solution: 77009 102.85/102.98 o 77009 102.85/102.98 c Elapsed CPU time: 102.517 s Remaining CPU time: 77.4826 s 102.85/102.98 c =============================================================================== 102.85/102.98 c | 7500 | 3510 26274 653854 | 8758 7500 620 | 35.867 % | 103.15/103.25 c =============================================================================== 103.15/103.25 c New solution: 77008 103.15/103.25 o 77008 103.15/103.25 c Elapsed CPU time: 102.785 s Remaining CPU time: 77.2146 s 103.15/103.25 c =============================================================================== 103.15/103.25 c | 7502 | 3510 26275 655803 | 8758 7502 619 | 35.867 % | 103.36/103.46 c =============================================================================== 103.36/103.46 c New solution: 77007 103.36/103.46 o 77007 103.36/103.46 c Elapsed CPU time: 103.001 s Remaining CPU time: 76.9987 s 103.36/103.46 c =============================================================================== 103.36/103.46 c | 7502 | 3510 26276 657752 | 8758 7502 619 | 35.867 % | 103.65/103.70 c =============================================================================== 103.65/103.70 c New solution: 77006 103.65/103.70 o 77006 103.65/103.70 c Elapsed CPU time: 103.238 s Remaining CPU time: 76.7617 s 103.65/103.70 c =============================================================================== 103.65/103.70 c | 7502 | 3510 26277 659701 | 8759 7502 619 | 35.867 % | 103.85/103.94 c =============================================================================== 103.85/103.94 c New solution: 77005 103.85/103.94 o 77005 103.85/103.94 c Elapsed CPU time: 103.481 s Remaining CPU time: 76.5187 s 103.85/103.94 c =============================================================================== 103.85/103.94 c | 7504 | 3510 26278 661650 | 8759 7504 619 | 35.867 % | 104.05/104.19 c =============================================================================== 104.05/104.19 c New solution: 77004 104.05/104.19 o 77004 104.05/104.19 c Elapsed CPU time: 103.728 s Remaining CPU time: 76.2718 s 104.05/104.19 c =============================================================================== 104.05/104.19 c | 7506 | 3510 26279 663599 | 8759 7506 619 | 35.867 % | 104.36/104.44 c =============================================================================== 104.36/104.44 c New solution: 77003 104.36/104.44 o 77003 104.36/104.44 c Elapsed CPU time: 103.976 s Remaining CPU time: 76.0238 s 104.36/104.44 c =============================================================================== 104.36/104.44 c | 7506 | 3510 26280 665548 | 8760 7506 619 | 35.867 % | 104.56/104.69 c =============================================================================== 104.56/104.69 c New solution: 77002 104.56/104.69 o 77002 104.56/104.69 c Elapsed CPU time: 104.22 s Remaining CPU time: 75.7798 s 104.56/104.69 c =============================================================================== 104.56/104.69 c | 7506 | 3510 26281 667497 | 8760 7506 619 | 35.867 % | 104.85/104.92 c =============================================================================== 104.85/104.92 c New solution: 77001 104.85/104.92 o 77001 104.85/104.92 c Elapsed CPU time: 104.449 s Remaining CPU time: 75.5509 s 104.85/104.92 c =============================================================================== 104.85/104.92 c | 7506 | 3510 26282 669446 | 8760 7506 619 | 35.867 % | 105.05/105.15 c =============================================================================== 105.05/105.15 c New solution: 77000 105.05/105.15 o 77000 105.05/105.15 c Elapsed CPU time: 104.683 s Remaining CPU time: 75.3169 s 105.05/105.15 c =============================================================================== 105.05/105.15 c | 7506 | 3510 26283 671395 | 8761 7506 619 | 35.867 % | 105.25/105.38 c =============================================================================== 105.25/105.38 c New solution: 76999 105.25/105.38 o 76999 105.25/105.38 c Elapsed CPU time: 104.908 s Remaining CPU time: 75.0919 s 105.25/105.38 c =============================================================================== 105.25/105.38 c | 7506 | 3510 26284 673344 | 8761 7506 619 | 35.867 % | 105.46/105.60 c =============================================================================== 105.46/105.60 c New solution: 76998 105.46/105.60 o 76998 105.46/105.60 c Elapsed CPU time: 105.133 s Remaining CPU time: 74.867 s 105.46/105.60 c =============================================================================== 105.46/105.60 c | 7508 | 3510 26285 675293 | 8761 7508 619 | 35.867 % | 105.65/105.75 c =============================================================================== 105.65/105.75 c New solution: 76997 105.65/105.75 o 76997 105.65/105.75 c Elapsed CPU time: 105.282 s Remaining CPU time: 74.718 s 105.65/105.75 c =============================================================================== 105.65/105.75 c | 7509 | 3510 26286 677242 | 8762 7509 619 | 35.867 % | 105.85/105.97 c =============================================================================== 105.85/105.97 c New solution: 76996 105.85/105.97 o 76996 105.85/105.97 c Elapsed CPU time: 105.496 s Remaining CPU time: 74.504 s 105.85/105.97 c =============================================================================== 105.85/105.97 c | 7510 | 3510 26287 679191 | 8762 7510 619 | 35.867 % | 106.05/106.18 c =============================================================================== 106.05/106.18 c New solution: 76995 106.05/106.18 o 76995 106.05/106.18 c Elapsed CPU time: 105.708 s Remaining CPU time: 74.2921 s 106.05/106.18 c =============================================================================== 106.05/106.18 c | 7513 | 3510 26288 681140 | 8762 7513 619 | 35.867 % | 106.25/106.40 c =============================================================================== 106.25/106.40 c New solution: 76994 106.25/106.40 o 76994 106.25/106.40 c Elapsed CPU time: 105.923 s Remaining CPU time: 74.0771 s 106.25/106.40 c =============================================================================== 106.25/106.40 c | 7514 | 3510 26289 683089 | 8763 7514 619 | 35.867 % | 106.45/106.57 c =============================================================================== 106.45/106.57 c New solution: 76993 106.45/106.57 o 76993 106.45/106.57 c Elapsed CPU time: 106.098 s Remaining CPU time: 73.9021 s 106.45/106.57 c =============================================================================== 106.45/106.57 c | 7515 | 3510 26290 685038 | 8763 7515 619 | 35.867 % | 106.66/106.79 c =============================================================================== 106.66/106.79 c New solution: 76992 106.66/106.79 o 76992 106.66/106.79 c Elapsed CPU time: 106.321 s Remaining CPU time: 73.6792 s 106.66/106.79 c =============================================================================== 106.66/106.79 c | 7518 | 3510 26291 686987 | 8763 7518 619 | 35.867 % | 106.95/107.00 c =============================================================================== 106.95/107.00 c New solution: 76991 106.95/107.00 o 76991 106.95/107.00 c Elapsed CPU time: 106.53 s Remaining CPU time: 73.4702 s 106.95/107.00 c =============================================================================== 106.95/107.00 c | 7522 | 3510 26292 688936 | 8764 7522 619 | 35.867 % | 107.05/107.16 c =============================================================================== 107.05/107.16 c New solution: 76990 107.05/107.16 o 76990 107.05/107.16 c Elapsed CPU time: 106.688 s Remaining CPU time: 73.3122 s 107.05/107.16 c =============================================================================== 107.05/107.16 c | 7523 | 3510 26293 690885 | 8764 7523 619 | 35.867 % | 108.36/108.48 c | 7624 | 3510 26293 690885 | 9640 7624 620 | 35.867 % | 108.66/108.75 c =============================================================================== 108.66/108.75 c New solution: 76989 108.66/108.75 o 76989 108.66/108.75 c Elapsed CPU time: 108.271 s Remaining CPU time: 71.7295 s 108.66/108.75 c =============================================================================== 108.66/108.75 c | 7633 | 3510 26294 692834 | 8764 7633 620 | 35.867 % | 109.96/110.02 c | 7733 | 3510 26294 692834 | 9641 7733 621 | 35.867 % | 112.16/112.24 c | 7883 | 3510 26294 692834 | 10605 7883 622 | 35.867 % | 115.05/115.13 c =============================================================================== 115.05/115.13 c New solution: 76988 115.05/115.13 o 76988 115.05/115.13 c Elapsed CPU time: 114.649 s Remaining CPU time: 65.3514 s 115.05/115.13 c =============================================================================== 115.05/115.13 c | 8102 | 3510 26295 694783 | 8765 8102 623 | 35.867 % | 115.25/115.39 c =============================================================================== 115.25/115.39 c New solution: 76987 115.25/115.39 o 76987 115.25/115.39 c Elapsed CPU time: 114.899 s Remaining CPU time: 65.1015 s 115.25/115.39 c =============================================================================== 115.25/115.39 c | 8106 | 3510 26296 696732 | 8765 8106 623 | 35.867 % | 115.55/115.63 c =============================================================================== 115.55/115.63 c New solution: 76986 115.55/115.63 o 76986 115.55/115.63 c Elapsed CPU time: 115.139 s Remaining CPU time: 64.8605 s 115.55/115.63 c =============================================================================== 115.55/115.63 c | 8107 | 3510 26297 698681 | 8765 8107 623 | 35.867 % | 115.75/115.87 c =============================================================================== 115.75/115.87 c New solution: 76985 115.75/115.87 o 76985 115.75/115.87 c Elapsed CPU time: 115.384 s Remaining CPU time: 64.6155 s 115.75/115.87 c =============================================================================== 115.75/115.87 c | 8110 | 3510 26298 700630 | 8766 8110 623 | 35.867 % | 115.95/116.09 c =============================================================================== 115.95/116.09 c New solution: 76984 115.95/116.09 o 76984 115.95/116.09 c Elapsed CPU time: 115.602 s Remaining CPU time: 64.3976 s 115.95/116.09 c =============================================================================== 115.95/116.09 c | 8113 | 3510 26299 702579 | 8766 8113 623 | 35.867 % | 116.25/116.36 c =============================================================================== 116.25/116.36 c New solution: 76983 116.25/116.36 o 76983 116.25/116.36 c Elapsed CPU time: 115.868 s Remaining CPU time: 64.1316 s 116.25/116.36 c =============================================================================== 116.25/116.36 c | 8118 | 3510 26300 704528 | 8766 8118 623 | 35.867 % | 116.56/116.66 c =============================================================================== 116.56/116.66 c New solution: 76982 116.56/116.66 o 76982 116.56/116.66 c Elapsed CPU time: 116.169 s Remaining CPU time: 63.8307 s 116.56/116.66 c =============================================================================== 116.56/116.66 c | 8127 | 3510 26301 706477 | 8767 8127 623 | 35.867 % | 116.75/116.87 c =============================================================================== 116.75/116.87 c New solution: 76981 116.75/116.87 o 76981 116.75/116.87 c Elapsed CPU time: 116.375 s Remaining CPU time: 63.6247 s 116.75/116.87 c =============================================================================== 116.75/116.87 c | 8136 | 3510 26302 708426 | 8767 8136 623 | 35.867 % | 118.04/118.15 c | 8236 | 3510 26302 708426 | 9644 8236 623 | 35.867 % | 118.24/118.36 c =============================================================================== 118.24/118.36 c New solution: 76980 118.24/118.36 o 76980 118.24/118.36 c Elapsed CPU time: 117.863 s Remaining CPU time: 62.1369 s 118.24/118.36 c =============================================================================== 118.24/118.36 c | 8237 | 3510 26303 710375 | 8767 8237 623 | 35.867 % | 118.45/118.57 c =============================================================================== 118.45/118.57 c New solution: 76979 118.45/118.57 o 76979 118.45/118.57 c Elapsed CPU time: 118.076 s Remaining CPU time: 61.924 s 118.45/118.57 c =============================================================================== 118.45/118.57 c | 8237 | 3510 26304 712324 | 8768 8237 623 | 35.867 % | 118.66/118.79 c =============================================================================== 118.66/118.79 c New solution: 76978 118.66/118.79 o 76978 118.66/118.79 c Elapsed CPU time: 118.291 s Remaining CPU time: 61.709 s 118.66/118.79 c =============================================================================== 118.66/118.79 c | 8239 | 3510 26305 714273 | 8768 8239 623 | 35.867 % | 120.15/120.27 c | 8340 | 3510 26305 714273 | 9645 8340 624 | 35.867 % | 122.75/122.89 c | 8491 | 3510 26305 714273 | 10609 8491 624 | 35.867 % | 123.35/123.47 c =============================================================================== 123.35/123.47 c New solution: 76977 123.35/123.47 o 76977 123.35/123.47 c Elapsed CPU time: 122.965 s Remaining CPU time: 57.0347 s 123.35/123.47 c =============================================================================== 123.35/123.47 c | 8521 | 3510 26306 716222 | 8768 8521 624 | 35.867 % | 123.55/123.65 c =============================================================================== 123.55/123.65 c New solution: 76976 123.55/123.65 o 76976 123.55/123.65 c Elapsed CPU time: 123.142 s Remaining CPU time: 56.8577 s 123.55/123.65 c =============================================================================== 123.55/123.65 c | 8522 | 3510 26307 718171 | 8769 8522 624 | 35.867 % | 123.75/123.81 c =============================================================================== 123.75/123.81 c New solution: 76975 123.75/123.81 o 76975 123.75/123.81 c Elapsed CPU time: 123.306 s Remaining CPU time: 56.6937 s 123.75/123.81 c =============================================================================== 123.75/123.81 c | 8525 | 3510 26308 720120 | 8769 8525 624 | 35.867 % | 123.85/123.97 c =============================================================================== 123.85/123.97 c New solution: 76974 123.85/123.97 o 76974 123.85/123.97 c Elapsed CPU time: 123.462 s Remaining CPU time: 56.5378 s 123.85/123.97 c =============================================================================== 123.85/123.97 c | 8527 | 3510 26309 722069 | 8769 8527 624 | 35.867 % | 125.04/125.17 c | 8628 | 3510 26309 722069 | 9646 8628 625 | 35.867 % | 125.25/125.39 c =============================================================================== 125.25/125.39 c New solution: 76973 125.25/125.39 o 76973 125.25/125.39 c Elapsed CPU time: 124.878 s Remaining CPU time: 55.122 s 125.25/125.39 c =============================================================================== 125.25/125.39 c | 8628 | 3510 26310 724018 | 8770 8628 625 | 35.867 % | 126.65/126.78 c | 8729 | 3510 26310 724018 | 9647 8729 625 | 35.867 % | 126.95/127.03 c =============================================================================== 126.95/127.03 c New solution: 76972 126.95/127.03 o 76972 126.95/127.03 c Elapsed CPU time: 126.52 s Remaining CPU time: 53.4802 s 126.95/127.03 c =============================================================================== 126.95/127.03 c | 8742 | 3510 26311 725967 | 8770 8742 625 | 35.867 % | 128.95/129.08 c | 8842 | 3510 26311 725967 | 9647 8842 625 | 35.867 % | 130.34/130.45 c =============================================================================== 130.34/130.45 c New solution: 76971 130.34/130.45 o 76971 130.34/130.45 c Elapsed CPU time: 129.935 s Remaining CPU time: 50.0648 s 130.34/130.45 c =============================================================================== 130.34/130.45 c | 8930 | 3510 26312 727916 | 8770 8930 625 | 35.867 % | 130.64/130.71 c =============================================================================== 130.64/130.71 c New solution: 76970 130.64/130.71 o 76970 130.64/130.71 c Elapsed CPU time: 130.189 s Remaining CPU time: 49.8108 s 130.64/130.71 c =============================================================================== 130.64/130.71 c | 8930 | 3510 26313 729865 | 8771 8930 625 | 35.867 % | 130.85/130.98 c =============================================================================== 130.85/130.98 c New solution: 76969 130.85/130.98 o 76969 130.85/130.98 c Elapsed CPU time: 130.46 s Remaining CPU time: 49.5398 s 130.85/130.98 c =============================================================================== 130.85/130.98 c | 8931 | 3510 26314 731814 | 8771 8931 625 | 35.867 % | 132.64/132.70 c | 9032 | 3510 26314 731814 | 9648 9032 626 | 35.867 % | 133.15/133.20 c =============================================================================== 133.15/133.20 c New solution: 76968 133.15/133.20 o 76968 133.15/133.20 c Elapsed CPU time: 132.679 s Remaining CPU time: 47.3212 s 133.15/133.20 c =============================================================================== 133.15/133.20 c | 9062 | 3510 26315 733763 | 8771 9062 626 | 35.867 % | 134.25/134.39 c =============================================================================== 134.25/134.39 c New solution: 76967 134.25/134.39 o 76967 134.25/134.39 c Elapsed CPU time: 133.867 s Remaining CPU time: 46.1334 s 134.25/134.39 c =============================================================================== 134.25/134.39 c | 9145 | 3510 26316 735712 | 8772 9145 626 | 35.867 % | 135.55/135.64 c | 9245 | 3510 26316 735712 | 9649 9245 626 | 35.867 % | 136.25/136.35 c =============================================================================== 136.25/136.35 c New solution: 76966 136.25/136.35 o 76966 136.25/136.35 c Elapsed CPU time: 135.818 s Remaining CPU time: 44.1816 s 136.25/136.35 c =============================================================================== 136.25/136.35 c | 9284 | 3510 26317 737661 | 8772 9284 626 | 35.867 % | 137.84/137.93 c | 9384 | 3510 26317 737661 | 9649 9384 626 | 35.867 % | 138.14/138.23 c =============================================================================== 138.14/138.23 c New solution: 75531 138.14/138.23 o 75531 138.14/138.23 c Elapsed CPU time: 137.698 s Remaining CPU time: 42.3019 s 138.14/138.23 c =============================================================================== 138.14/138.23 c | 9391 | 3510 26318 739610 | 8772 9391 626 | 35.867 % | 138.45/138.54 c =============================================================================== 138.45/138.54 c New solution: 75501 138.45/138.54 o 75501 138.45/138.54 c Elapsed CPU time: 138.012 s Remaining CPU time: 41.988 s 138.45/138.54 c =============================================================================== 138.45/138.54 c | 9391 | 3510 26319 741559 | 8773 9391 626 | 35.867 % | 138.74/138.85 c =============================================================================== 138.74/138.85 c New solution: 75499 138.74/138.85 o 75499 138.74/138.85 c Elapsed CPU time: 138.313 s Remaining CPU time: 41.687 s 138.74/138.85 c =============================================================================== 138.74/138.85 c | 9391 | 3510 26320 743508 | 8773 9391 626 | 35.867 % | 139.04/139.15 c =============================================================================== 139.04/139.15 c New solution: 75498 139.04/139.15 o 75498 139.04/139.15 c Elapsed CPU time: 138.616 s Remaining CPU time: 41.3841 s 139.04/139.15 c =============================================================================== 139.04/139.15 c | 9391 | 3510 26321 745457 | 8773 9391 626 | 35.867 % | 139.34/139.45 c =============================================================================== 139.34/139.45 c New solution: 75497 139.34/139.45 o 75497 139.34/139.45 c Elapsed CPU time: 138.917 s Remaining CPU time: 41.0831 s 139.34/139.45 c =============================================================================== 139.34/139.45 c | 9391 | 3510 26322 747406 | 8774 9391 626 | 35.867 % | 139.65/139.75 c =============================================================================== 139.65/139.75 c New solution: 75496 139.65/139.75 o 75496 139.65/139.75 c Elapsed CPU time: 139.215 s Remaining CPU time: 40.7852 s 139.65/139.75 c =============================================================================== 139.65/139.75 c | 9392 | 3510 26323 749355 | 8774 9392 626 | 35.867 % | 139.95/140.05 c =============================================================================== 139.95/140.05 c New solution: 75495 139.95/140.05 o 75495 139.95/140.05 c Elapsed CPU time: 139.517 s Remaining CPU time: 40.4832 s 139.95/140.05 c =============================================================================== 139.95/140.05 c | 9392 | 3510 26324 751304 | 8774 9392 626 | 35.867 % | 140.25/140.35 c =============================================================================== 140.25/140.35 c New solution: 75494 140.25/140.35 o 75494 140.25/140.35 c Elapsed CPU time: 139.816 s Remaining CPU time: 40.1843 s 140.25/140.35 c =============================================================================== 140.25/140.35 c | 9392 | 3510 26325 753253 | 8775 9392 626 | 35.867 % | 140.54/140.65 c =============================================================================== 140.54/140.65 c New solution: 75492 140.54/140.65 o 75492 140.54/140.65 c Elapsed CPU time: 140.109 s Remaining CPU time: 39.8913 s 140.54/140.65 c =============================================================================== 140.54/140.65 c | 9392 | 3510 26326 755202 | 8775 9392 626 | 35.867 % | 140.84/140.94 c =============================================================================== 140.84/140.94 c New solution: 75491 140.84/140.94 o 75491 140.84/140.94 c Elapsed CPU time: 140.397 s Remaining CPU time: 39.6033 s 140.84/140.94 c =============================================================================== 140.84/140.94 c | 9392 | 3510 26327 757151 | 8775 9392 626 | 35.867 % | 141.14/141.23 c =============================================================================== 141.14/141.23 c New solution: 75490 141.14/141.23 o 75490 141.14/141.23 c Elapsed CPU time: 140.686 s Remaining CPU time: 39.3144 s 141.14/141.23 c =============================================================================== 141.14/141.23 c | 9392 | 3510 26328 759100 | 8776 9392 626 | 35.867 % | 141.34/141.47 c =============================================================================== 141.34/141.47 c New solution: 75489 141.34/141.47 o 75489 141.34/141.47 c Elapsed CPU time: 140.93 s Remaining CPU time: 39.0704 s 141.34/141.47 c =============================================================================== 141.34/141.47 c | 9399 | 3510 26329 761049 | 8776 9399 626 | 35.867 % | 141.64/141.74 c =============================================================================== 141.64/141.74 c New solution: 75488 141.64/141.74 o 75488 141.64/141.74 c Elapsed CPU time: 141.196 s Remaining CPU time: 38.8045 s 141.64/141.74 c =============================================================================== 141.64/141.74 c | 9400 | 3510 26330 762998 | 8776 9400 626 | 35.867 % | 142.44/142.59 c =============================================================================== 142.44/142.59 c New solution: 75487 142.44/142.59 o 75487 142.44/142.59 c Elapsed CPU time: 142.045 s Remaining CPU time: 37.9546 s 142.44/142.59 c =============================================================================== 142.44/142.59 c | 9417 | 3510 26331 764947 | 8777 9417 626 | 35.867 % | 142.74/142.86 c =============================================================================== 142.74/142.86 c New solution: 75486 142.74/142.86 o 75486 142.74/142.86 c Elapsed CPU time: 142.323 s Remaining CPU time: 37.6766 s 142.74/142.86 c =============================================================================== 142.74/142.86 c | 9419 | 3510 26332 766896 | 8777 9419 626 | 35.867 % | 143.04/143.14 c =============================================================================== 143.04/143.14 c New solution: 75485 143.04/143.14 o 75485 143.04/143.14 c Elapsed CPU time: 142.593 s Remaining CPU time: 37.4067 s 143.04/143.14 c =============================================================================== 143.04/143.14 c | 9421 | 3510 26333 768845 | 8777 9421 626 | 35.867 % | 143.34/143.43 c =============================================================================== 143.34/143.43 c New solution: 75484 143.34/143.43 o 75484 143.34/143.43 c Elapsed CPU time: 142.891 s Remaining CPU time: 37.1087 s 143.34/143.43 c =============================================================================== 143.34/143.43 c | 9428 | 3510 26334 770794 | 8778 9428 626 | 35.867 % | 143.84/143.97 c =============================================================================== 143.84/143.97 c New solution: 75483 143.84/143.97 o 75483 143.84/143.97 c Elapsed CPU time: 143.432 s Remaining CPU time: 36.5678 s 143.84/143.97 c =============================================================================== 143.84/143.97 c | 9450 | 3510 26335 772743 | 8778 9450 626 | 35.867 % | 144.14/144.22 c =============================================================================== 144.14/144.22 c New solution: 75482 144.14/144.22 o 75482 144.14/144.22 c Elapsed CPU time: 143.68 s Remaining CPU time: 36.3198 s 144.14/144.22 c =============================================================================== 144.14/144.22 c | 9450 | 3510 26336 774692 | 8778 9450 626 | 35.867 % | 144.34/144.47 c =============================================================================== 144.34/144.47 c New solution: 75481 144.34/144.47 o 75481 144.34/144.47 c Elapsed CPU time: 143.923 s Remaining CPU time: 36.0769 s 144.34/144.47 c =============================================================================== 144.34/144.47 c | 9450 | 3510 26337 776641 | 8779 9450 626 | 35.867 % | 144.64/144.71 c =============================================================================== 144.64/144.71 c New solution: 75480 144.64/144.71 o 75480 144.64/144.71 c Elapsed CPU time: 144.164 s Remaining CPU time: 35.8359 s 144.64/144.71 c =============================================================================== 144.64/144.71 c | 9450 | 3510 26338 778590 | 8779 9450 626 | 35.867 % | 145.74/145.82 c | 9550 | 3510 26338 778590 | 9657 9550 626 | 35.867 % | 145.94/146.03 c =============================================================================== 145.94/146.03 c New solution: 75479 145.94/146.03 o 75479 145.94/146.03 c Elapsed CPU time: 145.484 s Remaining CPU time: 34.5161 s 145.94/146.03 c =============================================================================== 145.94/146.03 c | 9552 | 3510 26339 780539 | 8779 9552 626 | 35.867 % | 147.43/147.58 c | 9653 | 3510 26339 780539 | 9657 9653 626 | 35.867 % | 147.73/147.86 c =============================================================================== 147.73/147.86 c New solution: 75478 147.73/147.86 o 75478 147.73/147.86 c Elapsed CPU time: 147.312 s Remaining CPU time: 32.6884 s 147.73/147.86 c =============================================================================== 147.73/147.86 c | 9653 | 3510 26340 782488 | 8780 9653 626 | 35.867 % | 148.04/148.13 c =============================================================================== 148.04/148.13 c New solution: 75477 148.04/148.13 o 75477 148.04/148.13 c Elapsed CPU time: 147.585 s Remaining CPU time: 32.4154 s 148.04/148.13 c =============================================================================== 148.04/148.13 c | 9653 | 3510 26341 784437 | 8780 9653 626 | 35.867 % | 148.35/148.40 c =============================================================================== 148.35/148.40 c New solution: 75476 148.35/148.40 o 75476 148.35/148.40 c Elapsed CPU time: 147.848 s Remaining CPU time: 32.1525 s 148.35/148.40 c =============================================================================== 148.35/148.40 c | 9653 | 3510 26342 786386 | 8780 9653 626 | 35.867 % | 148.54/148.66 c =============================================================================== 148.54/148.66 c New solution: 75475 148.54/148.66 o 75475 148.54/148.66 c Elapsed CPU time: 148.114 s Remaining CPU time: 31.8855 s 148.54/148.66 c =============================================================================== 148.54/148.66 c | 9653 | 3510 26343 788335 | 8781 9653 626 | 35.867 % | 148.84/148.94 c =============================================================================== 148.84/148.94 c New solution: 75474 148.84/148.94 o 75474 148.84/148.94 c Elapsed CPU time: 148.386 s Remaining CPU time: 31.6136 s 148.84/148.94 c =============================================================================== 148.84/148.94 c | 9653 | 3510 26344 790284 | 8781 9653 626 | 35.867 % | 149.14/149.20 c =============================================================================== 149.14/149.20 c New solution: 75473 149.14/149.20 o 75473 149.14/149.20 c Elapsed CPU time: 148.648 s Remaining CPU time: 31.3516 s 149.14/149.20 c =============================================================================== 149.14/149.20 c | 9653 | 3510 26345 792233 | 8781 9653 626 | 35.867 % | 149.34/149.47 c =============================================================================== 149.34/149.47 c New solution: 75472 149.34/149.47 o 75472 149.34/149.47 c Elapsed CPU time: 148.922 s Remaining CPU time: 31.0776 s 149.34/149.47 c =============================================================================== 149.34/149.47 c | 9654 | 3510 26346 794182 | 8782 9654 626 | 35.867 % | 149.64/149.78 c =============================================================================== 149.64/149.78 c New solution: 75471 149.64/149.78 o 75471 149.64/149.78 c Elapsed CPU time: 149.227 s Remaining CPU time: 30.7727 s 149.64/149.78 c =============================================================================== 149.64/149.78 c | 9661 | 3510 26347 796131 | 8782 9661 626 | 35.867 % | 150.04/150.18 c =============================================================================== 150.04/150.18 c New solution: 75470 150.04/150.18 o 75470 150.04/150.18 c Elapsed CPU time: 149.625 s Remaining CPU time: 30.3747 s 150.04/150.18 c =============================================================================== 150.04/150.18 c | 9675 | 3510 26348 798080 | 8782 9675 626 | 35.867 % | 153.43/153.57 c | 9776 | 3510 26348 798080 | 9660 9776 626 | 35.867 % | 158.35/158.47 c | 9926 | 3510 26348 798080 | 10627 9926 626 | 35.867 % | 160.64/160.74 c | 10152 | 3510 26348 798080 | 11689 10152 627 | 35.867 % | 161.14/161.26 c =============================================================================== 161.14/161.26 c New solution: 75469 161.14/161.26 o 75469 161.14/161.26 c Elapsed CPU time: 160.692 s Remaining CPU time: 19.3084 s 161.14/161.26 c =============================================================================== 161.14/161.26 c | 10178 | 3510 26349 800029 | 8783 10178 627 | 35.867 % | 162.83/162.96 c | 10279 | 3510 26349 800029 | 9661 10279 627 | 35.867 % | 163.93/164.01 c =============================================================================== 163.93/164.01 c New solution: 75468 163.93/164.01 o 75468 163.93/164.01 c Elapsed CPU time: 163.44 s Remaining CPU time: 16.5598 s 163.93/164.01 c =============================================================================== 163.93/164.01 c | 10336 | 3510 26350 801978 | 8783 10336 627 | 35.867 % | 165.94/166.07 c | 10437 | 3510 26350 801978 | 9661 10437 627 | 35.867 % | 168.13/168.20 c | 10588 | 3510 26350 801978 | 10627 10588 627 | 35.867 % | 173.53/173.64 c | 10813 | 3510 26350 801978 | 11690 10813 627 | 35.867 % | 178.04/178.18 c | 11151 | 3510 26350 801978 | 12859 11151 628 | 35.867 % | 178.33/178.45 c =============================================================================== 178.33/178.45 c New solution: 75467 178.33/178.45 o 75467 178.33/178.45 c Elapsed CPU time: 177.864 s Remaining CPU time: 2.13604 s 178.33/178.45 c =============================================================================== 178.33/178.45 c | 11154 | 3510 26351 803927 | 8783 11154 628 | 35.867 % | 178.63/178.77 c =============================================================================== 178.63/178.77 c New solution: 75466 178.63/178.77 o 75466 178.63/178.77 c Elapsed CPU time: 178.18 s Remaining CPU time: 1.82009 s 178.63/178.77 c =============================================================================== 178.63/178.77 c | 11157 | 3510 26352 805876 | 8784 5580 622 | 35.867 % | 180.24/180.35 c | 11258 | 3510 26352 805876 | 9662 5681 622 | 35.867 % | 180.43/180.55 c =============================================================================== 180.43/180.55 c New solution: 75465 180.43/180.55 o 75465 180.43/180.55 c Elapsed CPU time: 179.953 s Remaining CPU time: 0.047357 s 180.43/180.55 c =============================================================================== 180.43/180.55 c | 11261 | 3510 26353 807825 | 8784 5684 622 | 35.867 % | 180.53/180.68 c There are 1963 assigned variables. 414 in cost function. 183.64/183.79 c core #1 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 2 Core Weight: 1 Total Weight: 6281 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #2 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 2 Core Weight: 1 Total Weight: 6282 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #3 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 2 Core Weight: 1 Total Weight: 6283 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #4 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6284 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #5 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6285 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #6 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6286 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #7 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6287 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #8 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6288 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #9 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6289 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #10 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 3 Core Weight: 1 Total Weight: 6290 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #11 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 7 Core Weight: 1495 Total Weight: 7785 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #12 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 8 Core Weight: 1 Total Weight: 7786 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #13 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 8 Core Weight: 1 Total Weight: 7787 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #14 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 11 Core Weight: 1 Total Weight: 7788 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #15 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7789 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #16 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7790 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #17 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7791 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #18 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 7 Core Weight: 1 Total Weight: 7792 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #19 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7793 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #20 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7794 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #21 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 7 Core Weight: 1 Total Weight: 7795 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #22 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7796 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #23 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 7 Core Weight: 1 Total Weight: 7797 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #24 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 13 Core Weight: 1 Total Weight: 7798 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #25 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7799 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #26 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 4 Core Weight: 1 Total Weight: 7800 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #27 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7801 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #28 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7802 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #29 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 4 Core Weight: 1 Total Weight: 7803 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #30 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7804 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #31 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 4 Core Weight: 1 Total Weight: 7805 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #32 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 7806 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #33 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 10 Core Weight: 1 Total Weight: 7807 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #34 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 12 Core Weight: 1 Total Weight: 7808 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #35 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7809 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #36 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 13 Core Weight: 1 Total Weight: 7810 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #37 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 13 Core Weight: 1 Total Weight: 7811 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #38 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 15 Core Weight: 1 Total Weight: 7812 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #39 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 4 Core Weight: 1 Total Weight: 7813 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #40 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 7814 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #41 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 4 Core Weight: 1 Total Weight: 7815 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #42 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 10 Core Weight: 1481 Total Weight: 9296 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #43 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 8 Core Weight: 1 Total Weight: 9297 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #44 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 6 Core Weight: 1 Total Weight: 9298 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #45 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 7 Core Weight: 1 Total Weight: 9299 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #46 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 11 Core Weight: 1 Total Weight: 9300 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #47 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 12 Core Weight: 1 Total Weight: 9301 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #48 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 10 Core Weight: 1 Total Weight: 9302 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #49 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 15 Core Weight: 1 Total Weight: 9303 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #50 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 10 Core Weight: 1 Total Weight: 9304 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #51 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 13 Core Weight: 1 Total Weight: 9305 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #52 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 10 Core Weight: 1 Total Weight: 9306 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #53 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 16 Core Weight: 1 Total Weight: 9307 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #54 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 8 Core Weight: 1 Total Weight: 9308 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #55 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 5 Core Weight: 1 Total Weight: 9309 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #56 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 15 Core Weight: 1 Total Weight: 9310 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #57 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 18 Core Weight: 1 Total Weight: 9311 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #58 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 14 Core Weight: 1 Total Weight: 9312 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c core #59 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 21 Core Weight: 1 Total Weight: 9313 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c core #60 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c Core size: 32 Core Weight: 1 Total Weight: 9314 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c core #61 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c Core size: 27 Core Weight: 1 Total Weight: 9315 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c core #62 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c Core size: 19 Core Weight: 1 Total Weight: 9316 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c ============================[ Search Statistics ]============================== 183.93/184.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.01 c =============================================================================== 183.93/184.01 c | 0 | 809 15440 8026 | 5146 0 nan | 0.000 % | 183.93/184.01 c =============================================================================== 183.93/184.03 c #cores: 62 183.93/184.03 c Final Weight: 9316 183.93/184.03 o 9316 183.93/184.03 s OPTIMUM FOUND 183.93/184.03 v -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 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 x5472 x5473 x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 x297 x298 -x299 -x300 x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 x330 x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 -x344 x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 x389 x390 x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 x426 x427 x428 -x429 -x430 -x431 x432 x433 x434 x435 x436 -x437 x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 x548 -x549 -x550 x551 -x552 x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 x577 -x578 -x579 x580 -x581 -x582 x583 -x584 x585 x586 -x587 -x588 x589 -x590 x591 x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 x655 x656 -x657 -x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 x671 -x672 x673 x674 -x675 x676 -x677 -x678 x679 -x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 x689 -x690 x691 x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 x731 x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 -x763 -x764 x765 x766 -x767 -x768 -x769 x770 -x771 x772 -x773 x774 x775 -x776 x777 x778 x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 -x791 x792 -x793 -x794 x795 -x796 -x797 x798 -x799 x800 -x801 -x802 -x803 x804 -x805 x806 x807 -x808 x809 -x810 x811 x812 -x813 -x814 -x815 x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 x826 -x827 -x828 x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 x838 x839 -x840 -x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 x862 x863 -x864 x865 -x866 -x867 x868 x869 x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 x921 -x922 x923 -x924 x925 -x926 x927 x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 x978 x979 -x980 x981 x982 -x983 x984 -x985 x986 -x987 x988 -x989 -x990 x991 -x992 -x993 x994 x995 -x996 -x997 x998 -x999 -x1000 x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 x1045 x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 x1154 x1155 x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 x1303 -x1304 x1305 -x1306 x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 x1335 -x1336 -x1337 x1338 -x1339 x1340 x1341 x1342 x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 x1350 -x1351 x1352 -x1353 -x1354 x1355 -x1356 x1357 -x1358 x1359 -x1360 x1361 -x1362 x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 x1449 -x1450 -x1451 -x1452 x1453 -x1454 x1455 x1456 -x1457 x1458 -x1459 x1460 x1461 x1462 -x1463 -x1464 x1465 -x1466 x1467 -x1468 x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 x1493 x1494 -x1495 x1496 -x1497 x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 x1513 -x1514 x1515 -x1516 x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 x1531 x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 x1612 x1613 -x1614 -x1615 -x1616 -x1617 x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 x1639 x1640 x1641 x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 x1678 -x1679 -x1680 -x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 -x1689 x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 -x1726 x1727 x1728 -x1729 x1730 -x1731 -x1732 x1733 -x1734 x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 -x1748 x1749 -x1750 x1751 -x1752 x1753 -x1754 x1755 x1756 -x1757 x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 -x1821 x1822 -x1823 x1824 -x1825 x1826 -x1827 x1828 -x1829 x1830 -x1831 x1832 -x1833 x1834 -x1835 x1836 x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 x1858 -x1859 x1860 -x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 -x1868 x1869 x1870 -x1871 x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 x1897 x1898 -x1899 x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 x1919 x1920 x1921 -x1922 x1923 -x1924 -x1925 x1926 -x1927 -x1928 x1929 -x1930 x1931 -x1932 x1933 -x1934 x1935 -x1936 x1937 -x1938 x1939 x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 x1947 x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 x2004 x2005 -x2006 x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 x2035 -x2036 x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 x2051 x2052 -x2053 -x2054 x2055 x2056 -x2057 x2058 x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 x2070 x2071 -x2072 -x2073 x2074 x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 x2108 -x2109 -x2110 -x2111 x2112 -x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 x2127 x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 x2147 -x2148 x2149 -x2150 x2151 -x2152 x2153 -x2154 x2155 -x2156 x2157 -x2158 -x2159 x2160 -x2161 x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 x2196 x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 x2209 x2210 x2211 x2212 -x2213 x2214 -x2215 x2216 -x2217 x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 x2254 -x2255 -x2256 x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 x2271 x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 x2282 -x2283 x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 x2295 -x2296 -x2297 x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 x2318 x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 x2329 x2330 -x2331 -x2332 -x2333 x2334 -x2335 x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 x2352 -x2353 x2354 x2355 -x2356 x2357 -x2358 -x2359 x2360 -x2361 x2362 x2363 -x2364 x2365 x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 x2374 x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 x2382 x2383 -x2384 -x2385 -x2386 x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 x2444 x2445 x2446 -x2447 x2448 -x2449 x2450 x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 -x2496 x2497 -x2498 x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 x2511 -x2512 -x2513 x2514 x2515 -x2516 -x2517 -x2518 x2519 -x2520 x2521 -x2522 x2523 x2524 -x2525 -x2526 -x2527 -x2528 x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 x2549 -x2550 x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 x2561 x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 x2570 x2571 -x2572 -x2573 -x2574 -x2575 x2576 x2577 x2578 -x2579 -x2580 x2581 -x2582 x2583 -x2584 -x2585 x2586 -x2587 -x2588 x2589 x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 x2630 -x2631 x2632 x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 x2659 -x2660 x2661 -x2662 -x2663 x2664 -x2665 x2666 -x2667 -x2668 x2669 -x2670 x2671 x2672 -x2673 x2674 -x2675 -x2676 -x2677 x2678 -x2679 x2680 x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 x2692 x2693 -x2694 x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 x2713 -x2714 x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 x2745 -x2746 x2747 -x2748 x2749 -x2750 x2751 x2752 x2753 -x2754 -x2755 x2756 -x2757 x2758 -x2759 x2760 -x2761 x2762 -x2763 x2764 x2765 -x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x2790 x2791 x2792 x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 x2812 x2813 x2814 x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 x2830 -x2831 x2832 -x2833 -x2834 x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 x2871 -x2872 x2873 x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 183.93/184.03 c Total CPU time: 183.344 s
OK 9316
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683393-1277509351/watcher-2683393-1277509351 -o /tmp/evaluation-result-2683393-1277509351/solver-2683393-1277509351 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683393-1277509351.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.88 0.97 0.98 3/106 30280 /proc/meminfo: memFree=1863904/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=3648 CPUtime=0 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 92226029 3735552 286 1992294400 134512640 135752675 4291131872 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 912 286 140 303 0 416 0 [startup+0.0935811 s] /proc/loadavg: 0.88 0.97 0.98 3/106 30280 /proc/meminfo: memFree=1863904/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=5284 CPUtime=0.08 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 875 0 0 0 8 0 0 0 20 0 1 0 92226029 5410816 794 1992294400 134512640 135752675 4291131872 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 1321 794 280 303 0 825 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5284 [startup+0.100582 s] /proc/loadavg: 0.88 0.97 0.98 3/106 30280 /proc/meminfo: memFree=1863904/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=5284 CPUtime=0.09 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 889 0 0 0 9 0 0 0 20 0 1 0 92226029 5410816 808 1992294400 134512640 135752675 4291131872 18446744073709551615 135378949 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 1321 808 292 303 0 825 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5284 [startup+0.300615 s] /proc/loadavg: 0.88 0.97 0.98 3/106 30280 /proc/meminfo: memFree=1863904/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=6504 CPUtime=0.29 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 1422 0 0 0 29 0 0 0 20 0 1 0 92226029 6660096 1150 1992294400 134512640 135752675 4291131872 18446744073709551615 134580205 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 1626 1150 142 303 0 1321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6504 [startup+0.700682 s] /proc/loadavg: 0.88 0.97 0.98 3/106 30280 /proc/meminfo: memFree=1863904/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=6504 CPUtime=0.69 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 1437 0 0 0 69 0 0 0 20 0 1 0 92226029 6660096 1165 1992294400 134512640 135752675 4291131872 18446744073709551615 134584764 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 1626 1165 142 303 0 1321 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6504 [startup+1.50082 s] /proc/loadavg: 0.88 0.97 0.98 2/107 30281 /proc/meminfo: memFree=1859556/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=7296 CPUtime=1.49 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 1636 0 0 0 148 1 0 0 22 0 1 0 92226029 7471104 1364 1992294400 134512640 135752675 4291131872 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 1824 1364 142 303 0 1519 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7296 [startup+3.10108 s] /proc/loadavg: 0.89 0.97 0.98 2/107 30281 /proc/meminfo: memFree=1857696/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=8220 CPUtime=3.09 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 1878 0 0 0 300 9 0 0 25 0 1 0 92226029 8417280 1606 1992294400 134512640 135752675 4291131872 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 2055 1606 144 303 0 1750 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8220 [startup+6.30062 s] /proc/loadavg: 0.89 0.97 0.98 2/107 30281 /proc/meminfo: memFree=1856704/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=10204 CPUtime=6.29 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 2360 0 0 0 615 14 0 0 25 0 1 0 92226029 10448896 2088 1992294400 134512640 135752675 4291131872 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 2551 2088 145 303 0 2246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10204 [startup+12.7007 s] /proc/loadavg: 0.91 0.97 0.98 2/107 30283 /proc/meminfo: memFree=1851496/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=14500 CPUtime=12.68 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 3448 0 0 0 1250 18 0 0 25 0 1 0 92226029 14848000 3176 1992294400 134512640 135752675 4291131872 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 3625 3176 145 303 0 3320 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14500 [startup+25.5008 s] /proc/loadavg: 0.92 0.97 0.98 2/107 30283 /proc/meminfo: memFree=1844676/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=21052 CPUtime=25.48 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 5087 0 0 0 2523 25 0 0 25 0 1 0 92226029 21557248 4815 1992294400 134512640 135752675 4291131872 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 5263 4815 145 303 0 4958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21052 [startup+51.1011 s] /proc/loadavg: 0.95 0.97 0.98 2/107 30283 /proc/meminfo: memFree=1836120/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=29544 CPUtime=51.07 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 7210 0 0 0 5075 32 0 0 25 0 1 0 92226029 30253056 6938 1992294400 134512640 135752675 4291131872 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 7386 6938 145 303 0 7081 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29544 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.98 2/107 30285 /proc/meminfo: memFree=1824836/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=40592 CPUtime=102.26 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 9979 0 0 0 10184 42 0 0 25 0 1 0 92226029 41566208 9707 1992294400 134512640 135752675 4291131872 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 10148 9707 145 303 0 9843 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40592 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1812684/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=52712 CPUtime=162.24 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 12991 0 0 0 16173 51 0 0 25 0 1 0 92226029 53977088 12719 1992294400 134512640 135752675 4291131872 18446744073709551615 134638518 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 13178 12719 145 303 0 12873 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52712 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1812064/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=53356 CPUtime=166.23 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 13148 0 0 0 16572 51 0 0 25 0 1 0 92226029 54636544 12876 1992294400 134512640 135752675 4291131872 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 13339 12876 145 303 0 13034 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 53356 [startup+172.709 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1811072/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=54128 CPUtime=172.64 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 13359 0 0 0 17212 52 0 0 25 0 1 0 92226029 55427072 13087 1992294400 134512640 135752675 4291131872 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 13532 13087 145 303 0 13227 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 54128 [startup+179.1 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1810080/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=55284 CPUtime=179.03 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 13648 0 0 0 17850 53 0 0 25 0 1 0 92226029 56610816 13376 1992294400 134512640 135752675 4291131872 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 13821 13376 145 303 0 13516 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 55284 [startup+182.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1803756/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=101160 CPUtime=182.23 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 25203 0 0 0 18167 56 0 0 25 0 1 0 92226029 103587840 24832 1992294400 134512640 135752675 4291131872 18446744073709551615 134635482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 25290 24833 146 303 0 24985 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 101160 [startup+183.101 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1754528/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=137720 CPUtime=183.03 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 34354 0 0 0 18244 59 0 0 25 0 1 0 92226029 141025280 33983 1992294400 134512640 135752675 4291131872 18446744073709551615 134634480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 34430 33983 146 303 0 34125 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 137720 [startup+183.501 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1754528/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=155016 CPUtime=183.43 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 38671 0 0 0 18283 60 0 0 25 0 1 0 92226029 158736384 38300 1992294400 134512640 135752675 4291131872 18446744073709551615 134548435 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 38754 38303 146 303 0 38449 0 Current children cumulated CPU time (s) 183.43 Current children cumulated vsize (KiB) 155016 [startup+183.901 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1706168/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=172800 CPUtime=183.83 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 43134 0 0 0 18321 62 0 0 25 0 1 0 92226029 176947200 42763 1992294400 134512640 135752675 4291131872 18446744073709551615 135221593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 43200 42763 146 303 0 42895 0 Current children cumulated CPU time (s) 183.83 Current children cumulated vsize (KiB) 172800 [startup+184.001 s] /proc/loadavg: 0.99 0.97 0.98 2/107 30287 /proc/meminfo: memFree=1706168/2059040 swapFree=4139556/4192956 [pid=30280] ppid=30278 vsize=176844 CPUtime=183.93 /proc/30280/stat : 30280 (wbo1.4b) R 30278 30280 29834 0 -1 4202496 44124 0 0 0 18331 62 0 0 25 0 1 0 92226029 181088256 43753 1992294400 134512640 135752675 4291131872 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30280/statm: 44211 43756 146 303 0 43906 0 Current children cumulated CPU time (s) 183.93 Current children cumulated vsize (KiB) 176844 Child status: 0 Real time (s): 184.055 CPU time (s): 183.991 CPU user time (s): 183.344 CPU system time (s): 0.646901 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 176844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 183.344 system time used= 0.646901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44312 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= 110 involuntary context switches= 163 runsolver used 0.312952 second user time and 0.91786 second system time The end
Begin job on node055 at 2010-06-26 01:42:31 IDJOB=2683393 IDBENCH=72108 IDSOLVER=1190 FILE ID=node055/2683393-1277509351 PBS_JOBID= 11190628 Free space on /tmp= 62360 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683393-1277509351/watcher-2683393-1277509351 -o /tmp/evaluation-result-2683393-1277509351/solver-2683393-1277509351 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683393-1277509351.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a477a9044f2b3b58598ddfcaca6d0c17 RANDOM SEED=1537240185 node055.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1864432 kB Buffers: 18784 kB Cached: 89472 kB SwapCached: 5924 kB Active: 78460 kB Inactive: 42416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1864432 kB SwapTotal: 4192956 kB SwapFree: 4139556 kB Dirty: 3756 kB Writeback: 0 kB AnonPages: 11412 kB Mapped: 11788 kB Slab: 51916 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182916 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= 62360 MiB End job on node055 at 2010-06-26 01:45:35